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

• A Probability Theoretic Analysis of Score Systems  + (Fronhoefer:01:01.pdf)
• Adding Context to Tableaux for DLs  + (FuPe-DL12.pdf)
• A Framework For Evaluating Visual SLAM  + (Funke:08:BMVC.pdf)
• On Metric Temporal Description Logics  + (GJO16.pdf)
• Design and results of the second international competition on computational models of argumentation  + (GLMW19.pdf)
• Summary Report of the Second International Competition on Computational Models of Argumentation  + (GLMW2018.pdf)
• Design and Results of the Second International Competition on Computational Models of Argumentation  + (GLMW2019.pdf)
• Status QIO: Conjunctive Query Entailment is Decidable  + (GR-KR2010-CQ4OIQ.pdf)
• Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract  + (GRS AMW2017.pdf)
• Expressiveness of guarded existential rule languages  + (GRS2014.pdf)
• Integrated Metamodeling and Diagnosis in OWL 2  + (GRV2010-ISWC.pdf)
• Improved Answer-Set Programming Encodings for Abstract Argumentation  + (GaggMRWW2015.pdf)
• Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)  + (Gaggl ThimmSSA2016.pdf)
• Simulating Sets in Answer Set Programming  + (Gaggl-Hanisch-Kroetzsch ASP-with-sets IJCAI2022.pdf)
• Introducing the Second International Competition on Computational Models of Argumentation  + (GagglLMW2016.pdf)
• Intertranslatability of Labeling-based Argumentation Semantics  + (GagglM2016.pdf)
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks  + (GagglRS2015IJCAI.pdf)
• Fixed-Domain Reasoning for Description Logics  + (GagglRS2016a.pdf)
• On the Decomposition of ADFs and the Complexity of Naive-based Semantics  + (GagglRS2021-JAIR.pdf)
• What Is a Reasonable Argumentation Semantics?  + (GagglRT15.pdf)
• Algorithmic Game Theory  + (Game Theory Exercises 6.pdf)
• Algorithmic Game Theory  + (Game Theory Exercises3b.pdf)
• Algorithmic Game Theory  + (Game Theory Exercises4.pdf)
• Backdoors for SAT  + (Gario thesis.pdf)
• Problem Solving and Search in Artificial Intelligence  + (Gekaobsc15a.pdf)

• Conservative Extensions in Modal Logics  + (GhiLuWoZa-AiML06.pdf)

• Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics  + (GhilardiLutzWolter-KR06.pdf)
• Answering conjunctive queries in the SHIQ description logic  + (GliHoLuSa-IJCAI-07.pdf)
• Answering conjunctive queries in the SHIQ description logic  + (GliHoLuSa-JAIR08.pdf)
• OWL: Yet to arrive on the Web of Data?  + (Glimm-et-al-OWL-Web-of-Data-2012.pdf)
• SPARQL Beyond Subgraph Matching  + (GlimmKroetzsch SPARQL-entailment ISWC 2010.pdf)
• goDIAMOND 0.6.6 - ICCMA 2017 System Description  + (GoDIAMOND.pdf)
• OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context  + (GoMeT-OWLED-13.pdf)
• Towards Predictive Self-optimization by Situation Recognition  + (GoScWiMeAs13.pdf)
• PDL with Intersection and Converse is 2EXP-complete  + (GoeLohLut-FOSSACS-07.pdf)
• Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation  + (Gorczyca MScThesis Signed.pdf)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Grosser-beleg-lukas-gerlach.pdf)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Grosser-beleg-lukas-gerlach.pdf)
• A robot control system integrating reactive control, reasoning, and execution monitoring  + (Grossmann:03:wv02.pdf)
• Polynomial Reduction from PESP to SAT  + (Grossmann:11:TU-Dresden.pdf)
• Non-commutativity and MELL in the Calculus of Structures  + (Guglielmi:01:wv04.pdf)
• A System of Interaction and Structure  + (Guglielmi:02:wv10.pdf)
• HUGS - A Lightweight Graph Partitioning Approach  + (Gvdb-2016.pdf)
• Reasoning about Actions Meets Strategic Logics  + (HLW-LORI-13.pdf)
• Discovering Implicational Knowledge in Wikidata  + (HMS19-discovering-wikidata-tr.pdf)
• Discovering Implicational Knowledge in Wikidata  + (HMS19-discovering-wikidata.pdf)
• Foundations of Implementations for Formal Argumentation  + (HOFA 2017.pdf)
• Foundations of Implementations for Formal Argumentation  + (HOFA 2017.pdf)
• The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming  + (HS1010046763_2012_NMR12-14.pdf)
• A Benchmark Framework for a Computational Argumentation Competition  + (HS1013794121_2014_COMMA14-7.pdf)
• RFuzzy Framework  + (HS1076922052_2008_WLPE08.pdf)