| Publication | Date of Publication | Type |
|---|
| Composition of stochastic services for LTL\(_f\) goal specifications | 2024-10-30 | Paper |
| Regular decision processes | 2024-07-03 | Paper |
| Finite-trace and generalized-reactivity specifications in temporal synthesis | 2024-03-11 | Paper |
| Mimicking behaviors in separated domains | 2023-10-23 | Paper |
| Situation calculus for controller synthesis in manufacturing systems with first-order state representation | 2021-12-13 | Paper |
| Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting | 2021-05-25 | Paper |
| Non-terminating processes in the situation calculus | 2020-06-11 | Paper |
| The what-to-ask problem for ontology-based peers | 2020-06-04 | Paper |
| Tableaux and algorithms for Propositional Dynamic Logic with Converse | 2019-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576186 | 2018-07-12 | Paper |
| First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282994 | 2017-07-18 | Paper |
| Conjunctive query containment and answering under description logic constraints | 2017-07-12 | Paper |
| Incremental execution of guarded theories | 2017-06-13 | Paper |
| Progression and verification of situation calculus agents with bounded beliefs | 2016-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740438 | 2016-07-26 | Paper |
| Bounded situation calculus action theories | 2016-05-20 | Paper |
| Agent planning programs | 2015-12-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457205 | 2015-12-11 | Paper |
| On simplification of schema mappings | 2014-01-20 | Paper |
| Data complexity of query answering in description logics | 2013-08-26 | Paper |
| Automatic behavior composition synthesis | 2013-08-23 | Paper |
| Description Logic Knowledge and Action Bases | 2013-05-02 | Paper |
| View-based query answering in description logics: semantics and complexity | 2012-05-11 | Paper |
| Ontologies and Databases: The DL-Lite Approach | 2009-10-28 | Paper |
| On Instance-level Update and Erasure in Description Logic Ontologies | 2009-10-14 | Paper |
| Conceptual Modeling for Data Integration | 2009-07-09 | Paper |
| Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies | 2009-01-22 | Paper |
| AUTOMATIC SERVICE COMPOSITION VIA SIMULATION | 2008-09-25 | Paper |
| Linking Data to Ontologies | 2008-03-06 | Paper |
| Tractable reasoning and efficient query answering in description logics: The DL-Lite family | 2007-12-03 | Paper |
| Reasoning on UML class diagrams | 2007-10-23 | Paper |
| View-based query processing: on the relationship between rewriting, answering and losslessness | 2007-03-12 | Paper |
| Database Programming Languages | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714249 | 2005-12-28 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| Decidable containment of recursive queries | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045452 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046903 | 2004-08-12 | Paper |
| On the semantics of deliberation in IndiGolog -- from theory to implementation | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473479 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414545 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707758 | 2003-06-11 | Paper |
| Combining deduction and model checking into tableaux and algorithms for converse-PDL. | 2003-01-14 | Paper |
| Rewriting of regular expressions and regular path queries | 2002-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537448 | 2002-06-30 | Paper |
| Two approaches to efficient open-world reasoning | 2002-02-19 | Paper |
| A theory and implementation of cognitive mobile robots | 2002-02-13 | Paper |
| Reasoning in expressive description logics | 2001-10-21 | Paper |
| ConGolog, a concurrent programming language based on the situation calculus | 2000-10-26 | Paper |
| Representing and reasoning on XML documents: a description logic approach | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934644 | 2000-01-17 | Paper |
| Eliminating ``converse from converse PDL | 1999-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386962 | 1998-05-13 | Paper |
