Analytic tableau calculi for KLM rational logic R

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

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.

Lingua originaleInglese
Titolo della pubblicazione ospiteLogics in Artificial Intelligence - 10th European Conference, JELIA 2006, Proceedings
EditoreSpringer Verlag
Pagine190-202
Numero di pagine13
ISBN (stampa)354039625X, 9783540396253
DOI
Stato di pubblicazionePubblicato - 2006
Evento10th European Conference on Logics on Artificial Intelligence, JELIA 2006 - Liverpool, United Kingdom
Durata: 13 set 200615 set 2006

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4160 LNAI
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???10th European Conference on Logics on Artificial Intelligence, JELIA 2006
Paese/TerritorioUnited Kingdom
CittàLiverpool
Periodo13/09/0615/09/06

Fingerprint

Entra nei temi di ricerca di 'Analytic tableau calculi for KLM rational logic R'. Insieme formano una fingerprint unica.

Cita questo