BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brogi:Antonio

Contributed to:

PDCL 20042004
LOPSTR 20012001
PADL 20012001
QAPL 20012001
SAC 20012001
LOPSTR 19981998
LOPSTR 19961996
LICS 19941994
LOPSTR/META 19941994
PLILP 19941994
JICSLP 19921992
KR 19911991
PLILP 19911991
ICLP 19901990
PLILP 19901990
TAPSOFT, Vol.1: CAAP 19891989
ECSA 20162016

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.