Constructing Markov Logic Networks from First-Order Default Rules

DOI10.1007/978-3-319-40566-7_7zbMath1347.68333OpenAlexW2492463257MaRDI QIDQ2827474

Jesse Davis, Steven Schockaert, Ondřej Kuželka

Publication date: 19 October 2016

Published in: Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: http://orca.cf.ac.uk/89933/1/finalVersion.pdf

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Uses Software

• Sat4j
• Tuffy
• RockIt

Cites Work

• Unnamed Item
• Unnamed Item
• An analysis of first-order logics of probability
• Conditional entailment: bridging two approaches to default reasoning.
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Nonmonotonic reasoning, conditional objects and possibility theory
• Markov logic networks
• An overview of possibilistic handling of default reasoning, with experimental studies
• A Survey of First-Order Probabilistic Models
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• First-order conditional logic for default reasoning revisited

This page was built for publication: Constructing Markov Logic Networks from First-Order Default Rules