Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

Simple item page
dc.creatorGiordano, Laura
dc.creatorGliozzi, Valentina
dc.creatorOlivetti, Nicola
dc.creatorPozzato, Gian Luca
dc.date2006-11-10
dc.date.accessioned2026-07-07T07:31:41Z
dc.date.available2026-07-07T07:31:41Z
dc.descriptionWe present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative and rational logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. We provide a decision procedure for the logics considered, and we study their complexity.
dc.description54 pages + appendix with proofs
dc.identifierhttps://arxiv.org/abs/cs/0611046
dc.identifierhttp://arxiv.org/abs/cs/0611046
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/118843
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectF.4.1; I.2.3
dc.titleAnalytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
dc.typetext

Files

Collections

arXiv