Qualitative choice logic

13 years 4 months ago

Download www.cril.univ-artois.fr

Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new connective called ordered disjunction: A

Gerhard Brewka, Salem Benferhat, Daniel Le Berre

Real-time Traffic

AI 2004 | Artificial Intelligence | Classical Propositional Logic | Propositional Logic | Qualitative Choice Logic |

claim paper

» Temporal qualitative coalitional games

» Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

» Handling Qualitative Preferences Using Normal Form Functions

» Qualitative Logics and Equivalences for Probabilistic Systems

» Logical Representation and Computation of Optimal Decisions in a Qualitative Setting

» Logics for Qualitative Inductive Generalization

» Abducing through negation as failure stable models within the independent choice logic

» Independent Choices and the Interpretation of IF Logic

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2004
Where	AI
Authors	Gerhard Brewka, Salem Benferhat, Daniel Le Berre

Comments (0)

Sciweavers

Qualitative choice logic

AI 2004 | Artificial Intelligence | Classical Propositional Logic | Propositional Logic | Qualitative Choice Logic |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers