On first-order conditional logics

DOI10.1016/S0004-3702(98)00088-5zbMath0909.68174MaRDI QIDQ1274556

James P. Delgrande

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

first-order logicknowledge representationnonmonotonic reasoningconditional logic

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (10)

Cut-elimination for quantified conditional logic ⋮ How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic ⋮ System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases ⋮ Do \textit{ceteris paribus} laws exist? A regularity-based best system analysis ⋮ Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics ⋮ A System Z-like Approach for First-Order Default Reasoning ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Probabilistic Modeling of Default Reasoning ⋮ Conditional logic of actions and causation

Cites Work

• Quick completeness proofs for some logics of conditionals
• Foundations of a functional approach to knowledge representation
• Conditional entailment: bridging two approaches to default reasoning.
• Semantical considerations on nonmonotonic logic
• A logical framework for default reasoning
• A first-order conditional logic for prototypical properties
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• Conditional logics of normality: A modal approach
• Defaults as Generalized Quantifiers
• The Completeness of Free Logic
• A semantic analysis of conditional logic1
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On first-order conditional logics