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

• Parallel Variable Elimination on CNF Formulas  + (Pragmatics of SAT(POS'13))
• Reasoning with Axioms: Theory and Practice  + (Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000))
• Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2  + (Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10))
• Status QIO: Conjunctive Query Entailment is Decidable  + (Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10))
• Exact Learning of Lightweight Description Logic Ontologies  + (Principles of Knowledge Representation and Reasoning)
• On the Foundations of Cycles in Bayesian Networks  + (Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday)
• Model Checking Markov Chains as Distribution Transformers  + (Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II)
• ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web  + (Proc. 10th International Semantic Web Conference (ISWC'11))
• Concurrent Classification of EL Ontologies  + (Proc. 10th International Semantic Web Conference (ISWC'11))
• The Not-So-Easy Task of Computing Class Subsumptions in OWL RL  + (Proc. 11th International Semantic Web Conference (ISWC'11))
• On the Succinctness of Closure Operator Representations  + (Proc. 12th International Conference on Formal Concept Analysis (ICFCA 2014))
• Concrete Results on Abstract Rules  + (Proc. 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13))
• Acyclicity Conditions and their Application to Query Answering in Description Logics  + (Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12))
• Practical Reasoning with Nominals in the EL Family of Description Logics  + (Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12))
• Schema-Agnostic Query Rewriting in SPARQL 1.1  + (Proc. 13th International Semantic Web Conference (ISWC'14))
• Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies  + (Proc. 14th IEEE International Conference on BioInformatics and BioEngineering (BIBE'14))
• Efficiently Handling Skew in Outer Joins on Distributed Systems  + (Proc. 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'14))
• Nominal Schemas in Description Logics: Complexities Clarified  + (Proc. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14))
• QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory  + (Proc. 15th IEEE International Conference on High Performance Computing and Communications (HPCC'13))
• Runtime Characterisation of Triple Stores  + (Proc. 15th IEEE International Conference on Computational Science and Engineering (CSE'12))
• Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics  + (Proc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16))
• Efficient Parallel Dictionary Encoding for RDF Data  + (Proc. 17th International Workshop on the Web and Databases (WebDB'14))
• Capturing Homomorphism-Closed Decidable Queries with Existential Rules  + (Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21))
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (Proc. 19th International Conference on Developments in Language Theory (DLT'15))
• Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT  + (Proc. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI2013), Special Track on SAT and CSP, November 4-6, Washington DC, USA, 2013)

• A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies  + (Proc. 20th International Conference on World Wide Web (WWW'11))

• Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures  + (Proc. 20th International European Conference on Parallel Processing (Euro-Par'14))
• Design and Evaluation of Parallel Hashing over Large-scale Data  + (Proc. 21st IEEE International Conference on High Performance Computing (HiPC'14))
• Efficient Dependency Analysis for Rule-Based Ontologies  + (Proc. 21st International Semantic Web Conference (ISWC 2022))
• Efficient Large Outer Joins over MapReduce  + (Proc. 22nd International European Conference on Parallel Processing (Euro-Par'16))
• Efficient Rule-Based Inferencing for OWL EL  + (Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI'11))
• Robust and Skew-resistant Parallel Joins in Shared-nothing Systems  + (Proc. 23rd ACM International Conference on Information and Knowledge Management (CIKM'14))
• Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems  + (Proc. 23rd IEEE International Conference on High Performance Computing (HiPC'16))
• Computing Stable Models for Nonmonotonic Existential Rules  + (Proc. 23rd International Joint Conference on Artificial Intelligence (IJCAI'13))
• Reasonable Highly Expressive Query Languages  + (Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15))
• Characterization of the Expressivity of Existential Rule Queries  + (Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15))
• Membership Constraints in Formal Concept Analysis  + (Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15))
• Unchain My EL Reasoner  + (Proc. 24th International Workshop on Description Logics (DL'11))
• Nominal Schemas for Integrating Rules and Description Logics  + (Proc. 24th International Workshop on Description Logics (DL'11))
• Fixed Parameter Tractable Reasoning in DLs via Decomposition  + (Proc. 24th International Workshop on Description Logics (DL'11))
• A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory  + (Proc. 25th ACM International Conference on Hypertext and Social Media (HT'14))
• Massively Parallel Reasoning under the Well-Founded Semantics using X10  + (Proc. 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14))
• Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling  + (Proc. 26th International Workshop on Description Logics (DL'13))
• How to Best Nest Regular Path Queries  + (Proc. 27th International Workshop on Description Logics (DL'14))
• Complexities of Nominal Schemas  + (Proc. 27th International Workshop on Description Logics (DL'14))
• High Throughput Indexing for Large-scale Semantic Web Data  + (Proc. 30th ACM/SIGAPP Symposium On Applied Computing (SAC'15))
• Flag & Check: Data Access with Monadically Defined Queries  + (Proc. 32nd Symposium on Principles of Database Systems (PODS'13))
• Expressiveness of guarded existential rule languages  + (Proc. 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'14))
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others  + (Proc. 8th International Conference on Web Reasoning and Rule Systems (RR'14))
• Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles  + (Proc. BMVC'08)
• A Framework For Evaluating Visual SLAM  + (Proc. BMVC'09)