Amanote Research
Register
Sign In
SLDNF, Constructive Negation and Grounding
doi 10.7551/mitpress/4298.003.0058
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1995
Authors
Unknown
Publisher
The MIT Press
Related search
Default Rules: An Extension of Constructive Negation for Narrowing-Based Languages
Relevance Logics, Paradoxes of Consistency and the K Rule II. A Non-Constructive Negation
Logic and Logical Philosophy
Philosophy
Paraconsistent Negation and Classical Negation in Computation Tree Logic
A New Definition of SLDNF-resolution
The Journal of Logic Programming
Subminimal Negation
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Grounding and Necessity
Inquiry (United Kingdom)
Health Policy
Philosophy
Loop Checking and Negation
The Journal of Logic Programming
Negation and Negative Polarity
Negation in Mongolic
Suomalais-Ugrilaisen Seuran Aikakauskirja
