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

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