A ranking semantics for first-order conditionals

MaRDI QIDQ3457250zbMATH OpenFDO

Authors Gabriele Kern-Isberner, Matthias Thimm

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7015

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• First-order conditional logic for default reasoning revisited
• A system Z-like approach for first-order default reasoning
• System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
• On first-order conditional logics
• A semantics for conditionals with default negation

Cited in

(7)

• System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
• The epistemic account of ceteris paribus conditions
• Constructing Markov Logic Networks from First-Order Default Rules
• A first-order conditional logic with qualitative statistical semantics
• A system Z-like approach for first-order default reasoning
• Ranking semantics for doxastic necessities and conditionals
• A series of revisions of David Poole's specificity

This page was built for publication: A ranking semantics for first-order conditionals

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