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.
|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|
|Number of pages||27|
|State||Published - 2012|
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|