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
- 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)
