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

• Functional models and Data Complexity for FL0  + (Pavlos Marantidis)
• Extending Matching in Description Logics  + (Pavlos Marantidis)
• Solving Datalog(S) Problems with Lazy-Grounding ASP Solving  + (Philipp Hanisch)
• Using Datalog to Ground ASP Programs  + (Philipp Hanisch)
• Challenges of Using Leapfrog Triejoin for Datalog Programs  + (Philipp Hanisch)
• Indexing for Datalog Materialisation with Leapfrog Triejoin  + (Philipp Hanisch)
• Chase Termination Beyond Polynomial Time  + (Philipp Hanisch)
• Containment of Monadic Datalog  + (Pierre Bourhis)
• Provenance and Probabilities in Relational Databases  + (Pierre Senellart)
• Exploiting Treewidth for Counting in Abstract Argumentation  + (Piotr Gorczyca)
• News about Reasoning with Bit-Vectors  + (Prof. Armin Biere)
• Adaptive Language Interaction  + (Prof. Dr. Vera Demberg (Saarland University, Saarland Informatics Campus, Computer Science and Computational Linguistics))
• Temporal reasoning with DatalogMTL  + (Przemysław Wałęga)
• Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster  + (Quentin Maniere)
• Interface between Logical Analysis of Data and Formal Concept Analysis  + (Radek Janoštík)
• Verifying Temporal Properties of Biological Systems  + (Rafael Peñaloza Nyssen)
• Discrete Linear Dynamical Systems: The Introduction.  + (Rajab Aghamov)
• Relating Description Complexity to Entropy  + (Reijo Jaakkola)
• Solving Angry Birds with Reinforcement Learning  + (Richard Kwasnicki and Julius Gonsior)
• Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA  + (Ross D. King)
• Relbacoess  + (Rui Zhang)
• Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain  + (Sahar Vahdati)
• ASPARTIX-D Ready for the Competition  + (Sarah Alice Gaggl)
• Improved Answer-Set Programming Encodings for Abstract Argumentation  + (Sarah Alice Gaggl)
• Navigating ASP Solution Spaces (Canceled)  + (Sarah Alice Gaggl)
• On Computing Explanations in Argumentation  + (Satyadharma Tirtarasa)
• Projection in a Description Logic of Context with Actions  + (Satyadharma Tirtarasa)
• Computing Generalizations of Temporal EL Concepts with Next and Global  + (Satyadharma Tirtarasa)
• Quantum Computing and the Limits of the Efficiently Computable  + (Scott Aaronson)

• 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)
• Chile – A Trip Report  + (Sebastian Rudolph)
• Finite Model Theory of the Triguarded Fragment and Related Logics  + (Sebastian Rudolph)
• Membership Constraints in Formal Concept Analysis  + (Sebastian Rudolph)
• Past, Current and Future Trends in Description Logic  + (Sebastian Rudolph)
• Satisfiability in the Triguarded Fragment of First-Order Logic  + (Sebastian Rudolph)
• The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics  + (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)