Travelled to:1 × Cyprus
1 × France
1 × Germany
1 × Israel
1 × Italy
1 × Spain
1 × United Kingdom
2 × Sweden
4 × USA
Collaborated with:F.Turini S.Contiero ∅ P.Mancarella G.Caruso M.Gabbrielli R.Gorrieri D.Pedreschi A.D.Pierro H.Wiklicky A.Bracciali J.J.Alferes J.A.Leite L.M.Pereira E.Lamma P.Mello A.Chiarelli V.Mazzotta C.Renso José Carrasco J.Cubo Francesco D'Andria E.D.Nitto M.Guerriero Diego Pérez E.Pimentel Jacopo Soldani
Talks about:program (11) logic (9) meta (4) composit (3) semant (3) directori (2) subject (2) languag (2) compos (2) cloud (2)
Person: Antonio Brogi
DBLP: Brogi:Antonio
Contributed to:
20042001
2001
2001
200119981996
19941994
1994
1992
1991199119901990
1989
2016Wrote 17 papers:
- PDCL-2004-Brogi #composition #logic programming #on the #semantics
- On the Semantics of Logic Program Composition (AB), pp. 115–151.
- LOPSTR-2001-AlferesBLP #behaviour #logic programming
- Computing Environment-Aware Agent Behaviours with Logic Program Updates (JJA, AB, JAL, LMP), pp. 216–232.
- PADL-2001-BrogiC #declarative #programming
- From Subject Directories to Subject Meta-directories via Declarative Programming (AB, GC), pp. 45–59.
- QAPL-2001-BrogiPW #comparison #linear
- Linear Embedding for a Quantitative Comparison of Language Expressiveness (AB, ADP, HW), pp. 207–237.
- SAC-2001-BraccialiBT #coordination #interactive
- Coordinating interaction patterns (AB, AB, FT), pp. 159–165.
- LOPSTR-1998-BrogiCT #source code #using
- The Use of Renaming in Composing General Programs (AB, SC, FT), pp. 124–142.
- LOPSTR-1996-BrogiC #composition #logic programming #source code
- Specialising Meta-level Compositions of Logic Programs (AB, SC), pp. 275–294.
- LICS-1994-BrogiT #algebra #logic #semantics #source code
- Semantics of Meta-Logic in an Algebra of Programs (AB, FT), pp. 262–270.
- LOPSTR-1994-BrogiC #logic programming #metalanguage #source code
- Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.
- PLILP-1994-BrogiCMMPRT #composition #implementation
- Implementations of Program Composition Operations (AB, AC, PM, VM, DP, CR, FT), pp. 292–307.
- JICSLP-1992-BrogiLMM #logic programming #source code
- Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.
- KR-1991-BrogiT #information management #logic #representation
- Metalogic for Knowledge Representation (AB, FT), pp. 61–69.
- PLILP-1991-BrogiG #constraints #logic #process
- Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes (AB, MG), pp. 407–418.
- CLP-1990-Brogi90
- AND-Parallelism without Shared Variables (AB), pp. 306–321.
- PLILP-1990-BrogiMPT #framework #functional #logic programming
- Logic Programming within a Functional Framework (AB, PM, DP, FT), pp. 372–386.
- CAAP-1989-BrogiG #distributed #prolog #semantics
- A Distributed, Net Oriented Semantics for Delta Prolog (AB, RG), pp. 162–177.
- ECSA-2016-BrogiCCDNGPPS #architecture #multi #named
- SeaClouds: An Open Reference Architecture for Multi-cloud Governance (AB, JC, JC, FD, EDN, MG, DP, EP, JS), pp. 334–338.