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 Behavioral Characterization of Computational Systems +
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
- A Compositional Framework for Controller Synthesis +
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
- A More Efficient Parallel Unit Propagation +
- A Practical Approach for Computing Generalization Inferences in EL +
- A Short Overview on Modern Parallel SAT-Solvers +
- An Abductive Model for Human Reasoning +
- An Abductive Model for Human Reasoning +
- An Abductive Model for Human Reasoning (Poster Paper) +
- Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable? +
- Ausgezeichnete Informatikdissertationen 2011 +
- Award1020 +
- Awards in 2011 +
- Blackhole Pushdown Automata +
- Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version +
- Complexity in Union-Free Regular Languages +
- Computing Local Unifiers in the Description Logic EL without the Top Concept +
- Computing with Logic as Operator Elimination: The ToyElim System +
- Concurrent Classification of EL Ontologies +
- Control of Distributed Systems: Tutorial and Overview +
- Cooperating Distributed Grammar Systems with Random Context Grammars as Components +
- Coprocessor - a Standalone SAT Preprocessor +
- Correcting Access Restrictions to a Consequence More Flexibly +
- Decomposing Finite Closure Operators by Attribute Exploration +
- Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions +
- Description Logic reasoning for Semantic Web Ontologies – Extended abstract +
- Description Logics over Lattices with Multi-valued Ontologies +
- EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning +
- ETALIS: Rule-Based Reasoning in Event Processing +
- Efficient Rule-Based Inferencing for OWL EL +
- Epistemic Queries for OWL Knowledge Bases +
- Expressing Self-Referential Usage Policies for the Semantic Web +
- Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +
- Fast Computation of Proper Premises +
- Finding Finite Herbrand Models +
- Finite Lattices Do Not Make Reasoning in ALCI Harder +
- Fixed Parameter Tractable Reasoning in DLs via Decomposition +
- Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection +
- Foundations of Description Logics +
- Foundations of instance level updates in expressive description logics +
- Fuzzy Ontologies over Lattices with T-norms +
- GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable +
- Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación +
- Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy +
- Hierarchical control with partial observations: Sufficient conditions +
- How to Plan When Being Deliberately Misled +
- Implementing completion-based inferences for the el-family +
- Logics and Networks for the Suppression Task +
- Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen +
