A Logical Approach to Qualitative and Quantitative Reasoning

DOI10.1007/978-3-540-75256-1_18zbMath1148.68538OpenAlexW1499347586MaRDI QIDQ3524928

Emad W. Saad

Publication date: 16 September 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-75256-1_18

Mathematics Subject Classification ID

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

Related Items (2)

On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability ⋮ Probabilistic Reasoning by SAT Solvers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic logic programming
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Stable semantics for probabilistic deductive databases
• The independent choice logic for modelling multiple agents under uncertainty
• A new approach to hybrid probabilistic logic programs
• Incomplete Knowledge in Hybrid Probabilistic Logic Programs
• The well-founded semantics for general logic programs
• Abducing through negation as failure: stable models within the independent choice logic
• Hybrid probabilistic programs
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Logic Programming
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Mathematical Foundations of Computer Science 2003
• Logic Programming

This page was built for publication: A Logical Approach to Qualitative and Quantitative Reasoning