ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Logic Programming
Latest Publications
TOTAL DOCUMENTS
42
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Published By The MIT Press
9780262291354
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Efficient Goal Directed Bottom-up Evaluation of Logic Programs
Logic Programming
◽
10.7551/mitpress/4299.003.0048
◽
1997
◽
Keyword(s):
Logic Programs
◽
Bottom Up
Download Full-text
Embedded Implications as a Generalization of Negation as Failure
Logic Programming
◽
10.7551/mitpress/4299.003.0046
◽
1997
◽
Keyword(s):
Negation As Failure
Download Full-text
Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models
Logic Programming
◽
10.7551/mitpress/4299.003.0036
◽
1997
◽
Keyword(s):
Side Effects
◽
Parallel Execution
◽
Execution Models
◽
Parallel Execution Models
Download Full-text
Assumption Grammars for Processing Natural Language
Logic Programming
◽
10.7551/mitpress/4299.003.0024
◽
1997
◽
Keyword(s):
Natural Language
Download Full-text
Automatic Compile-Time Parallelization of Prolog Programs for Dependent And-Parallelism
Logic Programming
◽
10.7551/mitpress/4299.003.0014
◽
1997
◽
Keyword(s):
Prolog Programs
◽
Time Parallelization
Download Full-text
Demand-driven and constraint-based automatic left-termination analysis for Logic Programs
Logic Programming
◽
10.7551/mitpress/4299.003.0012
◽
1997
◽
Keyword(s):
Logic Programs
◽
Termination Analysis
Download Full-text
Non-Failure Analysis for Logic Programs
Logic Programming
◽
10.7551/mitpress/4299.003.0010
◽
1997
◽
Keyword(s):
Failure Analysis
◽
Logic Programs
Download Full-text
Total Homeostaticity and Integrity Constraints Restorability Recognition
Logic Programming
◽
10.7551/mitpress/4299.003.0023
◽
1997
◽
Keyword(s):
Integrity Constraints
Download Full-text
Translating Logic Programs into Conditional Rewriting Systems
Logic Programming
◽
10.7551/mitpress/4299.003.0018
◽
1997
◽
Keyword(s):
Logic Programs
◽
Rewriting Systems
Download Full-text
Solving Small TSPs with Constraints
Logic Programming
◽
10.7551/mitpress/4299.003.0028
◽
1997
◽
Cited By ~ 1
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close