System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
DOI10.1016/j.ijar.2017.07.005zbMath1419.68107OpenAlexW2734996385MaRDI QIDQ1678418
Steven Kutsch, Tobias Falke, Gabriele Kern-Isberner, Christoph Beierle
Publication date: 17 November 2017
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2017.07.005
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items
Cites Work
- A non-monotonic description logic for reasoning about typicality
- Structural inference from conditional knowledge bases
- A logical framework for default reasoning
- What does a conditional knowledge base entail?
- On first-order conditional logics
- A thorough axiomatization of a principle of conditional preservation in belief revision
- System JLZ -- rational default reasoning by minimal ranking constructions.
- Logic programming and knowledge representation---The A-Prolog perspective
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
- Possibilistic and standard probabilistic semantics of conditional knowledge bases
- A System Z-like Approach for First-Order Default Reasoning
- Algorithms and Data Structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
