Suche mittels Attribut

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

• 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)
• Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings  + (978-3-642-39783-7)
• Concrete Results on Abstract Rules  + (978-3-642-40564-8)
• Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems  + (978-3-642-41523-4)

• A cross-lingual correcting and completive method for multilingual ontology labels  + (978-3-662-43584-7)

• On Upper and Lower Bounds on the Length of Alternating Towers  + (978-3-662-44521-1)
• A Neutral Temporal Deontic STIT Logic  + (978-3-662-60292-8)
• Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification  + (978-3-86644-113-2)
• Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen  + (978-3-935025-85-0)
• Towards a General Argumentation System based on Answer-Set Programming  + (978-3-939897-17-0)
• Temporal Logics with Local Constraints  + (978-3-939897-90-3)
• On the Complexity of Universality for Partially Ordered NFAs  + (978-3-95977-016-3)
• Piecewise Testable Languages and Nondeterministic Automata  + (978-3-95977-016-3)
• A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem  + (978-3-95977-039-2)
• Preserving Constraints with the Stable Chase  + (978-3-95977-063-7)
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents  + (978-3-95977-132-0)
• Tuple-Generating Dependencies Capture Complex Values  + (978-3-95977-223-5)
• Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying  + (978-3-95977-270-9)
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures  + (978-3-95977-310-2)
• Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014  + (978-80-8152-159-1)
• Benchmark libraries for argumentation  + (978-94-007-5583-3)
• Hashtag Processing for Enhanced Clustering of Tweets  + (978-954-452-049-6)
• A Lexico-Logical Approach to Ontology Engineering  + (9781420060621)
• Foundations of Semantic Web Technologies  + (9781420090505)
• Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control  + (9781467360883)
• 语义Web技术基础  + (9787302289692)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (9798400702433)
• Initial Computability Algebraic Specifications and Partial Algebras  + (ISBN-13: 978-0198538066)
• Principles of Model Checking  + (ISBN-13: 978-0262026499)
• Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)  + (ISBN-13: 978-0387515335)