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 Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A Computational Logic Approach to Human Reasoning +
- A Computational Logic Approach to the Suppression Task +
- A Computational Logic Approach to the Suppression Task +
- A Description Logic Primer +
- A Framework for Semantic-based Similarity Measures for ELH-Concepts +
- A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set +
- A Generic Querying Algorithm for Greedy Sets of Existential Rules +
- A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Language for Default Reasoning about Actions +
- A Logical Geo-Ontology Design Pattern for Quantifying over Types +
- A Note on Undecidability of Observation Consistency for Non-Regular Languages +
- A Simple Model for the Wason Selection Task +
- A Simple Model for the Wason Selection Task +
- A Sound and Complete Backward Chaining Algorithm for Existential Rules +
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices +
- A note on controllability of deterministic context-free systems +
- Abstract Dialectical Frameworks: Properties, Complexity, and Implementation +
- Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies +
- Acyclicity Conditions and their Application to Query Answering in Description Logics +
- Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics +
- Adding Context to Tableaux for DLs +
- Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints +
- Ausgezeichnete Informatikdissertationen 2011 +
- Automated Reencoding of Boolean Formulas +
- Award1021 +
- Award1022 +
- Awards in 2012 +
- Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code +
- Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies +
- Computational Aspects of cf2 and stage2 Argumentation Semantics +
- Computing Minimal EL-Unifiers is Hard +
- Computing Minimal EL-unifiers is Hard +
- Conjunctive Query Answering for Directional Rules +
- Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices +
- Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies +
- Coprocessor 2.0 - A flexible CNF Simplifier +
- Declarative Strategies for Agents with Incomplete Knowledge +
- Default Reasoning about Actions via Abstract Argumentation +
- ELK Reasoner: Architecture and Evaluation +
- Evaluating Abstract Dialectical Frameworks with ASP +
- Exclusivity-based allocation of knowledge +
- ExpExpExplosion: Uniform Interpolation in General EL Terminologies +
- Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics +
- Extending Description Logic Rules +
- Extending Unification in EL Towards General TBoxes +
- Extracting Confident General Concept Inclusions from Finite Interpretations +
