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

Transactions and Updates in Deductive Databases
by Danilo Montesi, Elisa Bertino, Maurizio Martelli — 1995 — IEEE Transactions on Knowledge and Data Engineering
…Transactions and Updates in Deductive Databases Danilo Montesi Elisa Bertino Maurizio Martelli…
Cited by 9 (0 self) – Add To MetaCart

A Linear Logic Calculus of Objects
by Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli — 1996 — Proceedings of the Joint International Conference and Symposium on Logic Programming
…@(email omitted); Maurizio Martelli DISI, Universit`a di Genova Via Dodecaneso, 35, I-16146 Genova, Italy e-mail: martelli…
Cited by 11 (5 self) – Add To MetaCart

Specification of Heterogeneous Agent Architectures
by Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini — 2000 — Intelligent Agents VII, Castelfranchi, C. and Lespèrance
…Specification of Heterogeneous Agent Architectures Simone Marini ∗ Maurizio Martelli ∗ Viviana…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

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