Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
On the semantics of rule-based expert systems with uncertainty
Lecture notes in computer science on ICDT '88
On the relationship between circumscription and negation as failure
Artificial Intelligence
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extended stable semantics for normal and disjunctive programs
Logic programming
Logic programs with classical negation
Logic programming
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
Uncertainty and vagueness in knowledge based systems
Uncertainty and vagueness in knowledge based systems
Bilattices and the semantics of logic programming
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Stationary semantics for disjunctive logic programs and deductive databases
Proceedings of the 1990 North American conference on Logic programming
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Probabilistic Datalog: implementing logical information retrieval for advanced applications
Journal of the American Society for Information Science
Annotated fuzzy logic programs
Fuzzy Sets and Systems
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Efficient Interpretation of Propositional Multiple-valued Logic Programs
IPMU'94 Selected papers from the 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Advances in Intelligent Computing
Approximate and Commonsense Reasoning: From Theory to Practice
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
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
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
Any-world assumptions in logic programming
Theoretical Computer Science
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
A Logical Approach to Qualitative and Quantitative Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Annals of Mathematics and Artificial Intelligence
Hybrid probabilistic logic programs with non-monotonic negation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Incomplete knowledge in hybrid probabilistic logic programs
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
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
Hi-index | 0.01 |
Many frameworks of logic programming have been proposed to manage uncertain information in deductive databases and expert systems. Roughly, on the basis of how uncertainty is associated to facts and the rules in a program, they can be classified into implication-based (IB) and annotation-based (AB). However, one fundamental issue that remains unaddressed in the IB approach is the representation and the manipulation of the non-monotonic mode of negation, an important feature for real applications. Our focus in this paper is to introduce nonmonotonic negation in the parametric IB framework, a unifying umbrella for IB frameworks. The semantical approach that we will adopt is based on the well-founded semantics, one of the most widely studied and used semantics of (classical) logic programs with negation.