The Independent Choice Logic and Beyond

DOI10.1007/978-3-540-78652-8_8zbMath1137.68596MaRDI QIDQ5452027

No author found.

Publication date: 28 March 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-78652-8_8

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68N17: Logic programming

Related Items

Introduction to the special issue on probability, logic and learning, The distribution semantics for normal programs with function symbols, ILP turns 20. Biography and future challenges, Probabilistic (logic) programming concepts, Bandit-based Monte-Carlo structure learning of probabilistic logic programs, A new probabilistic constraint logic programming language based on a generalised distribution semantics, A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics, A neural cognitive model of argumentation with application to legal inference and decision making, SLAP: specification logic of actions with probability

Cites Work

• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Probabilistic Horn abduction and Bayesian networks
• The independent choice logic for modelling multiple agents under uncertainty
• Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
• Answer set programming and plan generation
• Inference in hybrid Bayesian networks with mixtures of truncated exponentials
• Markov logic networks
• Compiling relational Bayesian networks for exact inference
• A methodology for using a default and abductive reasoning system
• Inductive Logic Programming: Theory and methods
• Efficient computation for the noisy MAX
• Abducing through negation as failure: stable models within the independent choice logic
• Logic Programming and Nonmonotonic Reasoning
• Recursive conditioning
• 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
• Unnamed Item