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
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
- A Benchmark Framework for a Computational Argumentation Competition +
- A Computational Logic Approach to the Belief Bias Effect +
- A Description Logic Primer +
- A Fully Parallel Framework for Fast Analyzing RDF Data +
- A Model and Method to Terminologize Existing Domain Ontologies +
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
- A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +
- A Note on Relative Observability in Coordination Control +
- A Scalable Analysis Framework for Large-scale RDF Data +
- A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory +
- A cross-lingual correcting and completive method for multilingual ontology labels +
- A rule-based ontological framework for the classification of molecules +
- Advanced Petri Nets and the Fluent Calculus (INFOCOM-6) +
- All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles +
- Alternating Towers and Piecewise Testable Separators +
- An FCA grounded study of user dynamics through log exploration +
- An Introduction to Ontology-Based Query Answering with Existential Rules +
- An Ontology Design Pattern for Activity Reasoning +
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Answer Set Programming and Clasp (INFOCOM-6) +
- Answering Instance Queries Relaxed by Concept Similarity +
- Application Patterns of Projection/Forgetting +
- Application Patterns of Projection/Forgetting +
- Applying Triadic FCA in Studying Web Usage Behaviors +
- Are Good-for-Games Automata Good for Probabilistic Model Checking? +
- Asynchronous Multi-Context Systems +
- Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing +
- Automata-based Reasoning in Fuzzy Description Logics +
- Award1026 +
- Award1027 +
- Awards in 2014 +
- Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition +
- Bayesian Description Logics +
- Brave and Cautious Reasoning in EL +
- Bridging the Application Knowledge Gap +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies +
- COBRA, a Demo +
- Certain Answers in a Rough World +
- Classifying Software Bug Reports Using Methods from Formal Concept Analysis +
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers +
- Compact Argumentation Frameworks +
- Compact Argumentation Frameworks +
- Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities +
- Complexities of Nominal Schemas +
- Computational Logic and Human Reasoning Episodes +
- Computing Conditional Probabilities in Markovian Models Efficiently +
