Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792zbMATH Open1122.68361OpenAlexW4214677882MaRDI QIDQ5424861FDOQ5424861

Michael Gelfond, Chitta Baral, Nelson Rushton

Publication date: 7 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94792

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic programming (68N17)

Cited In (29)

• P-log: refinement and a new coherency condition
• Title not available (Why is that?)
• A top-\(k\) query answering procedure for fuzzy logic programming
• Probabilistic modelling, inference and learning using logical theories
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Title not available (Why is that?)
• Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• The Independent Choice Logic and Beyond
• Probabilistic reasoning in a classical logic
• Possibilistic uncertainty handling for answer set programming
• A Logical Approach to Qualitative and Quantitative Reasoning
• New Advances in Logic-Based Probabilistic Modeling by PRISM
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Collaborative vs. Conflicting Learning, Evolution and Argumentation
• Probabilistic logic programming
• Probabilistic (logic) programming concepts
• The theory of interval probabilistic logic programs
• A general approach to reasoning with probabilities
• Probabilistic reasoning with answer sets
• Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
• A Survey of First-Order Probabilistic Models
• A Probabilistic Extension of Action Language
• Complexity of fuzzy answer set programming under Łukasiewicz semantics
• Logic programming and knowledge representation---The A-Prolog perspective
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• Explanation-friendly query answering under uncertainty
• Title not available (Why is that?)

Uses Software

• ASSAT

   Recommendations

• Probabilistic reasoning with answer sets 👍 👎
• Probabilistic logic programming 👍 👎
• Logic Programming 👍 👎
• Causal and probabilistic reasoning in P-log 👍 👎
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference 👍 👎

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

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