25 citations
- Fafo FoundationNO2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- King's College LondonGB2 papers
- Laboratoire d'Informatique Fondamentale d'Orléans2 papers
- Computer Science Laboratory of Lille1 paper
- Dalle Molle Institute for Artificial Intelligence ResearchCH1 paper
- Data61AU1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institut für Regionale Innovation und SozialforschungDE1 paper
- Laboratoire d'Informatique Fondamentale de LilleFR1 paper
- Lifan (China)CN1 paper
- Technical University of MunichDE1 paper
9 papers
Toolbox
Karl Schlechta
Contains various tools for preferential and related logics
Defeasible inheritance systems and reactive diagrams
Dov Gabbay, Karl Schlechta
We give an analysis of defeasible inheritance diagrams, also from the perspective of reactive diagrams.
On Fan Raspaud Conjecture
Jean-Luc Fouquet, Jean-Marie Vanherpe
A conjecture of Fan and Raspaud [3] asserts that every bridgeless cubic graph con-tains three perfect matchings with empty intersection. Kaiser and Raspaud [6] sug-gested a possibl…
Cumulativity without closure of the domain under finite unions
Dov Gabbay, Karl Schlechta
For nonmonotonic logics, Cumulativity is an important rule. We show here that Cumulativity fans out into an infinity of different conditions, if the domain is not closed under fini…
Reactive preferential structures and nonmonotonic consequence
Dov Gabbay, Karl Schlechta
We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way pr…
Roadmap for preferential logics
Dov Gabbay, Karl Schlechta
We give an overview of logical and semantical rules for nonmonotonic and related logics.