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

• Weight Monitoring with Linear Temporal Logic: Complexity and Decidability  + (10.1145/2603088.2603162)
• Wikidata: a free collaborative knowledgebase  + (10.1145/2629489)
• A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory  + (10.1145/2631775.2631789)
• Robust and Skew-resistant Parallel Joins in Shared-nothing Systems  + (10.1145/2661829.2661888)
• High Throughput Indexing for Large-scale Semantic Web Data  + (10.1145/2695664.2695920)
• Towards Automated Configuration of Systems with Non-Functional Constraints  + (10.1145/3102980.3102999)
• Bisimulations, logics, and trace distributions for stochastic systems with rewards  + (10.1145/3178126.3178139)
• Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable  + (10.1145/3209108.3209120)
• Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes  + (10.1145/3209108.3209184)
• From Verification to Synthesis under Cost-Utility Constraints  + (10.1145/3292048.3292052)
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms  + (10.1145/3310225)
• Modal Logics with Composition on Finite Forests: Expressivity and Complexity  + (10.1145/3373718.3394787)
• From Features to Roles  + (10.1145/3382025.3414962)
• Display to Labeled Proofs and Back Again for Tense Logics  + (10.1145/3460492)
• A Journey to the Frontiers of Query Rewritability  + (10.1145/3517804.3524163)
• Determinacy of Real Conjunctive Queries. The Boolean Case  + (10.1145/3517804.3524168)
• Deciding Hyperproperties Combined with Functional Specifications  + (10.1145/3531130.3533369)
• Wikidata: The Making Of  + (10.1145/3543873.3585579)
• On Composing Finite Forests with Modal Logics  + (10.1145/3569954)
• On Monotonic Determinacy and Rewritability for Recursive Queries and Views  + (10.1145/3572836)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (10.1145/3584372.3588659)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (10.1145/3605098.3635984)
• Linear dynamical systems with continuous weight functions  + (10.1145/3641513.3650173)
• Configuring BDD Compilation Techniques for Feature Models  + (10.1145/3646548.3676538)
• Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability  + (10.1145/3699839.3699840)

• A rule-based ontological framework for the classification of molecules  + (10.1186/2041-1480-5-17)

• Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor  + (10.1215/00294527-3555507)
• Decision making improves sperm chemotaxis in the presence of noise  + (10.1371/journal.pcbi.1006109)
• Responsibility Attribution in Parameterized Markovian Models  + (10.1609/AAAI.V35I13.17395)
• Finite Entailment of Local Queries in the Z family of Description Logics  + (10.1609/aaai.v36i5.20487)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (10.1609/aaai.v36i5.20488)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (10.1609/aaai.v37i5.25784)
• Backward Responsibility in Transition Systems Using General Power Indices  + (10.1609/aaai.v38i18.30013)
• Report on the Sixth Conference on Artificial General Intelligence  + (10.1609/aimag.v34i4.2509)
• Summary Report of The First International Competition on Computational Models of Argumentation  + (10.1609/aimag.v37i1.2640)
• On the Decomposition of ADFs and the Complexity of Naive-based Semantics  + (10.1613/jair.1.11348)
• Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!  + (10.1613/jair.3029)
• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies  + (10.1613/jair.3949)
• The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases  + (10.1613/jair.4457)
• Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks  + (10.1613/jair.4879)
• Stochastic Timed Automata  + (10.2168/LMCS-10(4:6)2014)
• Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification  + (10.2168/LMCS-12(4:1)2016)
• Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog  + (10.2168/LMCS-8(1:12)2012)
• Partially Ordered Automata and Piecewise Testability  + (10.23638/LMCS-17(2:14)2021)
• Logic on MARS: Ontologies for generalised property graphs  + (10.24963/ijcai.2017/165)
• Attributed Description Logics: Reasoning on Knowledge Graphs  + (10.24963/ijcai.2018/743)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (10.24963/ijcai.2019/212)
• A Framework for Reasoning about Dynamic Axioms in Description Logics  + (10.24963/ijcai.2020/233)
• All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs  + (10.24963/ijcai.2020/238)
• Simulating Sets in Answer Set Programming  + (10.24963/ijcai.2022/365)
• Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL  + (10.24963/ijcai.2023/363)