Amanote Research
Register
Sign In
Representing Actions in Equational Logic Programming
doi 10.7551/mitpress/4316.003.0028
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
On Extra Variables in (Equational) Logic Programming
Representing Biases for Inductive Logic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Semantics of Equational Logic Programming as an Instance of CLP
Representing Metadata Constraints in Common Logic
International Journal of Metadata, Semantics and Ontologies
E-learning
Computer Science Applications
Information Systems
Library
Information Sciences
Logic Programming
Connectionist Modal Logic: Representing Modalities in Neural Networks
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
Global Variables in Logic Programming
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
