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

• A Computational Logic Approach to the Belief Bias Effect  + (AAAI Press)
• Membership Constraints in Formal Concept Analysis  + (AAAI Press)
• Decidable Verification of Golog Programs over Non-Local Effect Actions  + (AAAI Press)
• Column-Oriented Datalog Materialization for Large Knowledge Graphs  + (AAAI Press)
• Open-World Probabilistic Databases  + (AAAI Press)
• Preferential Query Answering in the Semantic Web with Possibilistic Networks  + (AAAI Press)
• Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics  + (AAAI Press)
• A Model for Learning Description Logic Ontologies Based on Exact Learning  + (AAAI Press)
• Exact Learning of Lightweight Description Logic Ontologies  + (AAAI Press)
• The Combined Approach to Query Answering Beyond the OWL 2 Profiles  + (AAAI Press)
• Expressivity of Datalog Variants - Completing the Picture  + (AAAI Press)
• Ontology-Mediated Queries for Probabilistic Databases  + (AAAI Press)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (AAAI Press)
• An Extension-Based Approach to Belief Revision in Abstract Argumentation  + (AAAI Press)
• Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks  + (AAAI Press)
• State Defaults and Ramifications in the Unifying Action Calculus  + (AAAI Press)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (AAAI Press)
• The Relative Expressiveness of Abstract Argumentation and Logic Programming  + (AAAI Press)
• Boolean Functions with Ordered Domains in Answer Set Programming  + (AAAI Press)
• An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms  + (AAAI Press)
• Weighted Abstract Dialectical Frameworks  + (AAAI Press)
• Finite Entailment of Local Queries in the Z family of Description Logics  + (AAAI Press)
• Expressivity of Planning with Horn Description Logic Ontologies  + (AAAI Press)
• Answering Queries with Negation over Existential Rules  + (AAAI Press)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (AAAI Press)
• Backward Responsibility in Transition Systems Using General Power Indices  + (AAAI Press)

• A Logic-Based Approach to Dynamic Programming  + (AAAI Press, Menlo Park, California)
• What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts  + (AAAI Press, Menlo Park, California)

• Knowledge Representation in Process Engineering  + (AAAI Press/The MIT Press)
• EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning  + (ACM)
• Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2012)  + (ACM)
• Flag & Check: Data Access with Monadically Defined Queries  + (ACM)
• Wikidata: a free collaborative knowledgebase  + (ACM)
• Complexities of Horn Description Logics  + (ACM)
• A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies  + (ACM)
• A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory  + (ACM)
• Robust and Skew-resistant Parallel Joins in Shared-nothing Systems  + (ACM)
• Expressiveness of guarded existential rule languages  + (ACM)
• Description Logic reasoning for Semantic Web Ontologies – Extended abstract  + (ACM)
• Query Matching for Report Recommendation  + (ACM)
• Concept Adjustment for Description Logics  + (ACM)
• Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data  + (ACM)
• High Throughput Indexing for Large-scale Semantic Web Data  + (ACM)
• A Logical Geo-Ontology Design Pattern for Quantifying over Types  + (ACM)
• A Journey to the Frontiers of Query Rewritability  + (ACM)
• Modal Logics with Composition on Finite Forests: Expressivity and Complexity  + (ACM)
• Deciding Hyperproperties Combined with Functional Specifications  + (ACM)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (ACM)
• Wikidata: The Making Of  + (ACM)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (ACM)
• Decidability of Quasi-Dense Modal Logics  + (ACM)
• Automatic Verification of Liveness Properties of Randomized Systems  + (ACM)