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 Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A General Form of Attribute Exploration +
- A Geo-ontology Design Pattern for Semantic Trajectories +
- A New Computational Model for Human Reasoning +
- A New Computational Model for Human Reasoning +
- A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints +
- A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
- A bridge between decentralized and coordination control +
- A fuzzy extension of explanatory relations based on mathematical morphology +
- A general first-order solution to the ramification problem with cycles +
- A hybrid approach for learning concept definitions from text +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- About Subsumption in Fuzzy EL +
- Abstract Dialectical Frameworks Revisited +
- Abstract Dialectical Frameworks Revisited +
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies +
- An Efficient Encoding of the At-Most-One Constraint +
- An Efficient Encoding of the at-most-one Constraint +
- An Ontology Design Pattern for Cartographic Map Scaling +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT +
- Approximating Operators and Semantics for Abstract Dialectical Frameworks +
- Approximating Operators and Semantics for Abstract Dialectical Frameworks +
- Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings +
- Ausgezeichnete Informatikdissertationen 2012 +
- Award1023 +
- Award1024 +
- Award1025 +
- Awards in 2013 +
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals +
- Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data +
- Beam Me Up! - LaTeX-Beamer For Those Who Already Know +
- Benchmark libraries for argumentation +
- Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning +
- Compact Rewritings for Existential Rules +
- Complexities of Horn Description Logics +
- Computational Logic and Human Reasoning +
- Computing Quantiles in Markov Reward Models +
- Computing Role-depth Bounded Generalizations in the Description Logic ELOR +
- Computing Stable Models for Nonmonotonic Existential Rules +
- Computing the lcs w.r.t. General EL^+ TBoxes +
- Computing with Logic as Operator Elimination: The ToyElim System +
- Concept Adjustment for Description Logics +
- Concrete Results on Abstract Rules +
- Coordination Control of Distributed Discrete-Event Systems +
- Distributed wait state tracking for runtime MPI deadlock detection +
- EQuIKa: Epistemic Querying in OWL 2 Ontologies +
