Tableau calculi for preference-based conditional logics

Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Camilla Schwind

doi:10.1007/978-3-540-45206-5_9

Tableau calculi for preference-based conditional logics

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review

Abstract

In this paper we develop labelled and uniform tableau methods for some fundamental system of propositional conditional logics. We consider the well-known system CE (that can be seen as a generalization of preferential nonmonotonic logic), and some related systems. Our tableau proof procedures are based on a possible-worlds structures endowedwitha family of preference relations. The tableau procedure gives the first practical decision procedure for CE.

Lingua originale	Inglese
Titolo della pubblicazione ospite	Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings
Editor	Marta Cialdea Mayer, Fiora Pirri
Editore	Springer Verlag
Pagine	81-101
Numero di pagine	21
ISBN (stampa)	9783540407874
DOI	https://doi.org/10.1007/978-3-540-45206-5_9
Stato di pubblicazione	Pubblicato - 2003
Evento	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 - Rome, Italy Durata: 9 set 2003 → 12 set 2003

Serie di pubblicazioni

Nome	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2796
ISSN (stampa)	0302-9743
ISSN (elettronico)	1611-3349

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

???event.eventtypes.event.conference???	International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003
Paese/Territorio	Italy
Città	Rome
Periodo	9/09/03 → 12/09/03

Accesso al documento

10.1007/978-3-540-45206-5_9

Altri file e collegamenti

Link to publication in Scopus

Cita questo

Giordano, L., Gliozzi, V., Olivetti, N., & Schwind, C. (2003). Tableau calculi for preference-based conditional logics. In M. C. Mayer, & F. Pirri (Edd.), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings (pagg. 81-101). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2796). Springer Verlag. https://doi.org/10.1007/978-3-540-45206-5_9

Giordano, Laura ; Gliozzi, Valentina ; Olivetti, Nicola et al. / Tableau calculi for preference-based conditional logics. Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. curatore / Marta Cialdea Mayer ; Fiora Pirri. Springer Verlag, 2003. pagg. 81-101 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{94929c71b7054ab2bd0f1d6cc855137f,

title = "Tableau calculi for preference-based conditional logics",

abstract = "In this paper we develop labelled and uniform tableau methods for some fundamental system of propositional conditional logics. We consider the well-known system CE (that can be seen as a generalization of preferential nonmonotonic logic), and some related systems. Our tableau proof procedures are based on a possible-worlds structures endowedwitha family of preference relations. The tableau procedure gives the first practical decision procedure for CE.",

author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Camilla Schwind",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 ; Conference date: 09-09-2003 Through 12-09-2003",

year = "2003",

doi = "10.1007/978-3-540-45206-5\_9",

language = "English",

isbn = "9783540407874",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "81--101",

editor = "Mayer, \{Marta Cialdea\} and Fiora Pirri",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings",

address = "Germany",

}

Giordano, L, Gliozzi, V, Olivetti, N & Schwind, C 2003, Tableau calculi for preference-based conditional logics. in MC Mayer & F Pirri (edd.), Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2796, Springer Verlag, pagg. 81-101, International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003, Rome, Italy, 9/09/03. https://doi.org/10.1007/978-3-540-45206-5_9

Tableau calculi for preference-based conditional logics. / Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola et al.
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. a cura di / Marta Cialdea Mayer; Fiora Pirri. Springer Verlag, 2003. pag. 81-101 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2796).

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review

TY - GEN

T1 - Tableau calculi for preference-based conditional logics

AU - Giordano, Laura

AU - Gliozzi, Valentina

AU - Olivetti, Nicola

AU - Schwind, Camilla

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2003.

PY - 2003

Y1 - 2003

N2 - In this paper we develop labelled and uniform tableau methods for some fundamental system of propositional conditional logics. We consider the well-known system CE (that can be seen as a generalization of preferential nonmonotonic logic), and some related systems. Our tableau proof procedures are based on a possible-worlds structures endowedwitha family of preference relations. The tableau procedure gives the first practical decision procedure for CE.

AB - In this paper we develop labelled and uniform tableau methods for some fundamental system of propositional conditional logics. We consider the well-known system CE (that can be seen as a generalization of preferential nonmonotonic logic), and some related systems. Our tableau proof procedures are based on a possible-worlds structures endowedwitha family of preference relations. The tableau procedure gives the first practical decision procedure for CE.

UR - https://www.scopus.com/pages/publications/7044235983

U2 - 10.1007/978-3-540-45206-5_9

DO - 10.1007/978-3-540-45206-5_9

M3 - Conference contribution

AN - SCOPUS:7044235983

SN - 9783540407874

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 81

EP - 101

BT - Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings

A2 - Mayer, Marta Cialdea

A2 - Pirri, Fiora

PB - Springer Verlag

T2 - International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003

Y2 - 9 September 2003 through 12 September 2003

ER -

Giordano L, Gliozzi V, Olivetti N, Schwind C. Tableau calculi for preference-based conditional logics. In Mayer MC, Pirri F, editor, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Springer Verlag. 2003. pag. 81-101. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-45206-5_9

Tableau calculi for preference-based conditional logics

Abstract

Serie di pubblicazioni

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

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo