Tableau calculi for preference-based conditional logics

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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.

Original languageEnglish
Title of host publicationAutomated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings
EditorsMarta Cialdea Mayer, Fiora Pirri
PublisherSpringer Verlag
Pages81-101
Number of pages21
ISBN (Print)9783540407874
DOIs
Publication statusPublished - 2003
EventInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 - Rome, Italy
Duration: 9 Sept 200312 Sept 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2796
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003
Country/TerritoryItaly
CityRome
Period9/09/0312/09/03

Fingerprint

Dive into the research topics of 'Tableau calculi for preference-based conditional logics'. Together they form a unique fingerprint.

Cite this