| Publication | Date of Publication | Type |
|---|
Towards ILP-based \(\mathrm{LTL_f}\) passive learning
Journal of Logic and Computation | 2026-03-05 | Paper |
| Stochastic best-effort strategies for Borel goals | 2026-02-27 | Paper |
| Engineering an \(\mathsf{LTL_f}\) synthesis tool | 2026-02-10 | Paper |
Planning for temporally extended goals in pure-past linear temporal logic
Artificial Intelligence | 2025-10-14 | Paper |
Abstracting situation calculus action theories
Artificial Intelligence | 2025-10-14 | Paper |
\( \textsc{ltl}_f\) synthesis under environment specifications for reachability and safety properties
Information and Computation | 2025-02-28 | Paper |
| Composition of stochastic services for LTL\(_f\) goal specifications | 2024-10-30 | Paper |
Regular decision processes
Artificial Intelligence | 2024-07-03 | Paper |
Finite-trace and generalized-reactivity specifications in temporal synthesis
Formal Methods in System Design | 2024-03-11 | Paper |
Mimicking behaviors in separated domains
The Journal of Artificial Intelligence Research (JAIR) | 2023-10-23 | Paper |
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
Artificial Intelligence | 2021-12-13 | Paper |
Instance-level update in DL-Lite ontologies through first-order rewriting
Journal of Artificial Intelligence Research | 2021-05-25 | Paper |
Non-terminating processes in the situation calculus
Annals of Mathematics and Artificial Intelligence | 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
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
| Situation calculus game structures and GDL | 2018-07-12 | Paper |
First-order -calculus over generic transition systems and applications to the situation calculus
Information and Computation | 2018-03-21 | Paper |
| LTL verification of online executions with sensing in bounded situation calculus | 2017-07-18 | Paper |
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Incremental execution of guarded theories
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Progression and verification of situation calculus agents with bounded beliefs
Studia Logica | 2016-09-07 | Paper |
| scientific article; zbMATH DE number 6606368 (Why is no real title available?) | 2016-07-26 | Paper |
Bounded situation calculus action theories
Artificial Intelligence | 2016-05-20 | Paper |
Agent planning programs
Artificial Intelligence | 2015-12-28 | Paper |
| Verification of description logic knowledge and action bases | 2015-12-11 | Paper |
Verification of description logic knowledge and action bases
(available as arXiv preprint) | 2015-12-11 | Paper |
On simplification of schema mappings
Journal of Computer and System Sciences | 2014-01-20 | Paper |
Data complexity of query answering in description logics
Artificial Intelligence | 2013-08-26 | Paper |
Automatic behavior composition synthesis
Artificial Intelligence | 2013-08-23 | Paper |
Description logic knowledge and action bases
Journal of Artificial Intelligence Research | 2013-05-02 | Paper |
View-based query answering in description logics: semantics and complexity
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Ontologies and Databases: The DL-Lite Approach
Lecture Notes in Computer Science | 2009-10-28 | Paper |
On Instance-level Update and Erasure in Description Logic Ontologies
Journal Of Logic And Computation | 2009-10-14 | Paper |
Conceptual Modeling for Data Integration
Conceptual Modeling: Foundations and Applications | 2009-07-09 | Paper |
Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
International Journal of Foundations of Computer Science | 2008-09-25 | Paper |
Linking Data to Ontologies
Journal on Data Semantics X | 2008-03-06 | Paper |
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
Journal of Automated Reasoning | 2007-12-03 | Paper |
Reasoning on UML class diagrams
Artificial Intelligence | 2007-10-23 | Paper |
View-based query processing: on the relationship between rewriting, answering and losslessness
Theoretical Computer Science | 2007-03-12 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2241908 (Why is no real title available?) | 2005-12-28 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Decidable containment of recursive queries
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2088752 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2089475 (Why is no real title available?) | 2004-08-12 | Paper |
On the semantics of deliberation in IndiGolog -- from theory to implementation
Annals of Mathematics and Artificial Intelligence | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2080614 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1953141 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1926631 (Why is no real title available?) | 2003-06-11 | Paper |
Combining deduction and model checking into tableaux and algorithms for converse-PDL.
Information and Computation | 2003-01-14 | Paper |
Rewriting of regular expressions and regular path queries
Journal of Computer and System Sciences | 2002-09-12 | Paper |
| scientific article; zbMATH DE number 1761427 (Why is no real title available?) | 2002-06-30 | Paper |
| Two approaches to efficient open-world reasoning | 2002-02-19 | Paper |
A theory and implementation of cognitive mobile robots
Journal Of Logic And Computation | 2002-02-13 | Paper |
| Reasoning in expressive description logics | 2001-10-21 | Paper |
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence | 2000-10-26 | Paper |
Representing and reasoning on XML documents: a description logic approach
Journal Of Logic And Computation | 2000-06-21 | Paper |
| scientific article; zbMATH DE number 1390352 (Why is no real title available?) | 2000-01-17 | Paper |
Eliminating ``converse'' from converse PDL
Journal of Logic, Language and Information | 1999-05-05 | Paper |
| scientific article; zbMATH DE number 1149440 (Why is no real title available?) | 1998-05-13 | Paper |
