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
- A Brief Introduction to Formal Concept Analysis +
- A Framework For Evaluating Visual SLAM +
- A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
- A Lexico-Logical Approach to Ontology Engineering +
- A Matter of Principles: Towards the Largest DLP Possible +
- A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking +
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions +
- A Novel Architecture for Situation Awareness Systems +
- A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository +
- A uniform framework for modeling and verifying components and connectors +
- ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming +
- Access Policy Design Supported by FCA Methods +
- Ausgezeichnete Informatikdissertationen 2008 +
- Award1014 +
- Award1015 +
- Award1016 +
- Awards in 2009 +
- Axiom Pinpointing is Hard +
- Cognitive Science, Computational Logic and Connectionism +
- Computing Boundaries for Reasoning in Sub-Ontologies +
- Concept Lattice Orbifolds -- First Steps +
- Conceptual Structures: Leveraging Semantic Technologies +
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q +
- Context Orbifolds +
- Contraction Properties of a Semantic Operator for Human Reasoning +
- Contributions to ICFCA 2009 +
- D1.1.1 Conceptual models for enterprise knowledge (Initial Models) +
- D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes) +
- D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving +
- Defaults in Action: Non-monotonic Reasoning About States in Action Calculi +
- Description Logics +
- Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen +
- Effective algorithm for parameter back calculation - Geotechnical applications +
- Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations +
- Exploring Finite Models in the Description Logic ELgfp +
- Finding the Largest Datalog Fragment of Description Logic +
- Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings +
- Foundations of Semantic Web Technologies +
- How Should Parthood Relations be Expressed in SNOMED CT? +
- Integrate Action Formalisms into Linear Temporal Description Logics +
- Literal Projection and Circumscription +
- Logic Programs under Three-Valued Lukasiewicz Semantics +
- Logic Programs under Three-Valued Łukasiewicz's Semantics +
- Logics and Networks for Human Reasoning +
- Logics and Networks for Human Reasoning +
- Logik und Logikprogrammierung. Band 1: Grundlagen. +
- Matching Trace Patterns with Regular Policies +
- Model checking linear-time properties of probabilistic systems +
- Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability +
- Neural-Symbolic Integration +
