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

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