What is negation as failure?

Authors:
Dov M. Gabbay
Affiliations:
Bar Ilan University, Israel,King's College, London, UK,University of Luxembourg, Luxembourg
Venue:
Logic Programs, Norms and Action
Year:
2012

Citing 16
Cited 0

Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption

Journal of Logic Programming
Negation as failure. II

Journal of Logic Programming
Negation as inconsistency .I

Journal of Logic Programming
Negation in logic programming

Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Negation as failure

Readings in nonmonotonic reasoning
A sound and complete semantics for a version of negation as failure

Theoretical Computer Science
Negation as refutation

Proceedings of the Fourth Annual Symposium on Logic in computer science
Modal provability foundations for negation by failure

Proceedings of the international workshop on Extensions of logic programming
A linear axiomatization of negation as failure

Journal of Logic Programming
Negation as partial failure

Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Contributions to the Theory of Logic Programming

Journal of the ACM (JACM)
A Transformation of Propositional Prolog Programs into Classical Logic

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Negation as failure and intuitionistic three-valued logic

FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Argumentation in Artificial Intelligence

Argumentation in Artificial Intelligence
Introducing equational semantics for argumentation networks

ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

An equational approach is used to give semantics to negation as failure. We offer an Equational Calculus and in it we define a new completion for programs with negation as failure in the body of clauses. This approach is compared with other approaches in the literature and a connection is established with argumentation theory.