Analytic Tableaux for KLM Preferential and Cumulative Logics
From MaRDI portal
Publication:5387873
DOI10.1007/11591191_46zbMath1143.68599WikidataQ58207625 ScholiaQ58207625MaRDI QIDQ5387873
Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato, Laura Giordano
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11591191_46
68T27: Logic in artificial intelligence
Related Items
Semantics for dual preferential entailment, Typicalities and probabilities of exceptions in nonmotonic description logics