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 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.
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 Prototype for Freight Trains Traffic Management
1999-01-01 A., Cuppari; P. L., Guida; Martelli, Maurizio; Mascardi, Viviana; F., Zini
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
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications
1999-01-01 P., Dart; E., Kazmierczak; Martelli, Maurizio; Mascardi, Viviana; L., Sterling; V. S., Subrahmanian; F., Zini
Customizing AOSE Methodologies by Reusing AOSE Features
2003-01-01 Juan, T.; Martelli, Maurizio; Mascardi, Viviana; Sterling, L.
DCaseLP: a Prototyping Environment for Multilingual Agent Systems
2007-01-01 I., Gungui; Martelli, Maurizio; Mascardi, Viviana
Developing an Ontology for the Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies
2004-01-01 V., Cordi'; Mascardi, Viviana; Martelli, Maurizio; L., Sterling
Dynamic Resource Allocation in MAS: a Case Study from the Industry
2009-01-01 Briola, Daniela; Mascardi, Viviana; Martelli, Maurizio; R., Caccia; C., Milani
Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD)
1993-01-01 E., Bertino; Catania, Barbara; Guerrini, Giovanna; Martelli, Maurizio; D., Montesi
| 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 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. | |
| 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 Prototype for Freight Trains Traffic Management | 1-gen-1999 | A., Cuppari; P. L., Guida; Martelli, Maurizio; Mascardi, Viviana; F., Zini | |
| 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 | |
| Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications | 1-gen-1999 | P., Dart; E., Kazmierczak; Martelli, Maurizio; Mascardi, Viviana; L., Sterling; V. S., Subrahmanian; F., Zini | |
| Customizing AOSE Methodologies by Reusing AOSE Features | 1-gen-2003 | Juan, T.; Martelli, Maurizio; Mascardi, Viviana; Sterling, L. | |
| DCaseLP: a Prototyping Environment for Multilingual Agent Systems | 1-gen-2007 | I., Gungui; Martelli, Maurizio; Mascardi, Viviana | |
| Developing an Ontology for the Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies | 1-gen-2004 | V., Cordi'; Mascardi, Viviana; Martelli, Maurizio; L., Sterling | |
| Dynamic Resource Allocation in MAS: a Case Study from the Industry | 1-gen-2009 | Briola, Daniela; Mascardi, Viviana; Martelli, Maurizio; R., Caccia; C., Milani | |
| Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD) | 1-gen-1993 | E., Bertino; Catania, Barbara; Guerrini, Giovanna; Martelli, Maurizio; D., Montesi |