From Fuzzy to Annotated Semantic Web Languages (Q2970305): Difference between revisions

@@ Property / arXiv ID @@
+.05724
@@ Property / arXiv ID: 1811.05724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Possibility theory, probability theory and multiple-valued logics: a clarification
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5450125
@@ Property / cites work: Q5450125 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Fuzzy sets and systems. Theory and applications
@@ Property / cites work: Fuzzy sets and systems. Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838055
@@ Property / cites work: Q3838055 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789457
@@ Property / cites work: Q4789457 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics with general t-norms and datatypes
+Normal rank
@@ Property / cites work @@
+Supporting Fuzzy Rough Sets in Fuzzy Description Logics
+Normal rank
@@ Property / cites work @@
+Q5450126
@@ Property / cites work: Q5450126 / rank @@
+Normal rank
@@ Property / cites work @@
+Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
+Normal rank
@@ Property / cites work @@
+Description logic programs under probabilistic uncertainty and fuzzy vagueness
+Normal rank
@@ Property / cites work @@
+Reasoning and Quantification in Fuzzy Description Logics
+Normal rank
@@ Property / cites work @@
+Q3614558
@@ Property / cites work: Q3614558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012245
@@ Property / cites work: Q4012245 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized fuzzy rough description logics
@@ Property / cites work: Generalized fuzzy rough description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic decision making using ontology-based soft sets
+Normal rank
@@ Property / cites work @@
+Extending soft sets with description logics
@@ Property / cites work: Extending soft sets with description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning within intuitionistic fuzzy rough description logics
+Normal rank
@@ Property / cites work @@
+Reasoning within expressive fuzzy rough description logics
+Normal rank
@@ Property / cites work @@
+Reasoning with rough description logics: An approximate concepts approach
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics under Gödel semantics
@@ Property / cites work: Fuzzy description logics under Gödel semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+DESCRIPTION LOGICS OVER LATTICES
@@ Property / cites work: DESCRIPTION LOGICS OVER LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
+Normal rank
@@ Property / cites work @@
+On the failure of the finite model property in some fuzzy description logics
+Normal rank
@@ Property / cites work @@
+JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
+Normal rank
@@ Property / cites work @@
+Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
+Normal rank
@@ Property / cites work @@
+Finite Fuzzy Description Logics and Crisp Representations
+Normal rank
@@ Property / cites work @@
+Optimising fuzzy description logic reasoners with general concept inclusion absorption
+Normal rank
@@ Property / cites work @@
+Some Complexity Results on Fuzzy Description Logics
+Normal rank
@@ Property / cites work @@
+How Fuzzy Is My Fuzzy Description Logic?
@@ Property / cites work: How Fuzzy Is My Fuzzy Description Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624094
@@ Property / cites work: Q3624094 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
+Normal rank
@@ Property / cites work @@
+Q3533554
@@ Property / cites work: Q3533554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455640
@@ Property / cites work: Q3455640 / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptual querying through ontologies
@@ Property / cites work: Conceptual querying through ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q2932911
@@ Property / cites work: Q2932911 / rank @@
+Normal rank
@@ Property / cites work @@
+A model of multimedia information retrieval
@@ Property / cites work: A model of multimedia information retrieval / rank @@
+Normal rank
@@ Property / cites work @@
+Q5478209
@@ Property / cites work: Q5478209 / rank @@
+Normal rank
@@ Property / cites work @@
+FUZZY ONTOLOGY ALIGNMENT USING BACKGROUND KNOWLEDGE
+Normal rank
@@ Property / cites work @@
+A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
+Normal rank
@@ Property / cites work @@
+Q3459923
@@ Property / cites work: Q3459923 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning in Description Logics with Fuzzy Concrete Domains
+Normal rank
@@ Property / cites work @@
+Towards Learning Fuzzy DL Inclusion Axioms
@@ Property / cites work: Towards Learning Fuzzy DL Inclusion Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+A FOIL-Like Method for Learning under Incompleteness and Vagueness
+Normal rank
@@ Property / cites work @@
+Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
+Normal rank
@@ Property / cites work @@
+Annotated fuzzy logic programs
@@ Property / cites work: Annotated fuzzy logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS
+Normal rank
@@ Property / cites work @@
+Integrated Query Answering with Weighted Fuzzy Rules
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy 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 @@
+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 @@
+Fundamentals of Fuzzy Prolog
@@ Property / cites work: Fundamentals of Fuzzy Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893150
@@ Property / cites work: Q4893150 / rank @@
+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 @@
+Quantitative deduction and its fixpoint theory
@@ Property / cites work: Quantitative deduction and its fixpoint theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+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 @@
+Q4784882
@@ Property / cites work: Q4784882 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs with imperfect information: applications and query procedure
+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 @@
+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 @@
+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 @@
+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 @@
+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 @@
+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 @@
+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 @@
+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 top-\(k\) query answering procedure for fuzzy logic programming
+Normal rank
@@ Property / cites work @@
+On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
+Normal rank