 | 2008 |
|---|
| 66 |       | Giovanni Casella,
Vincenzo Deufemia,
Viviana Mascardi,
Maurizio Martelli,
Genoveffa Tortora:
Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents.
VISUAL 2008: 302-314 |
| 65 | | Giovanni Casella,
Vincenzo Deufemia,
Viviana Mascardi,
Gennaro Costagliola,
Maurizio Martelli:
An agent-based framework for sketched symbol interpretation.
J. Vis. Lang. Comput. 19(2): 225-257 (2008) |
| 2007 |
|---|
| 64 |  | Matteo Baldoni,
Antonio Boccalatte,
Flavio De Paoli,
Maurizio Martelli,
Viviana Mascardi:
WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy
Seneca Edizioni Torino 2007 |
| 63 | | Viviana Mascardi,
Maurizio Martelli,
Ivana Gungui:
DCaseLP: A Prototyping Environment for Multi-language Agent Systems.
LADS 2007: 139-155 |
| 62 | | Matteo Baldoni,
Antonio Boccalatte,
Flavio De Paoli,
Maurizio Martelli,
Viviana Mascardi:
Preface to the Proceedings of WOA 2007.
WOA 2007 |
| 2006 |
|---|
| 61 | | Giovanni Casella,
Gennaro Costagliola,
Vincenzo Deufemia,
Maurizio Martelli,
Viviana Mascardi:
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches.
VL/HCC 2006: 73-80 |
| 2005 |
|---|
| 60 | | Roberto Montagna,
Giorgio Delzanno,
Maurizio Martelli,
Viviana Mascardi:
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.
EUMAS 2005: 214-223 |
| 59 | | Valentina Cordì,
Paolo Lombardi,
Maurizio Martelli,
Viviana Mascardi:
An Ontology-Based Similarity between Sets of Concepts.
WOA 2005: 16-21 |
| 2004 |
|---|
| 58 | | Matteo Baldoni,
Cristina Baroglio,
Ivana Gungui,
Alberto Martelli,
Maurizio Martelli,
Viviana Mascardi,
Viviana Patti,
Claudio Schifanella:
Reasoning About Agents' Interaction Protocols Inside DCaseLP.
DALT 2004: 112-131 |
| 57 | | Viviana Mascardi,
Maurizio Martelli,
Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents.
TPLP 4(4): 429-494 (2004) |
| 56 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
Model Checking Linear Logic Specifications.
TPLP 4(5-6): 573-619 (2004) |
| 2003 |
|---|
| 55 | | Thomas Juan,
Leon Sterling,
Maurizio Martelli,
Viviana Mascardi:
Customizing AOSE methodologies by reusing AOSE features.
AAMAS 2003: 113-120 |
| 54 | | Maurizio Martelli,
Viviana Mascardi:
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents.
APPIA-GULP-PRODE 2003: 275-286 |
| 53 | | M. Delato,
Alberto Martelli,
Maurizio Martelli,
Viviana Mascardi,
Alessandro Verri:
A Multimedia, Multichannel, and Personalized News Provider.
MIPS 2003: 388-399 |
| 52 | | Egidio Astesiano,
Maurizio Martelli,
Viviana Mascardi,
Gianna Reggio:
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
SEKE 2003: 578-585 |
| 51 | | Viviana Mascardi,
Maurizio Martelli,
Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents
CoRR cs.AI/0311024: (2003) |
| 50 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
Model Checking Linear Logic Specifications
CoRR cs.PL/0309003: (2003) |
| 2002 |
|---|
| 49 | | Riccardo Albertoni,
Maurizio Martelli,
Viviana Mascardi,
Stefano Miglia:
Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP.
WOA 2002: 149-156 |
| 48 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
An effective fixpoint semantics for linear logic programs.
TPLP 2(1): 85-122 (2002) |
| 2001 |
|---|
| 47 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.
FLOPS 2001: 138-152 |
| 46 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
An Effective Fixpoint Semantics for Linear Logic Programs
CoRR cs.PL/0102025: (2001) |
| 45 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
On the Relations between Disjunctive and Linear Logic Programming.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 44 | | Giorgio Delzanno,
Maurizio Martelli:
Proofs as computations in linear logic.
Theor. Comput. Sci. 258(1-2): 269-297 (2001) |
| 2000 |
|---|
| 43 | | Simone Marini,
Maurizio Martelli,
Viviana Mascardi,
Floriano Zini:
Specification of Heterogeneous Agent Architectures.
ATAL 2000: 275-289 |
| 42 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
A bottom-up semantics for linear logic programs.
PPDP 2000: 92-102 |
| 41 | | Simone Marini,
Maurizio Martelli,
Viviana Mascardi,
Floriano Zini:
HEMASL: A Flexible Language to Specify Heterogeneous Agents.
WOA 2000: 76-81 |
| 40 | | Michele Bugliesi,
Giorgio Delzanno,
Luigi Liquori,
Maurizio Martelli:
Object calculi in linear logic.
J. Log. Comput. 10(1): 75-104 (2000) |
| 1999 |
|---|
| 39 | | Maurizio Martelli,
Viviana Mascardi,
Floriano Zini:
Specification and Simulation of Multi-Agent Systems in CaseLP.
APPIA-GULP-PRODE 1999: 13-28 |
| 38 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli,
Viviana Mascardi,
Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise.
PADL 1999: 46-60 |
| 37 | | Giorgio Delzanno,
Didier Galmiche,
Maurizio Martelli:
A specification logic for concurrent object-oriented programming.
Mathematical Structures in Computer Science 9(3): 253-286 (1999) |
| 1997 |
|---|
| 36 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
APPIA-GULP-PRODE 1997: 105-116 |
| 35 | | Maurizio Martelli,
Viviana Mascardi,
Floriano Zini:
Applying Logic Programming to the Specification of Complex Applications.
APPIA-GULP-PRODE 1997: 491-500 |
| 34 | | Danilo Montesi,
Elisa Bertino,
Maurizio Martelli:
Transactions and Updates in Deductive Databases.
IEEE Trans. Knowl. Data Eng. 9(5): 784-797 (1997) |
| 1996 |
|---|
| 33 | | Paqui Lucio,
Maurizio Martelli,
Marisa Navarro:
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
APPIA-GULP-PRODE 1996 |
| 32 | | Giorgio Delzanno,
Maurizio Martelli:
Proofs as Computations in Linear Logic.
APPIA-GULP-PRODE 1996: 155-166 |
| 31 | | Michele Bugliesi,
Giorgio Delzanno,
Luigi Liquori,
Maurizio Martelli:
A Linear Logic Calculus Objects.
JICSLP 1996: 67-81 |
| 1995 |
|---|
| 30 | | Giorgio Delzanno,
Maurizio Martelli:
Forum Objects.
GULP-PRODE 1995: 283-294 |
| 29 | | Giorgio Delzanno,
Maurizio Martelli:
Objects in Forum.
ILPS 1995: 115-129 |
| 28 | | Alessandra Di Pierro,
Maurizio Martelli,
Catuscia Palamidessi:
Negation as Instantiation
Inf. Comput. 120(2): 263-278 (1995) |
| 1994 |
|---|
| 27 | | Maurizio Martelli,
Alessandro Messora,
Catuscia Palamidessi,
Alain Hui-Bon-Hoa:
Fixpoint Semantics of L lambda.
GULP-PRODE (1) 1994: 187-201 |
| 26 | | Elisa Bertino,
Barbara Catania,
Giovanna Guerrini,
Maurizio Martelli,
Danilo Montesi:
A Bottom-Up Interpreter for a Database Language with Updates and Transactions.
GULP-PRODE (2) 1994: 206-220 |
| 25 | | Annalisa Bossi,
Maurizio Gabbrielli,
Giorgio Levi,
Maurizio Martelli:
The s-Semantics Approach: Theory and Applications.
J. Log. Program. 19/20: 149-197 (1994) |
| 1993 |
|---|
| 24 | | Elisa Bertino,
Barbara Catania,
Giovanna Guerrini,
Maurizio Martelli,
Danilo Montesi:
Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD).
GULP 1993: 501-518 |
| 23 | | Maurizio Martelli,
Alessandro Messora,
Catuscia Palamidessi:
Fixpoint Semantics of L-lambda.
ILPS 1993: 666 |
| 22 | | Giorgio Delzanno,
Maurizio Martelli:
A Bottom-Up Characterization of Finite Success.
ILPS 1993: 676 |
| 21 | | Moreno Falaschi,
Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Inf. Comput. 103(1): 86-113 (1993) |
| 1992 |
|---|
| 20 | | Elisa Bertino,
Maurizio Martelli,
Danilo Montesi:
CLP (X) as a framework for action and deduction.
CNKBS 1992: 27-29 |
| 19 | | Elisa Bertino,
Maurizio Martelli,
Danilo Montesi:
CLP(AD) as a Deductive Database Language with Updates.
ELP 1992: 80-99 |
| 18 | | Elisa Bertino,
Maurizio Martelli,
Danilo Montesi:
Modelling Database Updates with Constraint Logic Programming.
FMLDO 1992: 121-132 |
| 17 | | Maurizio Gabbrielli,
Giorgio Levi,
Maurizio Martelli:
New Semantic Tools for Logic Programming.
REX Workshop 1992: 204-235 |
| 16 | | Elisa Bertino,
Maurizio Martelli,
Danilo Montesi:
Modeling Database Updates with Constraint Logic Programming.
Workshop on Deductive Databases, JICSLP 1992: 175-184 |
| 15 | | Maurizio Martelli,
Chiara Tricomi:
A New SLDNF-Tree.
Inf. Process. Lett. 43(2): 57-62 (1992) |
| 1991 |
|---|
| 14 | | Alessandra Di Pierro,
Maurizio Martelli,
Catuscia Palamidessi:
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.
ICLP 1991: 32-45 |
| 13 | | Wlodzimierz Drabent,
Maurizio Martelli:
Strict Completion of Logic Programs.
New Generation Comput. 9(1): 69-80 (1991) |
| 1990 |
|---|
| 12 | | Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
Failure and Success made Symmetric.
NACLP 1990: 3-22 |
| 11 | | Roberto Barbuti,
Maurizio Martelli:
Recognizing Non-Floundering Logic Programs and Goals.
Int. J. Found. Comput. Sci. 1(2): 151- (1990) |
| 1989 |
|---|
| 10 | | Moreno Falaschi,
Giorgio Levi,
Catuscia Palamidessi,
Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages.
Theor. Comput. Sci. 69(3): 289-318 (1989) |
| 1988 |
|---|
| 9 | | Moreno Falaschi,
Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages.
ICLP/SLP 1988: 993-1005 |
| 8 | | Roberto Barbuti,
Maurizio Martelli:
A Tool to Check the Non-Floundering Logic Programs and Goals.
PLILP 1988: 58-67 |
| 1986 |
|---|
| 7 | | Roberto Barbuti,
Maurizio Martelli:
Completeness of the SLDNF-resolution for a class of logic programs.
ICLP 1986: 600-614 |
| 6 | | Roberto Barbuti,
Marco Bellia,
Giorgio Levi,
Maurizio Martelli:
LEAF: A Language which Integrates Logic, Equations and Functions.
Logic Programming: Functions, Relations, and Equations 1986: 201-238 |
| 5 | | C. Aquilano,
Roberto Barbuti,
P. Bocchetti,
Maurizio Martelli:
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.
J. Autom. Reasoning 2(2): 155-170 (1986) |
| 1985 |
|---|
| 4 | | Patrizia Asirelli,
Michele de Santis,
Maurizio Martelli:
Integrity Constraints for Logic Databases.
J. Log. Program. 2(3): 221-232 (1985) |
| 1984 |
|---|
| 3 | | Roberto Barbuti,
Marco Bellia,
Giorgio Levi,
Maurizio Martelli:
On the Integration of Logic Programming and Functional Programming.
SLP 1984: 160-166 |
| 2 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Implementations of Prolog 1984: 309-326 |
| 1982 |
|---|
| 1 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
Applicative communicating processes in first order logic.
Symposium on Programming 1982: 1-14 |
