Any-world assumptions in logic programming

DOI10.1016/j.tcs.2005.04.005zbMath1077.68013OpenAlexW2167383908WikidataQ58049288 ScholiaQ58049288MaRDI QIDQ2566297

Umberto Straccia, Yann Loyer

Publication date: 22 September 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.04.005

zbMATH Keywords

Logic programmingBilatticesDefault reasoning

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

From Fuzzy to Annotated Semantic Web Languages ⋮ A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption ⋮ Integrated Query Answering with Weighted Fuzzy Rules ⋮ A top-\(k\) query answering procedure for fuzzy logic programming ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• Paraconsistent logic programming
• The value of the four values
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Fixpoint semantics for logic programming a survey
• Paraconsistent declarative semantics for extended logic programs
• Uniform semantic treatment of default and autoepistemic logics
• Parametrized semantics of logic programs -- a unifying framework
• Reasoning with logical bilattices
• A lattice-theoretical fixpoint theorem and its applications
• A kripke-kleene semantics for logic programs*
• Nonmonotonic Logic II
• Bilattices and the semantics of logic programming
• Kleene's Logic, Generalized
• The family of stable models
• Hypothetical reasoning in logic programs
• The well-founded semantics for general logic programs
• Inductive Logic Programming: Theory and methods
• Logic Programming
• Hypothesis-based semantics of logic programs in multivalued logics
• Induction from answer sets in nonmonotonic logic programs
• Mathematical Foundations of Computer Science 2004
• Mathematical Foundations of Computer Science 2003
• Epistemic foundation of stable model semantics

This page was built for publication: Any-world assumptions in logic programming