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
69
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,450
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,450
Need for Early Recognition of Amyloidosis in Cases of Unexplained Heart Failure: A Case Report
Authors:
Sneha Kalluri
,
Jamil Abbasi
Tumor infiltrating lymphocytes in triple negative breast cancer receiving neoadjuvant chemotherapy
Authors:
Carlos A. Castaneda
,
Elizabeth Mittendorf
,
Sandro Casavilca Zambrano
…
Event-free Survival with Pembrolizumab in Early Triple-Negative Breast Cancer
Authors:
Peter J. Schmid
,
Javier Cortés
,
Rebecca Dent
…
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