Super-Solutions

DOI10.1145/2627354zbMath1354.68038OpenAlexW1994852375WikidataQ62047407 ScholiaQ62047407MaRDI QIDQ2946725

Amy Sliva, Cristian Molinaro, V. S. Subrahmanian

Publication date: 17 September 2015

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

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

zbMATH Keywords

temporal reasoningprobabilistic reasoningimprecise probabilitiesabductive reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Temporal logic (03B44)

Related Items

A general framework for enumerating equivalence classes of solutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probability logic
• The complexity of facets (and some facets of complexity)
• Probabilistic logic
• The computational complexity of abduction
• Probabilistic logic programming
• Probabilistic Horn abduction and Bayesian networks
• The independent choice logic for modelling multiple agents under uncertainty
• Semantics and complexity of abduction from default theories
• Abductive reasoning through filtering
• A logic for reasoning about probabilities
• Abductive Inference in Probabilistic Logic Programs
• Annotated probabilistic temporal logic
• Annotated Probabilistic Temporal Logic
• Parallel Abductive Query Answering in Probabilistic Logic Programs
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• The complexity of logic-based abduction
• An abductive event calculus planner
• Abductive logic programs with penalization: semantics, complexity and implementation
• Abductive Logic Programming
• Logics in Artificial Intelligence