Work

Negation as Failure Using Tight Derivations for General Logic Programs

Year: 1988

Type: book-chapter

Source: Elsevier eBooks

Parent work: Foundations of Deductive Databases and Logic Programming

DOI: 10.1016/b978-0-934613-40-8.50007-5

Author: Allen Van Gelder

Institutions: University of California, Santa Cruz, Stanford University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: National Science Foundation

Award: Implementation of Logical Query Languages For Databases (Information Science)

OpenAlex ID: W1582573023

FWCI: 21.32

Cites: 42

Cited by: 241

Related to: 10