136 citations
- Centre National de la Recherche ScientifiqueFR16 papers
- Aix-Marseille UniversitéFR14 papers
- Laboratoire d'Informatique Fondamentale d'Orléans12 papers
- Fafo FoundationNO5 papers
- King's College LondonGB5 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Carnegie Mellon UniversityUS3 papers
- Computer Science Laboratory of Lille3 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- Innate Pharma (France)FR3 papers
- Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR3 papers
- Laboratoire d’Informatique et SystèmesFR3 papers
8 papers · 2 filters
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.
Logical tools for handling change in agent-based systems
Dov Gabbay, Karl Schlechta
We give a unified approach to various results and problems of nonclassical logics
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…