Search - ANR - Agence nationale de la recherche Access content directly

Filter your results

12 Results
ANR project: Code decision (reference) : ANR-16-CE91-0002
Image document

Nested sequents for the logic of conditional belief

Marianna Girlando , Bjoern Lellmann , Nicola Olivetti
JELIA - European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy
Conference papers hal-02077057v1
Image document

Certification of Breadth-First Algorithms by Extraction

Dominique Larchey-Wendling , Ralph Matthes
13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩
Conference papers hal-02333423v1
Image document

Counterfactual logic: labelled and internal calculi, two sides of the same coin?

Marianna Girlando , Sara Negri , Nicola Olivetti
Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310
Conference papers hal-02077043v1
Image document

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

Marianna Girlando , Sara Negri , Nicola Olivetti
Journal of Logic and Computation, 2021, 31 (3), pp.947-997. ⟨10.1093/logcom/exab019⟩
Journal articles hal-02330319v3
Image document

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity

Marianna Girlando , Björn Lellmann , Nicola Olivetti , Gian Luca Pozzato
TABLEAUX 2017, Sep 2017, Brasilia, Brazil. pp.131-148
Conference papers hal-01794387v1
Image document

Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines

Yannick Forster , Dominique Larchey-Wendling
The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Jan 2019, Cascais, Portugal. pp.104-117, ⟨10.1145/3293880.3294096⟩
Conference papers hal-02333390v1
Image document

Typing Total Recursive Functions in Coq

Dominique Larchey-Wendling
Interactive Theorem Proving - 8th International Conference, ITP 2017, Sep 2017, Brasilia, Brazil. pp.371-388, ⟨10.1007/978-3-319-66107-0_24⟩
Conference papers hal-02333333v1
Image document

The Involutive Quantaloid of Completely Distributive Lattices

Luigi Santocanale
RAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301
Conference papers hal-02342655v3
Image document

Theorem proving for Lewis Logics of Counterfactual Reasoning

Marianna Girlando , Bjoern Lellmann , Nicola Olivetti , Stefano Pesce , Gian Luca Pozzato et al.
CILC 2020 - 35th Edition of the Italian Conference on Computational Logic, Oct 2020, Rende / Virtual, Italy
Conference papers hal-03080670v1
Image document

Hilbert's Tenth Problem in Coq

Dominique Larchey-Wendling , Yannick Forster
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Jun 2019, Dortmund, Germany. pp.27:1--27:20, ⟨10.4230/LIPIcs.FSCD.2019.27⟩
Conference papers hal-02333404v1
Image document

Constructive Decision via Redundancy-Free Proof-Search

Dominique Larchey-Wendling
9th International Joint Conference on Automated Reasoning, IJCAR 2018, Jul 2018, Oxford, United Kingdom. pp.422-438, ⟨10.1007/978-3-319-94205-6_28⟩
Conference papers hal-02333361v1
Image document

Hilbert's Tenth Problem in Coq (Extended Version)

Dominique Larchey-Wendling , Yannick Forster
Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:35)2022⟩
Journal articles hal-03359505v2