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