Search by property

From International Center for Computational Logic

Jump to:navigation, search

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

Foundations of Semantic Web Technologies + (Hypertableau I)
Foundations of Semantic Web Technologies + (Hypertableau I)
Foundations of Semantic Web Technologies + (Hypertableau II)
Foundations of Semantic Web Technologies + (Hypertableau II)
Foundations of Semantic Web Technologies + (Hypertableau II)
Hypothesis Finding with Proof Theoretical Appropriateness Criteria + (Hypothesis Finding with Proof Theoretical Appropriateness Criteria)
IASCAR: Incremental Answer Set Counting by Anytime Refinement + (IASCAR: Incremental Answer Set Counting by Anytime Refinement)
IASCAR: Incremental Answer Set Counting by Anytime Refinement + (IASCAR: Incremental Answer Set Counting by Anytime Refinement)
IASCAR: Incremental Answer Set Counting by Anytime Refinement + (IASCAR: Incremental Answer Set Counting by Anytime Refinement)
Seminar: Logical Modelling + (IDP + FO(\cdot))
ILP Operators for Propositional Connectionist Networks + (ILP Operators for Propositional Connectionist Networks)
Advanced Topics in Complexity Theory + (IP is part of PSpace)
Quotation in Formal Logics and the Web + (ISO Common Logic)
Seminar Practical Planning for Angry Birds + (Idea Draft)
Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning + (Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning)
Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions + (Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions)
Image Schemas and Conceptual Dependency Primitives: A Comparison + (Image Schemas and Conceptual Dependency Primitives: A Comparison)
Concurrency Theory + (Immerman und Szelepcsényi on Steroids)
Seminar Abstract Argumentation + (Implementation Methods)
Seminar Abstract Argumentation + (Implementation Methods)
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment + (Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment)
Implementation and evaluation of a tableau algorithm for the Guarded Fragment + (Implementation and evaluation of a tableau algorithm for the Guarded Fragment)
Seminar Abstract Argumentation + (Implementing AFs)
Implementing Belief Change in the Situation Calculus and an Application + (Implementing Belief Change in the Situation Calculus and an Application)
Implementing Deep Inference in TOM + (Implementing Deep Inference in TOM)

Implementing Default and Autoepistemic Logics via the Logic of GK + (Implementing Default and Autoepistemic Logics via the Logic of GK)

Implementing Instantiation of Knowledge Bases in Argumentation Frameworks + (Implementing Instantiation of Knowledge Bases in Argumentation Frameworks)
Implementing Matching in ALN + (Implementing Matching in ALN)
Implementing Matching in ALE—First Results + (Implementing Matching in ALE—First Results)
Implementing System BV of the Calculus of Structures in Maude + (Implementing System BV of the Calculus of Structures in Maude)
Implementing completion-based inferences for the el-family + (Implementing completion-based inferences for the el-family)
Implementing the n-ary Description Logic GF1- + (Implementing the n-ary Description Logic GF1-)
Improved Answer-Set Programming Encodings for Abstract Argumentation + (Improved Answer-Set Programming Encodings for Abstract Argumentation)
Improved Answer-Set Programming Encodings for Abstract Argumentation + (Improved Answer-Set Programming Encodings for Abstract Argumentation)
Improving Resource-Unaware SAT Solvers + (Improving Resource-Unaware SAT Solvers)
In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning + (In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning)
Foundations of Constraint Programming + (Incomplete Constraint Solvers)
Foundations of Constraint Programming + (Incomplete Constraint Solvers)
Foundations of Constraint Programming + (Incomplete Constraint Solvers)
Foundations of Constraint Programming + (Incomplete Constraint Solvers)
Foundations of Constraint Programming + (Incomplete Constraint Solvers)
Foundations of Constraint Programming + (Incomplete Constraint Solvers)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)
Foundations of Knowledge Representation + (Inconsistency Handling)

Retrieved from "https://iccl.inf.tu-dresden.de/web/Spezial:Suche_mittels_Attribut/:Title/Implementing-20Default-20and-20Autoepistemic-20Logics-20via-20the-20Logic-20of-20GK/en"