Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
Annotated fuzzy logic programs
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Optimal aggregation algorithms for middleware
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
A model of multimedia information retrieval
Journal of the ACM (JACM)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
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
Top-k selection queries over relational databases: Mapping strategies and performance evaluation
ACM Transactions on Database Systems (TODS)
Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
On the Semantics of Rule-Based Expert Systems with Uncertainty
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
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
A Theory of Mass Assignments for Artificial Intelligence
IJCAI '91 Proceedings of the Workshops on Fuzzy Logic and Fuzzy Control
Stable Model Semantics for Probabilistic Deductive Databases
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On a theory of probabilistic deductive databases
Theory and Practice of Logic Programming
Evaluating top-k queries over web-accessible databases
ACM Transactions on Database Systems (TODS)
A logic programming framework for possibilistic argumentation with vague knowledge
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
RankSQL: query algebra and optimization for relational top-k queries
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Supporting ad-hoc ranking aggregates
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Any-world assumptions in logic programming
Theoretical Computer Science
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Adaptive rank-aware query optimization in relational databases
ACM Transactions on Database Systems (TODS)
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
Supporting top-K join queries in relational databases
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
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
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog
Fuzzy Sets and Systems
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Integrated Query Answering with Weighted Fuzzy Rules
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Description logic programs under probabilistic uncertainty and fuzzy vagueness
International Journal of Approximate Reasoning
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
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Annals of Mathematics and Artificial Intelligence
Top-down computation of the semantics of weighted fuzzy logic programs
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
An Ontology Mediated Multimedia Information Retrieval System
ISMVL '10 Proceedings of the 2010 40th IEEE International Symposium on Multiple-Valued Logic
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
A complete calculus for possibilistic logic programming with fuzzy propositional variables
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
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
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
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
sPLMap: a probabilistic approach to schema matching
ECIR'05 Proceedings of the 27th European conference on Advances in Information Retrieval Research
Hi-index | 0.20 |
We present a top-k query answering procedure for Fuzzy Logic Programming, in which arbitrary computable functions may appear in the rule bodies to manipulate truth values. The top-k ranking problem, i.e. determining the top k answers to a query, becomes important as soon as the set of facts becomes quite large.