Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)