MARTELLI, MAURIZIO

MARTELLI, MAURIZIO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.019 secondi).
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 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
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
Computational Logic in Genova 1-gen-2008 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
Customizing AOSE Methodologies by Reusing AOSE Features 1-gen-2003 Juan, T.; Martelli, Maurizio; Mascardi, Viviana; Sterling, L.