| Publication | Date of Publication | Type |
|---|
Sustainable goal-oriented smart environments: a declarative programming approach
Journal Of Logic And Computation | 2023-06-15 | Paper |
An abductive framework for extended logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Declarative continuous reasoning in the cloud-IoT continuum
Journal Of Logic And Computation | 2022-03-09 | Paper |
| scientific article; zbMATH DE number 7455716 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455716 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
Estimating costs of multi-component enterprise applications
Formal Aspects of Computing | 2019-09-04 | Paper |
| Formalizing web service choreographies | 2013-09-11 | Paper |
Comparative analysis of the expressiveness of shared dataspace coordination
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Probabilistic behaviours of reactive agents
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
The Journal of Logic and Algebraic Programming | 2011-01-07 | Paper |
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae | 2009-11-30 | Paper |
Progress in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
| On the use of behavioural equivalences for web services' development | 2009-02-10 | Paper |
An Event-Condition-Action Logic Programming Language
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
A Behavioural Congruence for Web Services
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
| Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching | 2007-01-04 | Paper |
Component adaptation through flexible subservicing
Science of Computer Programming | 2006-10-25 | Paper |
On the expressiveness of timed coordination models
Science of Computer Programming | 2006-06-30 | Paper |
On the semantics of software adaptation
Science of Computer Programming | 2006-06-30 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
The refinement extension principle for semantics of dynamic logic programming
Studia Logica | 2005-12-02 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
A framework for specifying and verifying the behaviour of open systems
The Journal of Logic and Algebraic Programming | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2089415 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087392 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1931648 (Why is no real title available?) | 2003-06-20 | Paper |
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming | 2003-05-14 | Paper |
Dynamic composition of parameterised logic modules
Computer Languages | 2001-11-27 | Paper |
Programming by combining general logic programs
Journal Of Logic And Computation | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1231687 (Why is no real title available?) | 1999-01-07 | Paper |
A unifying view for logic programming with non-monotonic reasoning
Theoretical Computer Science | 1998-07-22 | Paper |
The logic of totally and partially ordered plans: A deductive database approach
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
Fully abstract compositional semantics for an algebra of logic programs
Theoretical Computer Science | 1997-02-28 | Paper |
Composing Open Logic Programs
Journal Of Logic And Computation | 1994-03-22 | Paper |
Distributed Logic Programming
The Journal of Logic Programming | 1993-06-29 | Paper |
Compositional model-theoretic semantics for logic programs
New Generation Computing | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 140372 (Why is no real title available?) | 1993-03-28 | Paper |
The implementation of a distributed model for logic programming based on multiple-headed clauses
Information Processing Letters | 1993-01-16 | Paper |
Hypothetical reasoning in logic programming: A semantic approach
Information Processing Letters | 1990-01-01 | Paper |
