Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
77
views
0
references
Top references
cited by
114
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,720
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Logic and Data Bases
Negation as Failure
other
Author(s):
Keith L. Clark
Publication date
(Print):
1978
Publisher:
Springer US
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
ScienceOpen Research
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
Sign in to comment
Book chapters
pp. 3
An Overview and Introduction to Logic and Data Bases
pp. 33
Data Base: Theory vs. Interpretation
pp. 107
An Experimental Relational Data Base System Based on Logic
pp. 149
Deductive Question-Answering on Relational Data Bases
pp. 179
Deductive Planning and Pathfinding for Relational Data Bases
pp. 201
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases
pp. 325
Integrity Checking in Deductive Data Bases
pp. 347
The Application of Prolog to the Development of QA and DBM Systems
pp. 55
On Closed World Data Bases
pp. 77
Logic for Data Description
pp. 293
Negation as Failure
Similar content
2,720
Is repetitive negative thinking a transdiagnostic process? A comparison of key processes of RNT in depression, generalized anxiety disorder, obsessive-compulsive disorder, and community controls
Authors:
Karina Wahl
,
Thomas Ehring
,
Hanna Kley
…
ACCELERATION OF CHRONIC FAILURE OF INTRAHEPATIC CANINE ISLET AUTOGRAFTS BY A SHORT COURSE OF PREDNISONE1
Authors:
H. Rodriguez Rilo
,
C. Ricordi
,
J Demetris
…
Efficacy of SGLT2-inhibitors across different definitions of heart failure with preserved ejection fraction
Authors:
Vincenzo De Marzo
,
Gianluigi Savarese
,
Italo Porto
…
See all similar
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