Analytic tableaux for KLM preferential and cumulative logics

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

doi:10.1007/11591191_46

Analytic tableaux for KLM preferential and cumulative logics

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

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › peer review

Abstract

We present tableau calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for preferential and cumulative logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity.

Lingua originale	Inglese
pagine (da-a)	666-681
Numero di pagine	16
Rivista	Lecture Notes in Computer Science
Volume	3835 LNAI
DOI	https://doi.org/10.1007/11591191_46
Stato di pubblicazione	Pubblicato - 2005
Evento	12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005 - Montego Bay, Jamaica Durata: 2 dic 2005 → 6 dic 2005

Accesso al documento

10.1007/11591191_46

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{0b2f38d59dd6410d903f5ee57bbcd9cc,

title = "Analytic tableaux for KLM preferential and cumulative logics",

abstract = "We present tableau calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for preferential and cumulative logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity.",

author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Pozzato, {Gian Luca}",

year = "2005",

doi = "10.1007/11591191_46",

language = "English",

volume = "3835 LNAI",

pages = "666--681",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005 ; Conference date: 02-12-2005 Through 06-12-2005",

}

TY - JOUR

T1 - Analytic tableaux for KLM preferential and cumulative logics

AU - Giordano, Laura

AU - Gliozzi, Valentina

AU - Olivetti, Nicola

AU - Pozzato, Gian Luca

PY - 2005

Y1 - 2005

N2 - We present tableau calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for preferential and cumulative logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity.

AB - We present tableau calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for preferential and cumulative logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity.

UR - http://www.scopus.com/inward/record.url?scp=33745477844&partnerID=8YFLogxK

U2 - 10.1007/11591191_46

DO - 10.1007/11591191_46

M3 - Conference article

AN - SCOPUS:33745477844

SN - 0302-9743

VL - 3835 LNAI

SP - 666

EP - 681

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005

Y2 - 2 December 2005 through 6 December 2005

ER -

Analytic tableaux for KLM preferential and cumulative logics

Abstract

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo