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
- 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)
- A Closer Look at the Semantic Relationship between Datalog and Description Logics + (63-79)
- 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)
- 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)
- Description Logics and the Two-Variable Fragment + (66-75)
- Domain equations for probabilistic processes + (665--717)
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs + (666-671)
- Keys, Nominals, and Concrete Domains + (667-726)
- How to Prefer More Specific Defaults in Terminological Default Logic + (669-674)
- NExpTime-complete Description Logics with Concrete Domains + (669-705)
- The Bayesian Ontology Language BEL + (67--95)
- Incremental Fuzzy Decision Trees + (67-81)
- A Terminological Knowledge Representation System with Complete Inference Algorithms + (67-85)
- Disjunction in Resource-Oriented Deductive Planning + (670)
- LATPub527 + (670-688)
- Ontology-Based Monitoring of Dynamic Systems + (678-681)
- Piecewise Testable Languages and Nondeterministic Automata + (67:1--67:14)
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + (68-104)
- Riss 4.27 BlackBox + (68-69)
- Descriptional complexity of multi-parallel grammars + (68-70)
- Towards a Massively Parallel Computational Model for Logic Programming. + (68-77)
- Line Drawing, Leap Years, and Euclid + (68-80)
