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 General First-Order Solution to the Ramification Problem +
- A Generic Approach for Correcting Access Restrictions to a Consequence +
- A Rule-Based Language for Complex Event Processing and Reasoning +
- ASPARTIX Conquers the Web +
- Abduction in Human Reasoning +
- Adding Causal Relationships to DL-based Action Formalisms +
- Alternating-time stream logic for multi-agent systems +
- An Approach to Exploring Description Logic Knowledge Bases +
- Answer-set programming encodings for argumentation frameworks +
- Ausgezeichnete Informatikdissertationen 2009 +
- Automata-based Axiom Pinpointing +
- Award1017 +
- Award1018 +
- Award1019 +
- Awards in 2010 +
- Axiom Pinpointing in General Tableaux +
- Blackhole State-Controlled Regulated Pushdown Automata +
- Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals +
- Circumscription and Projection as Primitives of Logic Programming +
- Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms +
- Complementation and Inclusion of Weighted Automata on Infinite Trees +
- Complexity in Union-Free Regular Languages +
- Complexity of Axiom Pinpointing in the DL-Lite Family +
- Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics +
- Compositional Matrix-Space Models of Language +
- Computing Intensional Answers to Questions - An Inductive Logic Programming Approach +
- Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks +
- Correcting Access Restrictions to a Consequence +
- Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo +
- D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation) +
- D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator) +
- D1.4.2: Knowledge leveraging and repair Demonstrator +
- Deduktion: von der Theorie zur Anwendung +
- Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions +
- Description Logic Rules +
- Design and Verification of Systems with Exogenous Coordination Using Vereofy +
- Efficient Inferencing for OWL EL +
- Efficient Inferencing for the Description Logic Underlying OWL EL +
- Epistemic Queries for OWL +
- Hardness of Enumerating Pseudo-Intents in the Lectic Order +
- Improving Resource-Unaware SAT Solvers +
- Integrated Metamodeling and Diagnosis in OWL 2 +
- Integrated Metamodeling and Diagnosis in OWL 2 +
- LATPub437 +
- LATPub439 +
- LATPub702 +
- LATPub703 +
- Left-forbidding cooperating distributed grammar systems +
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web +
- Literal Projection and Circumscription +
