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

• Towards Mass Spectrum Analysis with ASP  + (978-3-031-74208-8)
• Towards Propositional KLM-Style Defeasible Standpoint Logics  + (978-3-031-78254-1)
• Non-monotonic Extensions to Formal Concept Analysis via Object Preferences  + (978-3-031-78254-1)
• A Geo-ontology Design Pattern for Semantic Trajectories  + (978-3-319-01789-1)
• Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers  + (978-3-319-04533-7)
• On the Succinctness of Closure Operator Representations  + (978-3-319-07247-0)
• EL-ifying Ontologies  + (978-3-319-08586-9)
• Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures  + (978-3-319-09873-9)
• Coordination Control of Distributed Discrete-Event Systems  + (978-3-319-10406-5)
• Supervisory Control of Discrete-Event Systems  + (978-3-319-10406-5)
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others  + (978-3-319-11113-1)
• Pushing the Boundaries of Tractable Ontology Reasoning.  + (978-3-319-11914-4)
• Schema-Agnostic Query Rewriting in SPARQL 1.1  + (978-3-319-11964-9)
• Introducing Wikidata to the Linked Data Web  + (978-3-319-11964-9)
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks  + (978-3-319-14725-3)
• What Is a Reasonable Argumentation Semantics?  + (978-3-319-14725-3)
• Asynchronous Multi-Context Systems  + (978-3-319-14726-0)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (978-3-319-21499-3)
• 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)