Automated deduction for logics of default reasoning

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

Automated deduction for logics of default reasoning

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

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

Abstract

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, it makes use of labels to represent possible worlds, and it can be used to provide a decision procedure for R.

Lingua originale	Inglese
Titolo della pubblicazione ospite	ECAI 2006
Sottotitolo della pubblicazione ospite	17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy
Editor	Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso
Editore	IOS Press BV
Pagine	757-758
Numero di pagine	2
ISBN (stampa)	9781586036423
Stato di pubblicazione	Pubblicato - 2006

Serie di pubblicazioni

Nome	Frontiers in Artificial Intelligence and Applications
Volume	141
ISSN (stampa)	0922-6389
ISSN (elettronico)	1879-8314

Altri file e collegamenti

Link to publication in Scopus

Cita questo

Giordano, L., Gliozzi, V., Olivetti, N., & Pozzato, G. L. (2006). Automated deduction for logics of default reasoning. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Edd.), ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy (pagg. 757-758). (Frontiers in Artificial Intelligence and Applications; Vol. 141). IOS Press BV.

Giordano, Laura ; Gliozzi, Valentina ; Olivetti, Nicola et al. / Automated deduction for logics of default reasoning. ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. curatore / Gerhard Brewka ; Silvia Coradeschi ; Anna Perini ; Paolo Traverso. IOS Press BV, 2006. pagg. 757-758 (Frontiers in Artificial Intelligence and Applications).

@inbook{5ed31a0814054c2887f9b5aa815e7aa2,

title = "Automated deduction for logics of default reasoning",

abstract = "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, it makes use of labels to represent possible worlds, and it can be used to provide a decision procedure for R.",

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

note = "Funding Information: Acknowledgements. Part of this work has been supported by the projects “PRIN05: Specification and verification of agent interaction protocols” and “PRIN2004: Logiche a pi{\'u} valori e informazione in-certa: metodologie algebriche e algoritmiche”.",

year = "2006",

language = "English",

isbn = "9781586036423",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "757--758",

editor = "Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso",

booktitle = "ECAI 2006",

address = "Netherlands",

}

Giordano, L, Gliozzi, V, Olivetti, N & Pozzato, GL 2006, Automated deduction for logics of default reasoning. in G Brewka, S Coradeschi, A Perini & P Traverso (edd.), ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. Frontiers in Artificial Intelligence and Applications, vol. 141, IOS Press BV, pagg. 757-758.

Automated deduction for logics of default reasoning. / Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola et al.
ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. a cura di / Gerhard Brewka; Silvia Coradeschi; Anna Perini; Paolo Traverso. IOS Press BV, 2006. pag. 757-758 (Frontiers in Artificial Intelligence and Applications; Vol. 141).

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

TY - CHAP

T1 - Automated deduction for logics of default reasoning

AU - Giordano, Laura

AU - Gliozzi, Valentina

AU - Olivetti, Nicola

AU - Pozzato, Gian Luca

N1 - Funding Information: Acknowledgements. Part of this work has been supported by the projects “PRIN05: Specification and verification of agent interaction protocols” and “PRIN2004: Logiche a piú valori e informazione in-certa: metodologie algebriche e algoritmiche”.

PY - 2006

Y1 - 2006

N2 - 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, it makes use of labels to represent possible worlds, and it can be used to provide a decision procedure for R.

AB - 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, it makes use of labels to represent possible worlds, and it can be used to provide a decision procedure for R.

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

M3 - Chapter

AN - SCOPUS:84886020063

SN - 9781586036423

T3 - Frontiers in Artificial Intelligence and Applications

SP - 757

EP - 758

BT - ECAI 2006

A2 - Brewka, Gerhard

A2 - Coradeschi, Silvia

A2 - Perini, Anna

A2 - Traverso, Paolo

PB - IOS Press BV

ER -

Automated deduction for logics of default reasoning

Abstract

Serie di pubblicazioni

Altri file e collegamenti

Fingerprint

Cita questo