What is negation as failure?

Dov M. Gabbay

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

4 Scopus citations


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.

Original languageEnglish
Title of host publicationLogic Programs, Norms and Action
Subtitle of host publicationEssays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
EditorsAlexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis
Number of pages27
StatePublished - 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7360 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'What is negation as failure?'. Together they form a unique fingerprint.

Cite this