Antonio Brogi

Available identifiers

zbMath Open brogi.antonioWikidataQ102342598 ScholiaQ102342598MaRDI QIDQ615892

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2847798	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 semantics of software adaptation	2006-06-30	Paper
On the expressiveness of timed coordination models	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antonio Brogi