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