Search - Université d'Artois Access content directly

Filter your results

18 Results
Structure: Internal structure identifier : 1069127

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

Preferential Tableaux for Contextual Defeasible ALC

Katarina Britz , Ivan Varzinczak
Proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2019, London, United Kingdom
Conference papers hal-03674282v1

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

Towards defeasible SROIQ

Katarina Britz , Ivan Varzinczak
30th International Workshop on Description Logics (DL'17), 2017, Montpellier, France
Conference papers hal-03674208v1

Pertinent Reasoning

Katarina Britz , Johannes Heidema , Ivan José Varzinczak
13th International Workshop on Nonmonotonic Reasoning (NMR 2010), May 2010, Toronto, Canada
Conference papers hal-03673814v1

A Defeasible Reasoning Approach for Description Logic Ontologies

Kodylan Moodley , Thomas Meyer , Ivan Varzinczak
Annual Conference of the South African Institute for Computer Scientists and Information Technologists (SAICSIT 2012), 2012, Centurion, South Africa. pp.69-78, ⟨10.1145/2389836.2389845⟩
Conference papers hal-03673818v1

Normal Modal Preferential Consequence

Katarina Britz , Thomas Meyer , Ivan Varzinczak
Australasian Joint Conference on Artificial Intelligence (AI'12), 2012, Sydney, Australia. pp.505-516
Conference papers hal-03674196v1

Introducing Role Defeasibility in Description Logics

Katarina Britz , Ivan Varzinczak
15th European Conference on Logics in Artificial Intelligence (JELIA'16), 2016, Larnaca, Cyprus. pp.174-189
Conference papers hal-03674261v1

Rationality and Context in Defeasible Subsumption

Katarina Britz , Ivan Varzinczak
10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), 2018, Budapest, Hungary. pp.114-132
Conference papers hal-03674301v1

On the Revision of Action Laws: an Algorithmic Approach

Ivan Varzinczak
International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'09), 2009, Pasadena, United States
Conference papers hal-03673815v1

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

Reasoning with Contextual Defeasible ALC

Katarina Britz , Ivan Varzinczak
Proceedings of the 32nd International Workshop on Description Logics (DL), 2019, Oslo, Norway
Conference papers hal-03674225v1

Semantic Foundation for Preferential Description Logics

Katarina Britz , Thomas Meyer , Ivan Varzinczak
Australasian Joint Conference on Artificial Intelligence (AI'11), 2011, Perth, Australia. pp.491-500
Conference papers hal-03674199v1

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

Preferential Modalities Revisited

Katarina Britz , Ivan Varzinczak
16th International Workshop on Nonmonotonic Reasoning (NMR'16), 2016, Cape Town, South Africa
Conference papers hal-03674209v1

Context-based defeasible subsumption for dSROIQ

Katarina Britz , Ivan Varzinczak
13th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense'17), 2017, London, United Kingdom
Conference papers hal-03674260v1

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

Root Justifications for Ontology Repair

Kodylan Moodley , Thomas Meyer , Ivan Varzinczak
International Conference on Web Reasoning and Rule Systems (RR'11), 2011, Galway, Ireland. pp.275-280
Conference papers hal-03674197v1