Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Home
Researchers
Organisations
Research output
Prizes
Student theses
Courses
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
What is negation as failure?
Dov M. Gabbay
Department of Computer Science
King's College London
University of Luxembourg
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
›
peer-review
4
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'What is negation as failure?'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Arts and Humanities
Negation
100%
Literature
33%
Argumentation Theory
33%
Clause
33%
Completion
33%
Keyphrases
Negation as Failure
100%
Argumentation Theory
33%
Calculus
33%
Equational Approach
33%
Computer Science
Argumentation Theory
100%
Mathematics
Equational Calculus
100%