There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1978

Pages: 293-322

DOI: 10.1007/978-1-4684-3384-5_11

SO-VID: 9f53a5e1-7c64-4eba-a772-cd325ea15100

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 113

Answer Set Programming Based on Propositional Satisfiability
Authors: Marco Maratea, Yuliya Lierler, Enrico Giunchiglia
Negation in logic programming
Authors: Kenneth Kunen
On indefinite databases and the closed world assumption
Authors: Jack Minker

See all cited by

Negation as Failure

Read this book at