Data di Pubblicazione:
2006
Abstract:
In this paper we present a tableau calculus for the rational logic R of default reasoning, introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing suitable modalities to interpret conditional assertions, and makes use of labels to represent possible worlds. We also provide a decision procedure for R, and study its complexity.
Tipologia CRIS:
04B-Conference paper in rivista
Keywords:
Tableaux Calculi; Nonmonotonic Reasoning
Elenco autori:
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Link alla scheda completa:
Pubblicato in: