An implementation of nonmonotonic reasoning with system W

DOI10.1007/978-3-031-15791-2_1zbMath1522.68521OpenAlexW4296052719MaRDI QIDQ6045090

Jonas Haldimann, Kai Sauerwald, Leon Schwarzer, Christoph Beierle, Daniel Kollár

Publication date: 26 May 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15791-2_1

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

Characterizing multipreference closure with system W

Cites Work

• Unnamed Item
• Unnamed Item
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• Properties of system W and its relationships to other inductive inference operators
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: An implementation of nonmonotonic reasoning with system W