Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
22 Research products, page 1 of 3

  • 2017-2021
  • Conference object
  • AT
  • HAL AMU

10
arrow_drop_down
Relevance
arrow_drop_down
  • Publication . Conference object . Article . Preprint . 2021
    Open Access English
    Authors: 
    Guha, Shibashis; Jecker, Ismaël; Lehtinen, Karoliina; Zimmermann, Martin;
    Countries: France, United Kingdom
    Project: EC | ISTplus (754411), EC | FouCo (892704)

    We study the expressiveness and succinctness of good-for-games pushdown automata (GFG-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. We pr...

  • Publication . Part of book or chapter of book . Conference object . 2021
    Closed Access
    Authors: 
    Tiziano Dalmonte; Charles Grellois; Nicola Olivetti;
    Publisher: Springer International Publishing
    Country: France

    We investigate terminating sequent calculi for constructive modal logics \(\mathsf {CK}\) and \(\mathsf {CCDL}\) in the style of Dyckhoff’s calculi for intuitionistic logic. We first present strictly terminating calculi for these logics. Our calculi provide immediately ...

  • Publication . Article . Conference object . Part of book or chapter of book . 2018
    Open Access English
    Authors: 
    Matthew Elliott; Benjamin Golub; Matt V. Leduc;
    Publisher: HAL CCSD
    Countries: France, United Kingdom, France, Austria

    Empirical studies of commercial relationships between firms reveal that (i) suppliers encounter situations in which they can gain in the short run by acting opportunistically---for example, delivering a lower quality than promised after being paid; and (ii) good conduct...

  • English
    Authors: 
    Boissonnat, Jean-Daniel; Kachanovich, Siargey; Wintraecken, Mathijs;
    Publisher: HAL CCSD
    Country: France
    Project: ANR | 3IA@cote d'azur (ANR-19-P3IA-0002), EC | ISTplus (754411), EC | GUDHI (339025)

    International audience; Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. submanifolds of $R^d$ defined as the zero set of some multivariate multivalued smooth function f from $R^d$ to $R^{d-n}$, where n is the intrinsic dim...

  • Publication . Preprint . Conference object . Article . 2018
    Open Access English
    Authors: 
    Creignou, Nadia; Pichler, Reinhard; Woltran, Stefan;
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Fixed-Parameter Tractabil... (P 25518), FWF | Fragment-Driven Belief Ch... (P 25521), FWF | Decodyn: Treating Hard Pr... (Y 698)

    Many reasoning problems are based on the problem of satisfiability (SAT). While SAT itself becomes easy when restricting the structure of the formulas in a certain way, the situation is more opaque for more involved decision problems. We consider here the CardMinSat pro...

  • Publication . Article . Other literature type . Conference object . 2020
    Open Access English
    Authors: 
    Yves Tramblay; Aristeidis Koutroulis; Luis Samaniego; Sergio M. Vicente-Serrano; Florence Volaire; Aaron Boone; Michel Le Page; Maria Carmen Llasat; Clément Albergel; Selmin Burak; +21 more
    Publisher: HAL CCSD
    Countries: Spain, Greece, Croatia, France

    Summarization: Droughts can have strong environmental and socio-economic impacts in the Mediterranean region, in particular for countries relying on rain-fed agricultural production, but also in areas in which irrigation plays an important role and in which natural vege...

  • Publication . Conference object . Part of book or chapter of book . 2017
    Open Access
    Authors: 
    Marianna Girlando; Bjoern Lellmann; Nicola Olivetti; Gian Luca Pozzato; Quentin Vitalis;
    Publisher: Springer International Publishing
    Country: France
    Project: EC | PAnaMoL (660047), ANR | TICAMORE (ANR-16-CE91-0002)

    We present VINTE, a theorem prover for conditional logics for counterfactual reasoning introduced by Lewis in the seventies. VINTE implements some internal calculi recently introduced for the basic system \(\mathbb {V}\) and some of its significant extensions with axiom...

  • Publication . Conference object . Part of book or chapter of book . 2017
    Open Access English
    Authors: 
    Marianna Girlando; Bjoern Lellmann; Nicola Olivetti; Gian Luca Pozzato;
    Publisher: HAL CCSD
    Country: France
    Project: ANR | TICAMORE (ANR-16-CE91-0002), EC | PAnaMoL (660047)

    We present the first internal calculi for Lewis’ conditional logics characterized by uniformity and reflexivity, including non-standard internal hypersequent calculi for a number of extensions of the logic \(\mathbb {V}\mathbb {T}\mathbb {U}\). These calculi allow for s...

  • Publication . Conference object . Part of book or chapter of book . 2020
    Open Access
    Authors: 
    Tiziano Dalmonte; Björn Lellmann; Nicola Olivetti; Elaine Pimentel;
    Publisher: Springer International Publishing
    Country: France

    International audience; We develop semantically-oriented calculi for the cube of non-normal modal logics and some deontic extensions. The calculi manipulate hypersequents and have a simple semantic interpretation. Their main feature is that they allow for direct counter...

  • Open Access English
    Authors: 
    G. Rizzo; K. Adamczyk; H. Aihara; Tariq Aziz; S. Bacher; Seema Bahinipati; G. Batignani; J. Baudot; Prafulla Kumar Behera; S. Bettarini; +68 more
    Publisher: HAL CCSD
    Country: France

    International audience; In spring 2019 the Belle II experiment at the high-luminosity SuperKEKB e^+e^− collider (KEK, Japan) has resumed operation after the installation of the new vertex detector. In the first period of operation SuperKEKB has already reached the recor...