Searching for authors named Maurizio Martelli – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

36 documents found, showing 1 through 10. Next 10 →

Objects in Forum
by Giorgio Delzanno, Maurizio Martelli — 1995 — In Proceedings of the International Logic Programming Symposium
…Objects in Forum Giorgio Delzanno and Maurizio Martelli D.I.S.I. - Universit`a di Genova, Via…
Cited by 23 (9 self) – Add To MetaCart

A MAS and LP-based Prototyping Environment for Complex Software Applications
by Floriano Zini, Prof Maurizio Martelli
…: Prof. Maurizio Martelli Thesis Progress Report Dottorato in Informatica Dipartimento di Informatica e…
Add To MetaCart

A Multi-Agent Specification Environment for Complex Software Applications
by Floriano Zini, Prof Maurizio Martelli — 1997
…: Prof. Maurizio Martelli Thesis Proposal Dottorato in Informatica Dipartimento di Informatica e Scienze…
Cited by 1 (1 self) – Add To MetaCart

S-Semantics Approach: Theory And Applications
by Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli — 1994 — Journal of Logic Programming
… Giorgio Levi 2 Maurizio Martelli 3 Abstract The paper is a general overview of an approach…
Cited by 106 (25 self) – Add To MetaCart

A Bottom-up Semantics for Linear Logic Programs
by Marco Bozzano, Giorgio Delzanno, Maurizio Martelli — 2000 — In Proceedings of PPDP'00
… Informatica e Scienze dell'Informazione Via Dodecaneso 35 16146 Genova, Italy giorgio@(email omitted); Maurizio…
Cited by 7 (7 self) – Add To MetaCart

A Logic Programming Framework for Component-Based Software Prototyping
by Maurizio Martelli, Viviana Mascardi, Floriano Zini — 1999 — Proc. of 2nd International Workshop on Component-based Software Development in Computational Logic (COCL'99
…A Logic Programming Framework for Component-Based Software Prototyping Maurizio Martelli, Viviana…
Cited by 5 (4 self) – Add To MetaCart

CaseLP: a Complex Application Specification Environment based on Logic Programming
by Maurizio Martelli, Viviana Mascardi, Floriano Zini — 1997 — In Proc. of ICLP'97 Post Conference Workshop on Logic Programming and Multi-Agents
…CaseLP: a Complex Application Specification Environment based on Logic Programming Maurizio…
Cited by 6 (2 self) – Add To MetaCart

DLP as an abstraction of LO - On the Relations between Disjunctive and Linear Logic Programming (Extended Abstract)
by Marco Bozzano, Giorgio Delzanno, Maurizio Martelli — 2000 — and Linear Logic Programming. Presented at 2000 Joint Conference on Declarative programming (APPIA-GULP-PRODE'00). Available from URL http://nutella.di.unipi.it/agp00/AccptAbstr.html
… (Extended Abstract) Marco Bozzano Giorgio Delzanno Maurizio Martelli Dipartimento di Informatica e Scienze…
Cited by 1 (1 self) – Add To MetaCart

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
by Marco Bozzano , Giorgio Delzanno, Maurizio Martelli — 2001
… Delzanno, and Maurizio Martelli Dipartimento di Informatica e Scienze dell'Informazione Universita di…
Add To MetaCart

An Effective Fixpoint Semantics for Linear Logic Programs
by Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
… Fixpoint Semantics for Linear Logic Programs MARCO BOZZANO, GIORGIO DELZANNO and MAURIZIO MARTELLI…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB