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
- 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)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (488)
- Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems + (488)
- Stochastic Game Logic + (49)
- Acquiring Generalized Domain-Range Restrictions + (4933)
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement + (4933)
- On the Complexity of Computing Generators of Closed Sets + (4933)
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model + (4933)
- On Decision Problems for Probabilistic Büchi Automata + (4962)
- A Multi-Dimensional Terminological Knowledge Representation Language + (5)
- A rule-based ontological framework for the classification of molecules + (5)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (5)
- Computing the Least Common Subsumer w.r.t. a Background Terminology + (5)
- From Verification to Synthesis under Cost-Utility Constraints + (5)
- Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language + (5)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (5)
- NExpTime-complete Description Logics with Concrete Domains + (5)
- Semantic Wikipedia + (5)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies + (5021)
- Intensional Question Answering using ILP: What does an answer mean? + (5039)
- Alternating-Time Stream Logic for Multi-agent Systems + (5052)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases + (51)
- Generating compact MTBDD-representations from Probmela specifications + (5156)
- Refining Ontologies by Pattern-Based Completion + (516)
- Automata-Based Axiom Pinpointing + (5195)
- A "Converse" of the Banach Contraction Mapping Theorem + (52)
- A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations + (52)
- Compositional Construction of Most General Controllers + (52)
- The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP + (529)
- Cheap Boolean Role Constructors for Description Logics + (5293)
- Logics in Artificial Intelligence + (5293)
- The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies + (53)
- Implementation and evaluation of a tableau algorithm for the Guarded Fragment + (53)
- Automata-Theoretic Decision Procedures for Information Logics + (53)
- Unfolding the Well-founded Semantics + (53)
- Performance evaluation and model checking join forces + (53)
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog + (5318)
- ELP: Tractable Rules for OWL 2 + (5318)
- The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees + (534)
