Logic Programming and Nonmonotonic Reasoning

DOI10.1007/b94792zbMath1122.68361OpenAlexW4214677882MaRDI QIDQ5424861

Nelson Rushton, Michael Gelfond, Chitta R. Baral

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

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

Related Items (21)

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

Uses Software

• ASSAT

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