| Publication | Date of Publication | Type |
|---|
| ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems | 2024-02-13 | Paper |
| Parallel Logic Programming: A Sequel | 2023-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5087786 | 2022-07-01 | Paper |
| 3coSoKu and its declarative modeling | 2022-03-09 | Paper |
| Modelling Multi-Agent Epistemic Planning in ASP | 2020-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631183 | 2019-04-24 | Paper |
| Extending Logic Programming with Labelled Variables: Model and Semantics | 2018-10-02 | Paper |
| Applying model-checking to solve queries on semistructured data | 2018-05-16 | Paper |
| Planning as tabled logic programming | 2017-11-09 | Paper |
| Decidability results for sets with atoms | 2017-07-12 | Paper |
| A uniform approach to constraint-solving for lists, multisets, compact lists, and sets | 2017-07-12 | Paper |
| Constrained Community-Based Gene Regulatory Network Inference | 2017-06-30 | Paper |
| A Theoretical Perspective of Coinductive Logic Programming | 2016-08-15 | Paper |
| A necessary condition for constructive negation in constraint logic programming | 2016-06-16 | Paper |
| Autonomous agents coordination: Action languages meet CLP() and Linda | 2013-06-26 | Paper |
| Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta. | 2013-05-24 | Paper |
| Rank-Based Symbolic Bisimulation | 2013-04-19 | Paper |
| BAAC: A Prolog System for Action Description and Agents Coordination | 2012-08-29 | Paper |
| Perspectives on Logic-Based Approaches for Reasoning about Actions and Change | 2011-05-19 | Paper |
| An Investigation of Multi-Agent Planning in CLP | 2011-03-28 | Paper |
| CLP-based protein fragment assembly | 2010-08-19 | Paper |
| Multivalued action languages with constraints in CLP(FD) | 2010-04-07 | Paper |
| GASP: Answer Set Programming with Lazy Grounding | 2010-02-05 | Paper |
| Representing Multi-agent Planning in CLP | 2009-11-10 | Paper |
| An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems | 2009-10-27 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Recent Advances in Constraints | 2009-05-05 | Paper |
| Multivalued Action Languages with Constraints in CLP(FD) | 2009-03-05 | Paper |
| A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem | 2008-05-27 | Paper |
| Agent-based protein structure prediction | 2007-11-05 | Paper |
| Set unification | 2007-02-13 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714250 | 2005-12-28 | Paper |
| Disunification in ACI1 theories | 2005-01-19 | Paper |
| An efficient algorithm for computing bisimulation equivalence | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474008 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787351 | 2003-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551136 | 2002-09-04 | Paper |
| Operational and abstract semantics of the query language G-Log | 2002-07-31 | Paper |
| Constructive negation and constraint logic programming with sets | 2001-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944864 | 2000-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518875 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506398 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940937 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939254 | 2000-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264105 | 1999-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259955 | 1999-09-08 | Paper |
| Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case | 1999-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385450 | 1998-04-13 | Paper |
| {log}: A language for programming in logic with finite sets | 1997-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281605 | 1994-03-10 | Paper |
