Super-Solutions

DOI10.1145/2627354zbMATH Open1354.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

imprecise probabilitiestemporal reasoningprobabilistic reasoningabductive reasoning

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• A general framework for enumerating equivalence classes of solutions

Recommendations

• Title not available (Why is that?) 👍 👎
• Probabilistic propositional temporal logics 👍 👎
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties 👍 👎
• A superposition calculus for abductive reasoning 👍 👎
• Annotated Probabilistic Temporal Logic 👍 👎
• Temporalization of Probabilistic Propositional Logic 👍 👎
• Abduction in annotated probabilistic temporal logic 👍 👎
• Annotated probabilistic temporal logic 👍 👎

This page was built for publication: Super-Solutions

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