Artificial Intelligence
International Journal of Man-Machine Studies
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
The implementation of fprolog—a fuzzy prolog interpreter
Fuzzy Sets and Systems
Evidential support logic programming
Fuzzy Sets and Systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On the semantics of rule-based expert systems with uncertainty
Lecture notes in computer science on ICDT '88
International Journal of Approximate Reasoning
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Attributive concept descriptions with complements
Artificial Intelligence
Bilattices and the semantics of logic programming
Journal of Logic Programming
When upper probabilities are possibility measures
Fuzzy Sets and Systems - Special issue dedicated to Professor Claude Ponsard
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A model of information retrieval based on a terminological logic
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
Probabilistic logic programming
Information and Computation
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Qualitative reasoning with imprecise probabilities
Journal of Intelligent Information Systems - Special issue: fuzzy logic and uncertainty management in information systems
Stable semantics for probabilistic deductive databases
Information and Computation
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Anytime deduction for probabilistic logic
Artificial Intelligence
Can we enforce full compositionality in uncertainty calculi?
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy sets and fuzzy logic: theory and applications
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Disjunctive signed logic programs
Fundamenta Informaticae
Uncertain deductive databases: a hybrid approach
Information Systems
Combining Horn rules and description logics in CARIN
Artificial Intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Probabilistic Datalog: implementing logical information retrieval for advanced applications
Journal of the American Society for Information Science
A survey of paraconsistent semantics for logic programs
Handbook of defeasible reasoning and uncertainty management systems
Temporal probabilistic logic programs
Proceedings of the 1999 international conference on Logic programming
Annotated fuzzy logic programs
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
A model of multimedia information retrieval
Journal of the ACM (JACM)
Clausal logic and logic programming in algebraic domains
Information and Computation
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Minimal probing: supporting expensive predicates for top-k queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Combining fuzzy information: an overview
ACM SIGMOD Record
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
A Procedural Semantics for Multi-adjoint Logic Programming
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
Proceedings of the 17th International Conference on Logic Programming
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Probabilistic Logic Programming and Bayesian Networks
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Theory of Mass Assignments for Artificial Intelligence
IJCAI '91 Proceedings of the Workshops on Fuzzy Logic and Fuzzy Control
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract)
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Extending Disjunctive Logic Programming by T-norms
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Monotonic and Residuated Logic Programs
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Epistemic Foundation for Logic Programming with Uncertainty
Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science
A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Probabilistic Logic Programming under Inheritance with Overriding
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Computing Probabilistic Least Common Subsumers in Description Logics
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Soundness and Completeness of Non-classical SLD-Resolution
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Many-Valued First-Order Logics with Probabilistic Semantics
Proceedings of the 12th International Workshop on Computer Science Logic
Adaptive Bayesian Logic Programs
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Probabilistic and Truth-Functional Many-Valued Logic Programming
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A Probabilistic Extension to Ontology Language OWL
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 4 - Volume 4
On a theory of probabilistic deductive databases
Theory and Practice of Logic Programming
TOSS: an extension of TAX with ontologies and similarity queries
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
A method for modeling uncertainty in semantic web taxonomies
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
A logic programming framework for possibilistic argumentation with vague knowledge
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic
ISMVL '05 Proceedings of the 35th International Symposium on Multiple-Valued Logic
An enhanced model for searching in semantic portals
WWW '05 Proceedings of the 14th international conference on World Wide Web
RankSQL: query algebra and optimization for relational top-k queries
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
A Family of Extended Fuzzy Description Logics
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
SMART " A Semantic Matchmaking Portal for Electronic Markets
CEC '05 Proceedings of the Seventh IEEE International Conference on E-Commerce Technology
Bayesian semantics for the semantic web
Bayesian semantics for the semantic web
Weak nonmonotonic probabilistic logics
Artificial Intelligence
OntoBayes: An Ontology-Driven Uncertainty Model
CIMCA '05 Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) - Volume 01
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Any-world assumptions in logic programming
Theoretical Computer Science
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
An Improved Semantic Search Model Based on Hybrid Fuzzy Description Logic
FCST '06 Proceedings of the Japan-China Joint Workshop on Frontier of Computer Science and Technology
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
Probabilistic description logic programs
International Journal of Approximate Reasoning
Supporting top-K join queries in relational databases
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Expressive probabilistic description logics
Artificial Intelligence
Scalable querying services over fuzzy ontologies
Proceedings of the 17th international conference on World Wide Web
Distributed Reasoning with Fuzzy Description Logics
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Towards Vague Query Answering in Logic Programming for Logic-Based Information Retrieval
IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Tractable Probabilistic Description Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
PR-OWL: A Framework for Probabilistic Ontologies
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
General Concept Inclusions in Fuzzy Description Logics
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Logic programs with uncertainties: a tool for implementing rule-based systems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Prolog-ELF incorporating fuzzy logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Which logic is the real fuzzy logic?
Fuzzy Sets and Systems
Making fuzzy description logic more general
Fuzzy Sets and Systems
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Tightly integrated probabilistic description logic programs for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Tightly integrated probabilistic description logic programs for representing ontology mappings
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Database preferences queries: a possibilistic logic approach with symbolic priorities
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Towards a crisp representation of fuzzy description logics under Łukasiewicz Semantics
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Hybrid probabilistic programs: algorithms and complexity
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Probabilistic disjunctive logic programming
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
OMEN: a probabilistic ontology mapping tool
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A bayesian network approach to ontology mapping
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Revisiting the semantics of interval probabilistic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Some complexity results on fuzzy description logics
WILF'03 Proceedings of the 5th international conference on Fuzzy Logic and Applications
Probabilistic ontologies and relational databases
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Query answering in normal logic programs under uncertainty
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Uncertainty management in logic programming: simple and effective top-down query answering
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Extended fuzzy description logic ALCN
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Reasoning and quantification in fuzzy description logics
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
A Minimal Deductive System for General Fuzzy RDF
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Combining fuzzy logic and semantic web to enable situation-awareness in service recommendation
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
A practical management of fuzzy truth-degrees using FLOPER
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
A rule-based implementation of fuzzy tableau reasoning
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Declarative traces into fuzzy computed answers
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Database foundations for scalable RDF processing
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
DC proposal: decision support methods in community-driven knowledge curation platforms
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Trends and issues in description logics frameworks for image interpretation
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
Top-k retrieval for ontology mediated access to relational databases
Information Sciences: an International Journal
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A top-k query answering procedure for fuzzy logic programming
Fuzzy Sets and Systems
Modelling argument accrual with possibilistic uncertainty in a logic programming setting
Information Sciences: an International Journal
Inducing and storing generalised evidences using semantic web formalisms
HIKM '12 Proceedings of the Fifth Australasian Workshop on Health Informatics and Knowledge Management - Volume 129
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).