What is negation as failure?

Dov M. Gabbay

doi:10.1007/978-3-642-29414-3_5

What is negation as failure?

Dov M. Gabbay

CS@BIU

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

4 Scopus citations

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.

Original language	English
Title of host publication	Logic Programs, Norms and Action
Subtitle of host publication	Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Editors	Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis
Pages	52-78
Number of pages	27
DOIs	https://doi.org/10.1007/978-3-642-29414-3_5
State	Published - 2012

Publication series

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

Access to Document

10.1007/978-3-642-29414-3_5

Cite this

Gabbay, D. M. (2012). What is negation as failure? In A. Artikis, R. Craven, N. K. Cicekli, B. Sadighi, & K. Stathis (Eds.), Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (pp. 52-78). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7360 LNCS). https://doi.org/10.1007/978-3-642-29414-3_5

Gabbay, Dov M. / What is negation as failure?. Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. editor / Alexander Artikis ; Robert Craven ; Nihan Kesim Cicekli ; Babak Sadighi ; Kostas Stathis. 2012. pp. 52-78 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{b40b23d3f5eb40e0b030eb4478054d6b,

title = "What is negation as failure?",

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.",

author = "Gabbay, {Dov M.}",

year = "2012",

doi = "10.1007/978-3-642-29414-3_5",

language = "אנגלית",

isbn = "9783642294136",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "52--78",

editor = "Alexander Artikis and Robert Craven and Cicekli, {Nihan Kesim} and Babak Sadighi and Kostas Stathis",

booktitle = "Logic Programs, Norms and Action",

}

Gabbay, DM 2012, What is negation as failure? in A Artikis, R Craven, NK Cicekli, B Sadighi & K Stathis (eds), Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7360 LNCS, pp. 52-78. https://doi.org/10.1007/978-3-642-29414-3_5

What is negation as failure? / Gabbay, Dov M.
Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. ed. / Alexander Artikis; Robert Craven; Nihan Kesim Cicekli; Babak Sadighi; Kostas Stathis. 2012. p. 52-78 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7360 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review