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
- On Topological Hierarchies of Temporal Properties + (41)
- On the descriptional complexity of scattered context grammars + (410)
- Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+ + (410)
- Left-forbidding cooperating distributed grammar systems + (411)
- Partial Order Reduction for Markov Decision Processes: A Survey + (4111)
- Partial Order Reduction for Markov Decision Processes: A Survey + (4111)
- CEL—A Polynomial-time Reasoner for Life Science Ontologies + (4130)
- Reasoning about Actions using Description Logics with general TBoxes + (4160)
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness + (4229)
- On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems + (4246)
- Semantic MediaWiki + (4273)
- On context-free rewriting with a simple restriction and its computational completeness + (43)
- Using OWL DL Reasoning to decide about authorization in RBAC + (432)
- Languages, Decidability, and Complexity + (433)
- Supervisory Control with Complete Observations + (433)
- Supervisory Control of Distributed Discrete-Event Systems + (433)
- Coordination Control of Distributed Discrete-Event Systems + (433)
- On reduction criteria for probabilistic reward models + (4337)
- Some Notes on Pseudo-closed Sets + (4390)
- On the Decidability Status of Fuzzy ALC with General Concept Inclusions + (44)
- Deduktives Planen + (44)
- PDL with Intersection and Converse is 2EXP-complete + (4423)
- On a structural property in the state complexity of projected regular languages + (449)
- Automata-based Axiom Pinpointing + (45)
- Efficient OWL Reasoning with Logic Programs - Evaluations + (4524)
- Axiom Pinpointing in General Tableaux + (4548)
- Coordination Control of Distributed Discrete-Event Systems + (456)
- Supervisory Control of Discrete-Event Systems + (456)
- Conservative Extensions in the Lightweight Description Logic EL + (4603)
- Using FCA for Encoding of Closure Operators into Neural Networks + (4604)
- Supporting Lexical Ontology Learning by Relational Exploration + (4604)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (4604)
- Reasoning in Semantic Wikis + (4636)
- Pinpointing in the Description Logic EL + (4667)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (47)
- Projection and Scope-Determined Circumscription + (47)
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q + (477)
- A Matter of Principles: Towards the Largest DLP Possible + (477)
- OntoComP System Description + (477)
- Reasoning With Weighted Ontologies + (477)
- Axiom Pinpointing is Hard + (477)
- Reintroducing CEL as an OWL 2 EL Reasoner + (477)
- On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata + (4783)
- Data Complexity in the EL family of Description Logics + (4790)
- Supervisory control synthesis of discrete-event systems using a coordination scheme + (48)
- A note on controllability of deterministic context-free systems + (48)
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 + (4825)
- Supplementary Proceedings of ICCS'09 + (483)
- Probabilistic and Topological Semantics for Timed Automata + (4855)
- Rewrite Systems for Varieties of Semigroups + (488)
