MARTELLI, MAURIZIO
MARTELLI, MAURIZIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Bottom-Up Characterization of Finite Success
1993-01-01 Delzanno, Giorgio; Martelli, Maurizio
A bottom-up interpreter for a database language with updates and transactions
1994-01-01 E., Bertino; Catania, Barbara; Guerrini, Giovanna; Martelli, Maurizio; D., Montesi
A bottom-up semantics for linear logic programs
2000-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
A Linear Logic Calculus Objects
1996-01-01 M., Bugliesi; Delzanno, Giorgio; L., Liquori; Martelli, Maurizio
A Logic Programming Framework for Component-Based Software Prototyping
1999-01-01 Martelli, Maurizio; Mascardi, Viviana; F., Zini
A Multi-Agent Approach to Vehicle Monitoring in Motorway
2001-01-01 Appiani, E.; Martelli, Maurizio; Mascardi, Viviana
A Multimedia, Multichannel, and Personalized News Provider
2003-01-01 Delato, M; Martelli, A; Martelli, Maurizio; Mascardi, Viviana; Verri, Alessandro
A Prolog-based MAS for Railway Signalling Monitoring: Implementaion and Experiments
2008-01-01 Briola, Daniela; Mascardi, Viviana; Martelli, Maurizio; Arecco, G; Caccia, R; Milani, C.
A Specification Logic for Concurrent Object-Oriented Programming
1999-01-01 Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio
Abstract deduction and inferential models for type theory
2010-01-01 P., Gentilini; Martelli, Maurizio
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches
2006-01-01 Casella, G.; Costagliola, G.; Deufemia, V.; Martelli, Maurizio; Mascardi, Viviana
An agent-based framework for sketched symbol interpretation
2008-01-01 G., Casella; V., Deufemia; Mascardi, Viviana; G., Costagliola; Martelli, Maurizio
An Agent-Based Prototype for Freight Trains Traffic Management
1999-01-01 A., Cuppari; P. L., Guida; Martelli, Maurizio; Mascardi, Viviana; F., Zini
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
2001-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
An embedding of calculi for negation as failure into linear logic
2001-01-01 Delzanno, Giorgio; Martelli, Maurizio
An Ontology-Based Similarity between Sets of Concepts.
2005-01-01 Cordi', V.; Lombardi, P.; Martelli, Maurizio; Mascardi, Viviana
Applying Logic Programming to the Specification of Complex Applications
1997-01-01 Martelli, Maurizio; Mascardi, Viviana; F., Zini
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems
2005-01-01 Montagna, R.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana
CaseLP: a Complex Application Specification Environment based on Logic Programming
1997-01-01 Martelli, Maurizio; Mascardi, Viviana; F., Zini
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Bottom-Up Characterization of Finite Success | 1-gen-1993 | Delzanno, Giorgio; Martelli, Maurizio | |
| A bottom-up interpreter for a database language with updates and transactions | 1-gen-1994 | E., Bertino; Catania, Barbara; Guerrini, Giovanna; Martelli, Maurizio; D., Montesi | |
| A bottom-up semantics for linear logic programs | 1-gen-2000 | M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio | |
| A Linear Logic Calculus Objects | 1-gen-1996 | M., Bugliesi; Delzanno, Giorgio; L., Liquori; Martelli, Maurizio | |
| A Logic Programming Framework for Component-Based Software Prototyping | 1-gen-1999 | Martelli, Maurizio; Mascardi, Viviana; F., Zini | |
| A Multi-Agent Approach to Vehicle Monitoring in Motorway | 1-gen-2001 | Appiani, E.; Martelli, Maurizio; Mascardi, Viviana | |
| A Multimedia, Multichannel, and Personalized News Provider | 1-gen-2003 | Delato, M; Martelli, A; Martelli, Maurizio; Mascardi, Viviana; Verri, Alessandro | |
| A Prolog-based MAS for Railway Signalling Monitoring: Implementaion and Experiments | 1-gen-2008 | Briola, Daniela; Mascardi, Viviana; Martelli, Maurizio; Arecco, G; Caccia, R; Milani, C. | |
| A Specification Logic for Concurrent Object-Oriented Programming | 1-gen-1999 | Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio | |
| Abstract deduction and inferential models for type theory | 1-gen-2010 | P., Gentilini; Martelli, Maurizio | |
| An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches | 1-gen-2006 | Casella, G.; Costagliola, G.; Deufemia, V.; Martelli, Maurizio; Mascardi, Viviana | |
| An agent-based framework for sketched symbol interpretation | 1-gen-2008 | G., Casella; V., Deufemia; Mascardi, Viviana; G., Costagliola; Martelli, Maurizio | |
| An Agent-Based Prototype for Freight Trains Traffic Management | 1-gen-1999 | A., Cuppari; P. L., Guida; Martelli, Maurizio; Mascardi, Viviana; F., Zini | |
| An Effective Bottom-Up Semantics for First-Order Linear Logic Programs | 1-gen-2001 | M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio | |
| An effective fixpoint semantics for linear logic programs | 1-gen-2002 | Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio | |
| An embedding of calculi for negation as failure into linear logic | 1-gen-2001 | Delzanno, Giorgio; Martelli, Maurizio | |
| An Ontology-Based Similarity between Sets of Concepts. | 1-gen-2005 | Cordi', V.; Lombardi, P.; Martelli, Maurizio; Mascardi, Viviana | |
| Applying Logic Programming to the Specification of Complex Applications | 1-gen-1997 | Martelli, Maurizio; Mascardi, Viviana; F., Zini | |
| BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems | 1-gen-2005 | Montagna, R.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana | |
| CaseLP: a Complex Application Specification Environment based on Logic Programming | 1-gen-1997 | Martelli, Maurizio; Mascardi, Viviana; F., Zini |