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

• Satisfiability in the Triguarded Fragment of First-Order Logic  + (Sebastian Rudolph)
• Finite Model Theory of the Triguarded Fragment and Related Logics  + (Sebastian Rudolph)
• A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment  + (Sebastian Rudolph)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (Sebastian Rudolph)
• Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis)  + (Serge Stratan)
• Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata  + (Serge Stratan)
• PAC Completion of Description Logic TBoxes  + (Sergei Obiedkov)
• Learning Word Representation in Compositional Matrix-Space Models  + (Shima Asaadi)
• Report on research visit to NRC  + (Shima Asaadi)
• Automatic Extraction of Compositional Matrix-Space Models of Language  + (Shima Asaadi)
• Compositional Matrix-Space Models: Learning Methods and Evaluation  + (Shima Asaadi)
• Characterizing common argumentation semantics using branch evaluations for justification systems  + (Simon Birkenheuer)
• An importance value for temporal logics  + (Simon Jantsch)
• Multi-Cultural Commonsense Knowledge Base Construction  + (Simon Razniewski)
• 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)

• Abstract Domains for Database Manipulating Processes  + (Stephan Mennicke)
• Adventures in Computer Science -- Grades 1 & 2  + (Stephan Mennicke)
• Answering Queries with Negation over Existential Rules  + (Stephan Mennicke)
• Communication with Automata  + (Stephan Mennicke)
• Musings on Graph Data, Schemas, Modality, and Coinduction  + (Stephan Mennicke)
• Musings on the Semantics of SPARQL  + (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)