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

• Inaugural Lecture: Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT  + (Simon Razniewski)
• GPTKB: Comprehensively Materializing Factual LLM Knowledge  + (Simon Razniewski)
• Grounded Circumscription in Description Logics  + (Stathis Delivorias)
• Introducing Existential Rules and Module Extraction  + (Stathis Delivorias)
• Answering Temporal Conjunctive Queries over DL Ontologies  + (Stefan Borgwardt)
• Query Rewriting for DL-Lite with n-ary Concrete Domains  + (Stefan Borgwardt)
• Expressivity of Planning with Horn Description Logic Ontologies  + (Stefan Borgwardt)
• Multi-Context Stream Reasoning  + (Stefan Ellmauthaler)
• Agile Project Management - An overview on techniques and the agile mindset  + (Stefan Ellmauthaler)
• Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  + (Stefan Ellmauthaler)
• Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit  + (Steffen Breuer)
• Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces  + (Steffen Guhlemann)
• Context Reasoning for Role-Based Models  + (Stephan Böhme)
• Justifying All Differences Using Pseudo-Boolean Reasoning  + (Stephan Gocht)
• Musings on the Semantics of SPARQL  + (Stephan Mennicke)
• Answering Queries with Negation over Existential Rules  + (Stephan Mennicke)
• Communication with Automata  + (Stephan Mennicke)
• Adventures in Computer Science -- Grades 1 & 2  + (Stephan Mennicke)
• Abstract Domains for Database Manipulating Processes  + (Stephan Mennicke)
• Musings on Graph Data, Schemas, Modality, and Coinduction  + (Stephan Mennicke)
• Two-Dimensional Description Logics of Context  + (Szymon Klarman)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!  + (Theofilos Mailis)
• Classification of the finite polymorphism-homogeneous tournaments with loops  + (Thomas Feller)
• A gentle introduction to partition width  + (Thomas Feller)
• Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying  + (Thomas Feller)

• Advances in Abstract Argumentation - Expressiveness and Dynamics  + (Thomas Linsbichler)

• Generalized Consistent Query Answering under Existential Rules  + (Thomas Lukasiewicz)
• The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics  + (Tim Lyon)
• An Introduction to Proof Theory I: Sequent Calculus  + (Tim Lyon)
• An Introduction to Proof Theory II: More on the Sequent Calculus  + (Tim Lyon)
• Nested Sequents for First-Order Modal Logics via Reachability Rules  + (Tim Lyon)
• KLM-Style Defeasible Reasoning  + (Tommie Meyer)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (Tomáš Masopust)
• On the Complexity of Universality for Partially Ordered NFAs  + (Tomáš Masopust)
• Automata, Logic, Algebra... What do they have in common?  + (Tomáš Masopust)
• Decomposition of regular languages  + (Tomáš Masopust)
• Mining DL ontologies  + (Ulrike Sattler)
• Intertranslatability of Labeling-based Argumentation Semantics  + (Umer Mushtaq)
• Smoke Test Planning using Answer Set Programming  + (Valentin Roland)
• Temporal Query Answering in EL  + (Veronika Thost)
• Ontologies for Knowledge Graphs: Breaking the Rules  + (Veronika Thost)
• Investigating the finite-cliquewidth-model property of C².  + (Vincent Peth)
• Explaining neural network reasoning  + (Walter Forkel)
• On inconsistency-minimizing, paraconsistent reasoning in knowledge bases  + (Walter Forkel)
• Revisiting Circumscription  + (Walter Forkel)
• Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies  + (Walter Forkel)
• Query Stability in Data-aware Business Processes  + (Werner Nutt)
• Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing  + (Weronika T. Adrian)
• A Dichotomy for Evaluating Simple Regular Path Queries  + (Wim Martens)
• Lyndon words and density of runs  + (Štěpán Holub)