Analytic Tableaux for KLM Preferential and Cumulative Logics

DOI10.1007/11591191_46zbMath1143.68599OpenAlexW1551296299WikidataQ58207625 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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Semantics for dual preferential entailment ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Typicalities and probabilities of exceptions in nonmotonic description logics

This page was built for publication: Analytic Tableaux for KLM Preferential and Cumulative Logics