Creating Category:Logic
Jump to navigation
Jump to search
You have followed a link to a page that does not exist yet.
To create the page, start typing in the box below (see the help page for more info).
If you are here by mistake, click your browser's back button.
Preview
Pages in category "Logic"
The following 51 pages are in this category, out of 51 total.
A
- A Backward Analysis for Constraint Logic Programs
- A Framework for Compiling Preferences in Logic Programs
- A General Framework for Lazy Functional Logic Programming
- A Logic-Based Approach to Data Integration
- A Treatment of Higher-Order Features in Logic Programming
- Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
- Abduction with Penalization in Logic Programming
- Abductive Logic Programs with Penalization: Semantics, Complexity, and Implementation
- Abstract
- An Asynchronous Automata Approach to the Semantics of Temporal Logic
C
- Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation
- Computability Logic: A New Approach to Understanding Computability and Logic
- Computing the Well-Founded Semantics: A Summary
- Condensing Abstract Domains for Logic Program Analysis
- Constraint Logic Programming with Hereditary Harrop Formulas
- CTI: A Tool for Automatically Inferring Termination Properties in Logic Programs
D
I
L
P
S
T
- Termination of General Logic Programs
- Termination of Logic Programs with Dynamic Scheduling
- The Limits of Horn Logic Programs
- The Munich Rent Advisor: A Success for Logic Programming on the Internet
- The Witness Properties and the Semantics of the Prolog Cut
- Two Results for Prioritized Logic Programming