A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption

DOI10.1007/978-3-540-75256-1_13MaRDI QIDQ3524923zbMATH OpenOpenAlexFDO

Authors Umberto Straccia

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_13

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Any-world assumptions in logic programming
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• A top-\(k\) query answering procedure for fuzzy logic programming
• scientific article; zbMATH DE number 4166941

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1269580 (Why is no real title available?)
• scientific article; zbMATH DE number 1931672 (Why is no real title available?)
• scientific article; zbMATH DE number 1884402 (Why is no real title available?)
• A logic for default reasoning
• Any-world assumptions in logic programming
• Autoepistemic logic
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Epistemic foundation of stable model semantics
• Fixpoint semantics for logic programming a survey
• Fuzzy logic programming
• Incremental recomputation in local languages.
• Non-monotonic logic. I
• Nonmonotonic Logic II
• Nonrecursive incremental evaluation of Datalog queries
• Paraconsistent declarative semantics for extended logic programs
• Semantical considerations on nonmonotonic logic
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The well-founded semantics for general logic programs

Cited in

(8)

• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
• On the existence and unicity of stable models in normal residuated logic programs
• A top-\(k\) query answering procedure for fuzzy logic programming
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Any-world assumptions in logic programming
• From fuzzy to annotated semantic web languages
• DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS

This page was built for publication: A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption

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