Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575): Difference between revisions

@@ Property / describes a project that uses @@
+Ciao
@@ Property / describes a project that uses: Ciao / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FRIL
@@ Property / describes a project that uses: FRIL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FPROLOG
@@ Property / describes a project that uses: FPROLOG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-008-9099-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2100344918
@@ Property / OpenAlex ID: W2100344918 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
+Normal rank
@@ Property / cites work @@
+Evidential support logic programming
@@ Property / cites work: Evidential support logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Annotated fuzzy logic programs
@@ Property / cites work: Annotated fuzzy logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated Query Answering with Weighted Fuzzy Rules
+Normal rank
@@ Property / cites work @@
+Hybrid probabilistic logic programs as residuated logic programs
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236380
@@ Property / cites work: Q4236380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798022
@@ Property / cites work: Q4798022 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs with imperfect information: applications and query procedure
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid probabilistic programs
@@ Property / cites work: Hybrid probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734934
@@ Property / cites work: Q2734934 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736514
@@ Property / cites work: Q4736514 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform semantic treatment of default and autoepistemic logics
+Normal rank
@@ Property / cites work @@
+Incremental recomputation in local languages.
@@ Property / cites work: Incremental recomputation in local languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrecursive incremental evaluation of Datalog queries
+Normal rank
@@ Property / cites work @@
+Possibility theory, probability theory and multiple-valued logics: a clarification
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+The family of stable models
@@ Property / cites work: The family of stable models / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-Boolean valued Prolog
@@ Property / cites work: Pseudo-Boolean valued Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428304
@@ Property / cites work: Q4428304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783476
@@ Property / cites work: Q4783476 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining probabilistic logic programming with the power of maximum entropy
+Normal rank
@@ Property / cites work @@
+Q4235437
@@ Property / cites work: Q4235437 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theorems in logic programming
@@ Property / cites work: Fixed point theorems in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798294
@@ Property / cites work: Q3798294 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of fuzzy and annotated logic programming
+Normal rank
@@ Property / cites work @@
+An annotated logic theorem prover for an extended possibilistic logic
+Normal rank
@@ Property / cites work @@
+Q4470495
@@ Property / cites work: Q4470495 / rank @@
+Normal rank
@@ Property / cites work @@
+Uncertain deductive databases: a hybrid approach
@@ Property / cites work: Uncertain deductive databases: a hybrid approach / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+Q4473152
@@ Property / cites work: Q4473152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708597
@@ Property / cites work: Q4708597 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized semantics of logic programs -- a unifying framework
+Normal rank
@@ Property / cites work @@
+Hypothesis-based semantics of logic programs in multivalued logics
+Normal rank
@@ Property / cites work @@
+Q4708924
@@ Property / cites work: Q4708924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409157
@@ Property / cites work: Q4409157 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Any-world assumptions in logic programming
@@ Property / cites work: Any-world assumptions in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic foundation of stable model semantics
@@ Property / cites work: Epistemic foundation of stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with signs and annotations
@@ Property / cites work: Logic programming with signs and annotations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360108
@@ Property / cites work: Q4360108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955341
@@ Property / cites work: Q4955341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4242057
@@ Property / cites work: Q4242057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798019
@@ Property / cites work: Q4798019 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic programming with conditional constraints
+Normal rank
@@ Property / cites work @@
+Fuzzy modus ponens: A new model suitable for applications in knowledge-based systems
+Normal rank
@@ Property / cites work @@
+The implementation of FPROLOG - a fuzzy PROLOG interpreter
+Normal rank
@@ Property / cites work @@
+Q4955342
@@ Property / cites work: Q4955342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704407
@@ Property / cites work: Q2704407 / rank @@
+Normal rank
@@ Property / cites work @@
+A neural implementation of multi-adjoint logic programming
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736480
@@ Property / cites work: Q4736480 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413492
@@ Property / cites work: Q4413492 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of Fuzzy Prolog
@@ Property / cites work: Fundamentals of Fuzzy Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic programming
@@ Property / cites work: Probabilistic logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Stable semantics for probabilistic deductive databases
+Normal rank
@@ Property / cites work @@
+Answering queries from context-sensitive probabilistic knowledge bases
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Q4893150
@@ Property / cites work: Q4893150 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Horn abduction and Bayesian networks
+Normal rank
@@ Property / cites work @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / cites work @@
+Clausal logic and logic programming in algebraic domains
+Normal rank
@@ Property / cites work @@
+A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Q2844913
@@ Property / cites work: Q2844913 / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2004: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Approximate reasoning by similarity-based SLD resolution.
+Normal rank
@@ Property / cites work @@
+Q3820052
@@ Property / cites work: Q3820052 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
+Normal rank
@@ Property / cites work @@
+Towards Vague Query Answering in Logic Programming for Logic-Based Information Retrieval
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Quantitative deduction and its fixpoint theory
@@ Property / cites work: Quantitative deduction and its fixpoint theory / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/amai/LoyerS09
@@ Property / DBLP publication ID: journals/amai/LoyerS09 / rank @@
+Normal rank