There is currently no text in this page. You can search for this page title in other pages, search the related logs, or create this page.
Category:Logic
Jump to navigation
Jump to search
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