| Publication | Date of Publication | Type |
|---|
| Sustainable goal-oriented smart environments: a declarative programming approach | 2023-06-15 | Paper |
| An abductive framework for extended logic programming | 2022-08-30 | Paper |
| Declarative continuous reasoning in the cloud-IoT continuum | 2022-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020975 | 2022-01-11 | Paper |
| Estimating costs of multi-component enterprise applications | 2019-09-04 | Paper |
| Formalizing web service choreographies | 2013-09-11 | Paper |
| Comparative analysis of the expressiveness of shared dataspace coordination | 2013-07-24 | Paper |
| Probabilistic behaviours of reactive agents | 2013-05-24 | Paper |
| On the potential advantages of exploiting behavioural information for contract-based service discovery and composition | 2011-01-07 | Paper |
| A Net-based Approach to Web Services Publication and Replaceability | 2009-11-30 | Paper |
| Progress in Artificial Intelligence | 2009-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601413 | 2009-02-10 | Paper |
| An Event-Condition-Action Logic Programming Language | 2008-10-30 | Paper |
| Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study | 2008-07-03 | Paper |
| A Behavioural Congruence for Web Services | 2008-07-01 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413368 | 2007-01-04 | Paper |
| Component adaptation through flexible subservicing | 2006-10-25 | Paper |
| On the expressiveness of timed coordination models | 2006-06-30 | Paper |
| On the semantics of software adaptation | 2006-06-30 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Coordination Models and Languages | 2006-01-10 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| The refinement extension principle for semantics of dynamic logic programming | 2005-12-02 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| A framework for specifying and verifying the behaviour of open systems | 2005-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046793 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738175 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708906 | 2003-06-20 | Paper |
| On the expressiveness of coordination via shared dataspaces | 2003-05-14 | Paper |
| Dynamic composition of parameterised logic modules | 2001-11-27 | Paper |
| Programming by combining general logic programs | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223016 | 1999-01-07 | Paper |
| A unifying view for logic programming with non-monotonic reasoning | 1998-07-22 | Paper |
| The logic of totally and partially ordered plans: A deductive database approach | 1997-10-26 | Paper |
| Fully abstract compositional semantics for an algebra of logic programs | 1997-02-28 | Paper |
| Composing Open Logic Programs | 1994-03-22 | Paper |
| Distributed Logic Programming | 1993-06-29 | Paper |
| Compositional model-theoretic semantics for logic programs | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028774 | 1993-03-28 | Paper |
| The implementation of a distributed model for logic programming based on multiple-headed clauses | 1993-01-16 | Paper |
| Hypothetical reasoning in logic programming: A semantic approach | 1990-01-01 | Paper |
