25 citations
- Aix-Marseille UniversitéFR8 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- King's College LondonGB5 papers
- Laboratoire d'Informatique Fondamentale d'Orléans5 papers
- Fafo FoundationNO3 papers
- Computer Science Laboratory of Lille2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Centrum Wiskunde & InformaticaNL1 paper
- Computer Algorithms for MedicineAT1 paper
- Coral Reef AllianceUS1 paper
- Dalle Molle Institute for Artificial Intelligence ResearchCH1 paper
- Data61AU1 paper
16 papers · 1 filter
Semantic interpolation
Dov Gabbay, Karl Schlechta
We treat interpolation for various logics.
Independence - revision and defaults
Dov Gabbay, Karl Schlechta
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of prefere…
Size and Logic
Dov Gabbay, Karl Schlechta
We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.
Toolbox
Karl Schlechta
Contains various tools for preferential and related logics
A semantics for obligations
Dov Gabbay, Karl Schlechta
We analyze a number of properties obligations have or should have.
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.