Travelled to:1 × Canada
1 × Germany
1 × Japan
1 × United Kingdom
2 × France
6 × USA
Collaborated with:G.Delzanno C.Palamidessi R.Barbuti M.Bozzano G.Levi V.Mascardi A.Messora A.D.Pierro E.Astesiano G.Reggio M.Bugliesi L.Liquori M.Falaschi M.Bellia F.Zini
Talks about:logic (8) program (7) semant (4) linear (3) bottom (3) up (3) success (2) object (2) negat (2) agent (2)
Person: Maurizio Martelli
DBLP: Martelli:Maurizio
Contributed to:
2003
2001
2000
1999
199619951993199119901988198819861984Wrote 14 papers:
- SEKE-2003-AstesianoMMR #execution #multi #prototype #specification
- From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques (EA, MM, VM, GR), pp. 578–585.
- FLOPS-2001-BozzanoDM #bottom-up #effectiveness #first-order #linear #logic programming #semantics #source code
- An Effective Bottom-Up Semantics for First-Order Linear Logic Programs (MB, GD, MM), pp. 138–152.
- PPDP-2000-BozzanoDM #bottom-up #linear #logic programming #semantics #source code
- A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.
- PADL-1999-BozzanoDMMZ #development #enterprise #multi #re-engineering
- Multi-agent Systems Development as a Software Engineering Enterprise (MB, GD, MM, VM, FZ), pp. 46–60.
- JICSLP-1996-BugliesiDML #calculus #linear #logic
- A Linear Logic Calculus Objects (MB, GD, LL, MM), pp. 67–81.
- ILPS-1995-DelzannoM
- Objects in Forum (GD, MM), pp. 115–129.
- ILPS-1993-DelzannoM #bottom-up #finite
- A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.
- ILPS-1993-MartelliMP #fixpoint #semantics
- Fixpoint Semantics of L-λ (MM, AM, CP), p. 666.
- ICLP-1991-PierroMP #logic programming
- Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming (ADP, MM, CP), pp. 32–45.
- NACLP-1990-LeviMP #symmetry
- Failure and Success made Symmetric (GL, MM, CP), pp. 3–22.
- JICSCP-1988-FalaschiLMP88 #declarative #logic #semantics
- A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.
- PLILP-1988-BarbutiM #logic programming #source code
- A Tool to Check the Non-Floundering Logic Programs and Goals (RB, MM), pp. 58–67.
- ICLP-1986-BarbutiM86 #logic programming #source code
- Completeness of the SLDNF-resolution for a class of logic programs (RB, MM), pp. 600–614.
- SLP-1984-BarbutiBLM84 #functional #integration #logic programming #on the
- On the Integration of Logic Programming and Functional Programming (RB, MB, GL, MM), pp. 160–166.