Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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 +
- Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes +
- 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 +
- Fuzzy Conceptual Knowledge Processing +
- 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 +
