Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
From MaRDI portal
Publication:1039575
DOI10.1007/s10472-008-9099-0zbMath1186.68098DBLPjournals/amai/LoyerS09OpenAlexW2100344918WikidataQ58049256 ScholiaQ58049256MaRDI QIDQ1039575
Publication date: 23 November 2009
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-008-9099-0
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Logic programming (68N17) Many-valued logic (03B50)
Related Items (4)
Beyond multi-adjoint logic programming ⋮ Tabulation proof procedures for fuzzy linguistic logic programming ⋮ Fuzzy answer sets approximations ⋮ A top-\(k\) query answering procedure for fuzzy logic programming
Uses Software
Cites Work
- An annotated logic theorem prover for an extended possibilistic logic
- Answering queries from context-sensitive probabilistic knowledge bases
- Combining probabilistic logic programming with the power of maximum entropy
- The implementation of FPROLOG - a fuzzy PROLOG interpreter
- Evidential support logic programming
- Fundamentals of Fuzzy Prolog
- Pseudo-Boolean valued Prolog
- Probabilistic logic programming
- Probabilistic Horn abduction and Bayesian networks
- Stable semantics for probabilistic deductive databases
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Fixed point theorems in logic programming
- Uncertain deductive databases: a hybrid approach
- The independent choice logic for modelling multiple agents under uncertainty
- Incremental recomputation in local languages.
- Annotated fuzzy logic programs
- Fixpoint semantics for logic programming a survey
- Approximate reasoning by similarity-based SLD resolution.
- A comparison of fuzzy and annotated logic programming
- Uniform semantic treatment of default and autoepistemic logics
- Clausal logic and logic programming in algebraic domains
- Hybrid probabilistic logic programs as residuated logic programs
- Similarity-based unification: A multi-adjoint approach
- A neural implementation of multi-adjoint logic programming
- Parametrized semantics of logic programs -- a unifying framework
- Nonrecursive incremental evaluation of Datalog queries
- Possibility theory, probability theory and multiple-valued logics: a clarification
- Termination of logic programs with imperfect information: applications and query procedure
- Any-world assumptions in logic programming
- A lattice-theoretical fixpoint theorem and its applications
- Logic programming with signs and annotations
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
- Integrated Query Answering with Weighted Fuzzy Rules
- Probabilistic logic programming with conditional constraints
- A kripke-kleene semantics for logic programs*
- Quantitative deduction and its fixpoint theory
- Fuzzy modus ponens: A new model suitable for applications in knowledge-based systems
- Bilattices and the semantics of logic programming
- The family of stable models
- The well-founded semantics for general logic programs
- A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
- Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
- Hybrid probabilistic programs
- Logic Programming
- Hypothesis-based semantics of logic programs in multivalued logics
- Mathematical Foundations of Computer Science 2004
- Logic Programming
- Logic Programming
- Logics in Artificial Intelligence
- Logic Programming and Nonmonotonic Reasoning
- Mathematical Foundations of Computer Science 2003
- Towards Vague Query Answering in Logic Programming for Logic-Based Information Retrieval
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Logic Programming and Nonmonotonic Reasoning
- Epistemic foundation of stable model semantics
- SOFSEM 2004: Theory and Practice of Computer Science
- Fuzzy logic programming
- Fuzzy logic programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Approximate well-founded semantics, query answering and generalized normal logic programs over lattices