International Journal of Man-Machine Studies
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
The implementation of fprolog—a fuzzy prolog interpreter
Fuzzy Sets and Systems
Evidential support logic programming
Fuzzy Sets and Systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
On the semantics of rule-based expert systems with uncertainty
Lecture notes in computer science on ICDT '88
International Journal of Approximate Reasoning
Bilattices and the semantics of logic programming
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Communications of the ACM
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Stable semantics for probabilistic deductive databases
Information and Computation
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
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
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
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)
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
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
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
Proceedings of the 17th International Conference on Logic Programming
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
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
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract)
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Stable Model Semantics for Probabilistic Deductive Databases
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
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
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
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Incremental recomputation in local languages
Information and Computation
Probabilistic and Truth-Functional Many-Valued Logic Programming
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
Parametrized semantics of logic programs: a unifying framework
Theoretical Computer Science
On a theory of probabilistic deductive databases
Theory and Practice of Logic Programming
Hypothesis-based semantics of logic programs in multivalued logics
ACM Transactions on Computational Logic (TOCL)
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
Any-world assumptions in logic programming
Theoretical Computer Science
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
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
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
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
Revisiting the semantics of interval probabilistic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
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
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
A top-k query answering procedure for fuzzy logic programming
Fuzzy Sets and Systems
| Hi-index | 0.00 |
The management of imprecise information in logic programs becomes important whenever the real world information to be represented is of an imperfect nature and the classical crisp true, false approximation is not adequate. In this work, we consider normal logic programs over complete lattices, where computable truth combination functions may appear in the rule bodies to manipulate truth values and we will provide a top-down query answering procedure.