Filter your results
- 22
- 17
- 3
- 2
- 22
- 1
- 4
- 2
- 3
- 1
- 2
- 5
- 2
- 2
- 22
- 22
- 12
- 9
- 7
- 3
- 2
- 22
- 22
- 10
- 9
- 4
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
Simple Conditionals with Constrained Right WeakeningProceedings 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 LogicArtificial Intelligence, 2019
Journal articles
hal-03673915v1
|
|||
What Does Entailment for PTL Mean?12th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense'15), 2015, Palo Alto, United States
Conference papers
hal-03674192v1
|
|||
Introducing Defeasibility into OWL Ontologies14th International Semantic Web Conference (ISWC'15), 2015, Bethlehem, United States. pp.40-426
Conference papers
hal-03674262v1
|
|||
A Propositional Typicality Logic for Extending Rational ConsequenceTrends in Belief Revision and Argumentation Dynamics, King's College Publications, 2013
Book sections
hal-03673837v1
|
|||
Next Steps in Propositional Horn ContractionInternational Symposium on Formalizations of Commonsense Reasoning (Commonsense'09), 2009, Toronto, Canada
Conference papers
hal-03674205v1
|
|||
PTL: A Propositional Typicality Logic13th European Conference on Logics in Artificial Intelligence (JELIA'12), 2012, Toulouse, France. pp.107-119
Conference papers
hal-03674195v1
|
|||
Normal Modal Preferential ConsequenceAustralasian Joint Conference on Artificial Intelligence (AI'12), 2012, Sydney, Australia. pp.505-516
Conference papers
hal-03674196v1
|
|||
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn LogicJournal of Artificial Intelligence Research (JAIR), 2011, 42, pp.31-53
Journal articles
hal-03673922v1
|
|||
Next Steps in Propositional Horn Contraction21st International Joint Conference on Artificial Intelligence (IJCAI'09), 2009, Pasadena, United States. pp.702-707
Conference papers
hal-03674204v1
|
|||
A Logic for Reasoning about Actions and Explicit ObservationsAustralasian Joint Conference on Artificial Intelligence (AI'10), 2010, Sydney, Australia. pp.395-404
Conference papers
hal-03674202v1
|
|||
Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond17th International Workshop on Nonmonotonic Reasoning (NMR 2018), 2018, Tempe, United States
Conference papers
hal-03674207v1
|
|||
Horn Belief Change: A Contraction Core19th European Conference on Artificial Intelligence (ECAI'10), 2010, Lisbon, Portugal. pp.1065-1066
Conference papers
hal-03674201v1
|
|||
Preferential Reasoning for Modal LogicsElectronic Notes in Theoretical Computer Science (ENTCS), 2011, 278, pp.55-69
Journal articles
hal-03673921v1
|
|||
A Logic-Based Perspective on Agent Reconfiguration: Preliminary ReportIEEE Conference Africon (Africon'11), 2011, Livingstone, Zambia
Conference papers
hal-03674198v1
|
|||
On the entailment problem for a logic of typicality24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.2805-2811
Conference papers
hal-03674194v1
|
|||
Root Justifications for Ontology RepairInternational Conference on Web Reasoning and Rule Systems (RR'11), 2011, Galway, Ireland. pp.275-280
Conference papers
hal-03674197v1
|
|||
A KLM Perspective on Defeasible Reasoning for Description Logics\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
|
|||
Semantic Foundation for Preferential Description LogicsAustralasian 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 Framework16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18), 2018, Tempe, United States
Conference papers
hal-03674259v1
|
|||
Rational Defeasible Belief Change17th 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 ClosureProceedings of the 16th European Conference on Logic in Artificial Intelligence (JELIA), 2019, Rende, Italy. pp.182-197
Conference papers
hal-03674238v1
|