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
- Exact Learning of Multivalued Dependencies + (978-3-319-24485-3)
- KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI + (978-3-319-24489-1)
- Efficient Large Outer Joins over MapReduce + (978-3-319-43658-6)
- Intertranslatability of Labeling-based Argumentation Semantics + (978-3-319-45856-4)
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies + (978-3-319-46522-7)
- Rule-Based OWL Modeling with ROWLTab Protégé Plugin + (978-3-319-58068-5)
- Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (978-3-319-65340-2)
- From Display to Labelled Proofs for Tense Logics + (978-3-319-72056-2)
- Deciding Universality of ptNFAs is PSpace-Complete + (978-3-319-73116-2)
- Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017 + (978-3-319-78101-3)
- The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events + (978-3-319-98191-8)
- Semantic Web - Grundlagen + (978-3-540-33993-9)
- Semantic MediaWiki + (978-3-540-49029-6)
- Intensional Question Answering using ILP: What does an answer mean? + (978-3-540-69857-9)
- Some Notes on Pseudo-closed Sets + (978-3-540-70828-5)
- Die zwei Kulturen + (978-3-540-72215-1)
- Semantic Wikipedia + (978-3-540-72215-1)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (978-3-540-73680-6)
- Supporting Lexical Ontology Learning by Relational Exploration + (978-3-540-73680-6)
- Using FCA for Encoding of Closure Operators into Neural Networks + (978-3-540-73680-6)
- Reasoning in Semantic Wikis + (978-3-540-74613-3)
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 + (978-3-540-76297)
- Acquiring Generalized Domain-Range Restrictions + (978-3-540-78136-3)
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement + (978-3-540-78136-3)
- Approximate OWL-Reasoning with Screech + (978-3-540-88736-2)
- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming + (978-3-540-89981-5)
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions + (978-3-642-00981-5)
- Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings + (978-3-642-01814-5)
- Tempus Fugit - Towards an Ontology Update Language + (978-3-642-02120-6)
- Conceptual Structures: Leveraging Semantic Technologies + (978-3-642-03078-9)
- Complexity in Union-Free Regular Languages + (978-3-642-14454-7)
- Semantic MediaWiki + (978-3-642-19797-0)
- Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets + (978-3-642-22151-4)
- State Complexity of Projected Languages + (978-3-642-22599-4)
- Foundations of Description Logics + (978-3-642-23031-8)
- Web Reasoning and Rule Systems - 5th International Conference (RR 2011) + (978-3-642-23579-5)
- ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web + (978-3-642-25073-6)
- Concurrent Classification of EL Ontologies + (978-3-642-25073-6)
- Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers + (978-3-642-29448-8)
- Extending Description Logic Rules + (978-3-642-30283-1)
- On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs + (978-3-642-31605-0)
- Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceeding + (978-3-642-33202-9)
- Recent Advances in Integrating OWL and Rules + (978-3-642-33202-9)
- On Properties and State Complexity of Deterministic State-Partition Automata + (978-3-642-33474-0)
- The Not-So-Easy Task of Computing Class Subsumptions in OWL RL + (978-3-642-35176-1)
- An Ontology Design Pattern for Cartographic Map Scaling + (978-3-642-38287-1)
- The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings + (978-3-642-38288-8)
- Efficient Separability of Regular Languages by Subsequences and Suffixes + (978-3-642-39211-5)
- On the State Complexity of the Reverse of R- and J-Trivial Regular Languages + (978-3-642-39309-9)
- Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings + (978-3-642-39520-8)
- Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas + (978-3-642-39665-6)