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
- The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies + (1)
- Description Logics + (1)
- Complexities of Horn Description Logics + (1)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (1)
- The two cultures: mashing up Web 2.0 and the Semantic Web + (1)
- Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog + (1)
- On restricted context-free grammars + (1)
- On the descriptional complexity of scattered context grammars + (1)
- Self-Regulating Finite Automata + (1)
- Descriptional complexity of semi-conditional grammars + (1)
- A Closer Look at the Semantic Relationship between Datalog and Description Logics + (1)
- Reasoning About Structured Objects: Knowledge Representation Meets Databases + (1)
- Die Beweisentwicklungsumgebung Omega-MKRP + (1)
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages + (1)
- PSPACE Reasoning for Graded Modal Logics + (1)
- DNA-Computing - ein funktionales Modell im laborpraktischen Experiment + (1)
- Automata-Theoretic Decision Procedures for Information Logics + (1)
- E-Connections of Abstract Description Systems + (1)
- Temporal Tableaux + (1)
- Quantitative Temporal Logics: PSpace and below + (1)
- Formal representation of complex SNOMED CT expressions + (1)
- Small is again Beautiful in Description Logics + (1)
- Axiom Pinpointing in General Tableaux + (1)
- The Complexity of Lattice-Based Fuzzy Description Logics + (1)
- On Language Equations with One-sided Concatenation + (1)
- Coordination control of discrete-event systems revisited + (1)
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence + (1)
- The Bayesian Ontology Language BEL + (1)
- Decidability and Complexity of Fuzzy Description Logics + (1)
- Complexity of Universality and Related Problems for Partially Ordered NFAs + (1)
- Where do business students turn for help? An empirical study on dictionary use in foreign-language learning + (1)
- Complexity of Infimal Observable Superlanguages + (1)
- Multi-Context Reasoning in Continuous Data-Flow Environments + (1)
- On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics + (1)
- Approximating Operators and Semantics for Abstract Dialectical Frameworks + (1)
- Summary Report of The First International Competition on Computational Models of Argumentation + (1)
- Weighted Regular Tree Grammars with Storage + (1)
- Compositional matrix-space models of language: Definitions, properties, and learning methods + (1)
- The Connection between an Event Structure Semantics and an Operational Semantics for TCSP + (1)
- Deciding Bisimilarity and Similarity for Probabilistic Processes + (1)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes + (1)
- Models and temporal logical specifications for timed component connectors + (1)
- Performability assessment by model checking of Markov reward models + (1)
- Probabilistic $ømega$-Automata + (1)
- Synthesis of Reo Connectors for Strategies and Controllers + (1)
- Locks: Picking key methods for a scalable quantitative analysis + (1)
- ProFeat: feature-oriented engineering for family-based probabilistic model checking + (1)
- Foundations of probability-raising causality in Markov decision processes + (1)
