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

• 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)
• Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  + (11:00:00, 1 September 2022)
• Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg  + (11:30:00, 1 September 2022)
• Herzlich willkommen Philipp Hanisch  + (September 2, 2022)
• Finite Base Contraction and Expansion via Models - The ALC case  + (11:00:00, 8 September 2022)
• Honorable Mention bei LPNMR 2022  + (September 20, 2022)
• An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog  + (11:00:00, 22 September 2022)
• Neuer Mitarbeiter: Piotr Gorczyca  + (September 23, 2022)
• Faiq Miftakhul Falakh, Sebastian Rudolph und Kai Sauerwald haben den Best Student Paper Award der Konferenz „RuleML+RR 2022“ gewonnen.  + (October 4, 2022)
• Computability and Complexity of (Iterated) Belief Revision  + (14:00:00, 5 October 2022)
• Discovering Fine-Grained Semantics in Knowledge Graph Relations  + (11:00:00, 6 October 2022)
• How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic  + (11:00:00, 20 October 2022)
• Wikidata feiert 10-jähriges Jubiläum  + (October 24, 2022)
• Best Paper Award auf der ISWC 2022  + (October 27, 2022)
• Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying  + (11:00:00, 3 November 2022)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase  + (11:00:00, 10 November 2022)
• Normalisations of Existential Rules: Not so Innocuous!  + (11:00:00, 17 November 2022)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (11:00:00, 24 November 2022)
• Erfolg für ICCL und TU Dresden: CPEC für vier Jahre weiter gefördert  + (November 25, 2022)
• The Relevance of Formal Logics for Cognitive Logics, and Vice Versa  + (11:00:00, 14 December 2022)
• Nested Sequents for First-Order Modal Logics via Reachability Rules  + (11:00:00, 15 December 2022)
• Herzlich willkommen Rajab Aghamov  + (January 1, 2023)