On first-order conditional logics

DOI10.1016/S0004-3702(98)00088-5zbMATH Open0909.68174MaRDI QIDQ1274556FDOQ1274556

James Delgrande

Publication date: 12 January 1999

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

zbMATH Keywords

nonmonotonic reasoningfirst-order logicknowledge representationconditional logic

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

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

Cited In (16)

• Cut-elimination for quantified conditional logic
• Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
• Title not available (Why is that?)
• A System Z-like Approach for First-Order Default Reasoning
• Title not available (Why is that?)
• Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics
• First-Order Logic on CPDA Graphs
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• Probabilistic Modeling of Default Reasoning
• 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
• A variant of Thomason's first-order logic CF based on situations
• Axiomatizing first-order consequences in dependence logic
• Title not available (Why is that?)
• Conditional logic of actions and causation

   Recommendations

• First-order conditional logic for default reasoning revisited 👍 👎
• An approach to default reasoning based on a first-order conditional logic: Revised report 👍 👎
• A first-order conditional logic with qualitative statistical semantics 👍 👎
• A first-order conditional logic for prototypical properties 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1274556)