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

• Standpoint Logic: Multi-Perspective Knowledge Representation  + (13:00:00, 9 September 2021)
• Chase-Based Computation of Cores for Existential Rules  + (13:00:00, 16 September 2021)
• Exploiting Treewidth for Counting in Abstract Argumentation  + (13:00:00, 23 September 2021)
• An overview of Datalog boundedness  + (13:00:00, 7 October 2021)
• Neuer Mitarbeiter: Lukas Gerlach  + (October 13, 2021)
• Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja  + (October 18, 2021)
• Ongoing Research in the NAVAS Project  + (11:00:00, 21 October 2021)
• Indexing for Datalog Materialisation with Leapfrog Triejoin  + (11:00:00, 28 October 2021)
• ICCL-Forscher erhalten Best Paper Award auf internationaler Top-Konferenz für symbolische KI  + (November 3, 2021)
• Admissibility in Probabilistic Argumentation  + (11:00:00, 4 November 2021)
• Markus Krötzsch erhält Digital-Lehrpreis der Fachschaft Informatik  + (November 12, 2021)
• Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation  + (11:00:00, 18 November 2021)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (11:00:00, 25 November 2021)
• ICCL-Forscher punkten mit sechs Beiträgen auf der AAAI 2022  + (December 1, 2021)
• Capturing Homomorphism-Closed Decidable Queries with Existential Rules  + (11:00:00, 2 December 2021)
• ICCL von der TU Dresden als Leuchtturm ausgewählt  + (December 7, 2021)
• Reliance-Based Optimization of Existential Rule Reasoning  + (09:45:00, 9 December 2021)
• Neuer Mitarbeiter: Alex Ivliev  + (December 15, 2021)
• Answering Queries with Negation over Existential Rules  + (11:00:00, 6 January 2022)
• An Introduction to Proof Theory II: More on the Sequent Calculus  + (11:00:00, 13 January 2022)
• Happy World Logic Day 2022!  + (January 14, 2022)
• Tuple-Generating Dependencies Capture Complex Values  + (11:00:00, 20 January 2022)
• Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration  + (11:00:00, 27 January 2022)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics  + (11:00:00, 3 February 2022)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2  + (11:00:00, 10 February 2022)

• Agile Project Management - An overview on techniques and the agile mindset  + (11:00:00, 17 February 2022)

• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic  + (11:00:00, 31 March 2022)
• Neue Mitarbeiterin: Dr. Luisa Herrmann  + (April 6, 2022)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (11:00:00, 7 April 2022)
• Computing Generalizations of Temporal EL Concepts with Next and Global  + (11:00:00, 14 April 2022)
• Neue Version der adf_bdd-Bibliothek!  + (April 21, 2022)
• Expressivity of Planning with Horn Description Logic Ontologies  + (11:00:00, 28 April 2022)
• Offene Stelle am Lehrstuhl für Computational Logic  + (May 2, 2022)
• Causality meets Configurable Systems  + (11:00:00, 5 May 2022)
• ICCL-Forscher tragen zu Top-Konferenzen bei  + (May 6, 2022)
• Weighted Automata with Storage  + (11:00:00, 12 May 2022)
• TU Dresden errichtet School of AI mit dem ICCL  + (May 19, 2022)
• Communication with Automata  + (11:00:00, 19 May 2022)
• Offene Postdoc-Stelle am Lehrstuhl für Wissensbasierte Systeme  + (June 2, 2022)
• Blockmodelling Knowledge Graphs  + (11:00:00, 2 June 2022)
• 8. Internationale Sommerschule über KI und Big Data  + (June 12, 2022)
• Neue offene Stelle: Projektkoordinator/in  + (June 13, 2022)
• The World Avatar project – a universal digital twin  + (10:00:00, 15 June 2022)
• Satisfiability Testing -- Recent Developments and Open Problems  + (11:00:00, 16 June 2022)
• Statistics for Knowledge Graph Modelling  + (11:00:00, 23 June 2022)
• Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog  + (11:00:00, 30 June 2022)
• A Glimpse into Propositional Model Counting  + (11:00:00, 7 July 2022)
• SECAI startet mit Antrittstreffen in Dresden  + (July 12, 2022)
• KLM-Style Defeasible Reasoning  + (11:00:00, 21 July 2022)
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion  + (11:00:00, 28 July 2022)
• Zertifizierung medizinischer Software mit symbolischer KI grundlegend verbessern  + (August 2, 2022)