Search - Université d'Artois Access content directly

Filter your results

13 Results
authFullName_s : Richard Booth

A Propositional Typicality Logic for Extending Rational Consequence

Richard Booth , Thomas Meyer , Ivan Varzinczak
Trends in Belief Revision and Argumentation Dynamics, King's College Publications, 2013
Book sections hal-03673837v1

Next Steps in Propositional Horn Contraction

Richard Booth , Thomas Meyer , Ivan Varzinczak
International Symposium on Formalizations of Commonsense Reasoning (Commonsense'09), 2009, Toronto, Canada
Conference papers hal-03674205v1

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Richard Booth , Thomas Meyer , Ivan Varzinczak , Renata Wassermann
Journal of Artificial Intelligence Research (JAIR), 2011, 42, pp.31-53
Journal articles hal-03673922v1

Next Steps in Propositional Horn Contraction

Richard Booth , Thomas Meyer , Ivan Varzinczak
21st International Joint Conference on Artificial Intelligence (IJCAI'09), 2009, Pasadena, United States. pp.702-707
Conference papers hal-03674204v1

Towards Conditional Inference under Disjunctive Rationality

Richard Booth , Ivan Varzinczak
18th International Workshop on Nonmonotonic Reasoning (NMR 2020), 2020, n/a, Unknown Region
Conference papers hal-03674206v1

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

PTL: A Propositional Typicality Logic

Richard Booth , Thomas Meyer , Ivan Varzinczak
13th European Conference on Logics in Artificial Intelligence (JELIA'12), 2012, Toulouse, France. pp.107-119
Conference papers hal-03674195v1

Credibility limited revision operators in propositional logic

Richard Booth , Eduardo Fermé , Sébastien Konieczny , Ramon Pino Perez
13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 2012, Rome, Italy. pp.116-125
Conference papers hal-00866806v1

Horn Belief Change: A Contraction Core

Richard Booth , Thomas Meyer , Ivan Varzinczak , Renata Wassermann
19th European Conference on Artificial Intelligence (ECAI'10), 2010, Lisbon, Portugal. pp.1065-1066
Conference papers hal-03674201v1

A Contraction Core for Horn Belief Change: Preliminary Report

Richard Booth , Thomas Meyer , Ivan José Varzinczak , Renata Wassermann
13th International Workshop on Nonmonotonic Reasoning (NMR 2010), May 2010, Toronto, Canada
Conference papers hal-03673813v1

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