Search by property
From International Center for Computational Logic
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
- 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 +
