Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792MaRDI QIDQ5424861zbMATH OpenOpenAlexFDO

Authors Nelson Rushton, Chitta Baral, Michael Gelfond

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)

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

Cited in

(39)

• P-log: refinement and a new coherency condition
• scientific article; zbMATH DE number 4189217 (Why is no real title available?)
• A top-\(k\) query answering procedure for fuzzy logic programming
• scientific article; zbMATH DE number 2063231 (Why is no real title available?)
• 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
• A probabilistic extension of action language \(\mathcal{BC}+\)
• On the probability and cost of ignorance, inconsistency, nonsense and more
• Agent-oriented probabilistic logic programming
• scientific article; zbMATH DE number 1849165 (Why is no real title available?)
• Who shaves the barber, and with what probability?
• Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Probabilistic reasoning in a classical logic
• The Independent Choice Logic and Beyond
• Possibilistic uncertainty handling for answer set programming
• Modularity of P-log programs
• A Logical Approach to Qualitative and Quantitative Reasoning
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• New Advances in Logic-Based Probabilistic Modeling by PRISM
• Probabilistic logic programming
• Probabilistic (logic) programming concepts
• Collaborative vs. Conflicting Learning, Evolution and Argumentation
• 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
• Complexity of fuzzy answer set programming under Łukasiewicz semantics
• RankPL: a qualitative probabilistic programming language
• Logic programming and knowledge representation---The A-Prolog perspective
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• Causal and probabilistic reasoning in P-log
• Explanation-friendly query answering under uncertainty
• scientific article; zbMATH DE number 2090552 (Why is no real title available?)
• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
• Complexity results for probabilistic answer set programming

Describes a project that uses

Uses Software

• ASSAT

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)