First-order conditional logic for default reasoning revisited

DOI10.1145/359496.359500zbMath1365.68404OpenAlexW2044081892MaRDI QIDQ5738905

Daphne Koller, Joseph Y. Halpern, Nir Friedman

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359496.359500

zbMATH Keywords

completenessfirst-order logicdefault reasoningconditional logicplausibility measuresKLM properties

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Cut-elimination for quantified conditional logic ⋮ Constructing Markov Logic Networks from First-Order Default Rules

This page was built for publication: First-order conditional logic for default reasoning revisited