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
- Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach + (6-57)
- The Weak Completion Semantics and Counter Examples + (60--73)
- Metric Temporal Description Logics with Interval-Rigid Names + (60--76)
- Generating compact MTBDD-representations from Probmela specifications + (60--76)
- Characterizing logic programming semantics with level mappings + (60-67)
- How (Not) To Minimize Events + (60-71)
- Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis + (60-75)
- Complexity of Verifying Nonblockingness in Modular Supervisory Control + (602-607)
- Computing Cores for Existential Rules with the Standard Chase and ASP + (603-613)
- The Triguarded Fragment of First-Order Logic + (604-619)
- Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond + (605--627)
- SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors + (607-608)
- Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics + (60–101)
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes + (61--76)
- Parallel Variable Elimination on CNF Formulas + (61-73)
- Modeling the Suppression Task under Weak Completion and Well-Founded Semantics + (61-85)
- Wikidata: The Making Of + (615--624)
- Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints + (616-623)
- Extending Description Logics to Vague Knowledge in Medicine + (617-635)
- ExpExpExplosion: Uniform Interpolation in General EL Terminologies + (618-623)
- On the Complexity of Universality for Partially Ordered NFAs + (61:1--61:14)
- RFuzzy Framework + (62--76)
- The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics + (62-76)
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement + (62-77)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages + (621-626)
- Multilevel coordination control of modular DES + (6323-6328)
- Towards Parallel Repair: An Ontology Decomposition-based Approach + (633-645)
- Contextual Abductive Reasoning with Side-Effects + (633-648)
- EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning + (635-644)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (6372-6379)
- Contextual reasoning: Usually birds can abductively fly + (64--77)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs + (64--84)
- The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics + (64-78)
- On the Complexity of Graded Modal Logics with Converse. + (642--658)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (642–653)
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies + (645-654)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases + (645-705)
- Taschenbuch der Informatik + (648-699)
- Some advances in tools and algorithms for the construction and analysis of systems + (649--652)
- ELP: Tractable Rules for OWL 2 + (649-664)
- Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas + (65--79)
- Riss 4.27 + (65-67)
- Terminology-based patterns for natural language definitions in ontologies + (65-69)
- An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions + (65-72)
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals + (65-79)
- Integrating Reactive and Reflexive Reasoning by Generating Rational Models + (65-80)
- Coordination control of discrete-event systems revisited + (65-94)
- Configuration of Inter-Process Communication with Probabilistic Model Checking + (651--666)
- Synthesis of Reo circuits from scenario-based interaction specifications + (651--680)
- Runtime Characterisation of Triple Stores + (66-73)
