Amanote Research
Register
Sign In
Projections of Logic Programs Using Symbol Mappings
doi 10.7551/mitpress/4298.003.0050
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1995
Authors
Unknown
Publisher
The MIT Press
Related search
Learnability of Constrained Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Disjunctive Signed Logic Programs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Incremental Analysis of Logic Programs
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporally Annotated Extended Logic Programs
International Journal of Advanced Research in Artificial Intelligence
On Termination of Constraint Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mode Analysis of Functional Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Automatic Termination Analysis of Logic Programs
