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