Search - Université d'Artois Access content directly

Filter your results

11 Results
authFullName_s : Giovanni Casini

Introducing Defeasibility into OWL Ontologies

Giovanni Casini , Thomas Meyer , Kodylan Moodley , Uli Sattler , Ivan Varzinczak
14th International Semantic Web Conference (ISWC'15), 2015, Bethlehem, United States. pp.40-426
Conference papers hal-03674262v1

Simple Conditionals with Constrained Right Weakening

Giovanni Casini , Thomas Meyer , Ivan Varzinczak
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019, Macao, China. pp.1632-1638
Conference papers hal-03674239v1

On Rational Entailment for Propositional Typicality Logic

Richard Booth , Giovanni Casini , Thomas Meyer , Ivan Varzinczak
Artificial Intelligence, 2019
Journal articles hal-03673915v1

What Does Entailment for PTL Mean?

Richard Booth , Giovanni Casini , Thomas Meyer , Ivan Varzinczak
12th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense'15), 2015, Palo Alto, United States
Conference papers hal-03674192v1

Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond

Giovanni Casini , Thomas Meyer , Ivan Varzinczak
17th International Workshop on Nonmonotonic Reasoning (NMR 2018), 2018, Tempe, United States
Conference papers hal-03674207v1

Editorial: Defeasible and Ampliative Reasoning

Richard Booth , Giovanni Casini , Szymon Klarman , Gilles Richard , Ivan Varzinczak
International Journal of Approximate Reasoning, 2019, Special issue: SI: Defeasible and Ampliative Reasoning, 112 (C), pp.1-3. ⟨10.1016/j.ijar.2019.05.009⟩
Journal articles hal-03673911v1

On the entailment problem for a logic of typicality

Richard Booth , Giovanni Casini , Thomas Meyer , Ivan Varzinczak
24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.2805-2811
Conference papers hal-03674194v1

A KLM Perspective on Defeasible Reasoning for Description Logics

Katarina Britz , Giovanni Casini , Thomas Meyer , Ivan Varzinczak
\tCarsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan and Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, 2019
Book sections hal-03673836v1

A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework

Giovanni Casini , Eduardo Fermé , Thomas Meyer , Ivan Varzinczak
16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18), 2018, Tempe, United States
Conference papers hal-03674259v1

Rational Defeasible Belief Change

Giovanni Casini , Thomas Meyer , Ivan Varzinczak
17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20), 2020, N/A, Unknown Region
Conference papers hal-03674218v1

Taking Defeasible Entailment Beyond Rational Closure

Giovanni Casini , Thomas Meyer , Ivan Varzinczak
Proceedings of the 16th European Conference on Logic in Artificial Intelligence (JELIA), 2019, Rende, Italy. pp.182-197
Conference papers hal-03674238v1