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
- The European PhD Program in Computational Logic + (Steffen)
- Study Programs on Computational Logic at TUD + (Steffen)
- A Computational Logic Approach to Human Reasoning + (Steffen)
- Solving Hidokus Using SAT-Solvers + (Steffen)
- Human Reasoning and Computational Logic + (Steffen)
- The European PhD Program in Computational Logic + (Steffen)
- A Simple Model for the Wason Selection Task + (Steffen)
- Human Reasoning and Computational Logic + (Steffen)
- Satisfiability Testing and its Applications + (Steffen)
- Computing Conditional Probabilities: Implementation and Evaluation + (Steffen)
- UniMoK: A System for Combining Equational Unification Algorithms + (Stephan)
- Optimisation Techniques for Combining Constraint Solvers + (Stephan)
- The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics + (Stephan)
- PSPACE Reasoning for Graded Modal Logics + (Stephan)
- On the Complexity of Counting in Description Logics + (Stephan)
- A PSpace Algorithm for Graded Modal Logic + (Stephan)
- PSpace Reasoning for DLs with Qualifying Number Restrictions + (Stephan)
- A PSpace-algorithm for ALCQI-satisfiability + (Stephan)
- A NEXPTIME-complete Description Logic Strictly Contained in C^2 + (Stephan)
- Description Logics of Context with Rigid Roles Revisited + (Stephan)
- Decidable Contextualized DLs with Rigid Roles + (Stephan)
- Decidable Description Logics of Context with Rigid Roles + (Stephan)
- Fast Dual Simulation Processing of Graph Database Queries (Supplement) + (Stephan)
- Using Queries as Schema-Templates for Graph Databases + (Stephan)
- Fast Dual Simulation Processing of Graph Database Queries + (Stephan)
- Modal Schema Graphs for Graph Databases + (Stephan)
- Non-Standard Semantics for Graph Query Languages + (Stephan)
- Semantic Description of Distributed Business Processes + (Sudhir)
- KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge + (Suk Joon)
- Synthesis of Reo circuits from scenario-based interaction specifications + (Sun)
- RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog + (Susana)
- RFuzzy: An Expressive Simple Fuzzy Compiler + (Susana)
- ??? + (Sven-Erik)
- Automated Deduction - A Basis for Applications + (Sven-Erik)
- Concurrent Production, Consumption and Occupation + (Sven-Erik)
- Deduktives Planen + (Sven-Erik)
- Explicit and Implicit Indeterminism + (Sven-Erik)
- Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems + (Sven-Erik)
- Generating Rational Models + (Sven-Erik)
- Integrating Reactive and Reflective Reasoning by Generating Rational Models + (Sven-Erik)
- Integrating Reactive and Reflexive Reasoning by Generating Rational Models + (Sven-Erik)
- KI-96: Lecture Notes in Artificial Intelligence + (Sven-Erik)
- On the Combination of Partial Action Descriptions + (Sven-Erik)
- Rational Models of Normal Logic Programs + (Sven-Erik)
- Rational Models of Normal Logic Programs + (Sven-Erik)
- Representing Concurrent Action and Solving Conflicts + (Sven-Erik)
- User Adaptation in a Web Shop System + (Sven-Erik)
- Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings + (Sébastien)
- Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints + (Sébastien)
- A Method of Estimating Oriented Surface Elements from Stereo Images + (T.)
- Ausgezeichnete Informatikdissertationen 2004 + (T.)
- Playing Stochastic Games Precisely + (Taloue)
- Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß + (Th.)
- Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß + (Th.)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (Thanh)
- Employing DL-LiteR-Reasoners for Fuzzy Query Answering + (Theofilos)
- Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics + (Theofilos)
- Extraction of Multilingual Term Variants in the Business Reporting Domain + (Thierry)
- Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies + (Thierry)
- Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels + (Thierry)
- Porting the xEBR taxonomies to a LOD compliant format + (Thierry)
- Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies + (Thierry)
- Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201 + (Thomas)
- Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations + (Thomas)
- Proceedings of the First International Workshop on Uncertainty in Description Logics + (Thomas)
