Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- Application Patterns of Projection/Forgetting +
- Application Patterns of Projection/Forgetting +
- Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas +
- Circumscription and Projection as Primitives of Logic Programming +
- Computing with Logic as Operator Elimination: The ToyElim System +
- Computing with Logic as Operator Elimination: The ToyElim System +
- Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux +
- Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +
- Expressing View-Based Query Processing and Related Approaches with Second-Order Operators +
- Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection +
- Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic +
- Literal Projection and Circumscription +
- Literal Projection and Circumscription +
- Projection and Scope-Determined Circumscription +
- Second-Order Characterizations of Definientia in Formula Classes +
- Second-Order Characterizations of Definientia in Formula Classes +
- Second-Order Characterizations of Definientia in Formula Classes +
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications +
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Extended Version) +
- Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods +
- Tableaux for Projection Computation and Knowledge Compilation +
- The Boolean Solution Problem from the Perspective of Predicate Logic +
- The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version +
- The PIE system for Proving, Interpolating and Eliminating +
- Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics +
- Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics +
