Elenco delle Pubblicazioni
Maurizio Martelli
DIBRIS - Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Università degli Studi di Genova
Via Dodecaneso, 35, 16146 - Genova, Italia
Febbraio 2014
Riviste
[A1]
F. Caneschi, E. Ferro, L. Lazzeri, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini,
G. Torrigiani. “RPCNET: Architektura i Servis”. ABT-Avtomatika i Vycislitelinaja Technika,
6, pp.43-55, 1978.
[A2]
F. Caneschi, E. Ferro, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini.
“RPCNET: status and trends”. Alta Frequenza, Vol. XLVIII N. 8, pp. 523-530, Agosto 1979.
[A3]
P. Asirelli, M. De Santis, M. Martelli. “Integrity Constraints in Logic Databases”. Journal of
Logic Programming, Vol.2, N.3, pp. 221-232, 1985.
[A4]
C. Aquilano, R. Barbuti, P. Bocchetti, M. Martelli. “Negation as Failure. Completeness of the
Query Evaluation Process for Horn Clause Programs with Recursive Definitions”. Journal of
Automated Reasoning, 2, 155-170, 1986.
[A5]
M. Falaschi, G. Levi, M. Martelli, C. Palamidessi. “Declarative modeling of the operational
behaviour of logic languages”. Theoretical Computer Science (Fundamental Studies volume),
69(3):289-318, 1989.
[A6]
R. Barbuti, M. Martelli. “Recognizing non-floundering logic programs and goals”. Int.
Journal of Foundations of Computer Science, 1(2):151-163, 1990.
1
[A7]
W. Drabent, M. Martelli. “Strict Completion of Logic Programs”. New Generation
Computing, 9 (1), 1991.
[A8]
M. Martelli, C. Tricomi, “A new SLDNF-tree”. Information Processing Letters 43, pp. 5762, 1992.
[A9]
M. Falaschi, G. Levi, M. Martelli, C. Palamidessi, “A model-theoretic reconstruction of the
operational semantics of logic programs”. Information and Computation, 103, 1, pp. 86-113,
1993.
[A10]
A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, “The s-semantics approach: theory and
applications”. Journal of Logic Programming, 19,20: 149-197, 1994.
[A11]
A. Di Pierro, M. Martelli, C. Palamidessi. “Negation as Instantiation”. Information and
Computation, 120, 2, pp. 263-278, 1995.
[A12]
E. Bertino, M. Martelli, D. Montesi, “Transactions and Updates in Deductive Databases”.
IEEE Transactions on Knowledge and Data Engineering, 9,5, pp.784-797, 1997.
[A13]
M. Martelli, V. Mascardi and F. Zini. “Applying Logic Programming to the Specification of
Complex Applications”. Mathematical Modelling and Scientific Computing, vol.8,
September 1997. Apeared also in Proceedings of 11th International Conference on
Mathematical and Computer Modelling and Scientific Computing
[A14]
G. Delzanno, D. Galmiche, M. Martelli. “A Specification Logic for Concurrent ObjectOriented Programming”. Mathematical Structures in Computer Science, Volume 9, Number
3, pp. 253-286, Cambridge University Press, June 1999.
[A15]
M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli. “Object Calculi in Linear Logic”.Journal
of Logic and Computation10(1): 75-104. 2000.
2
[A16]
G. Delzanno and M. Martelli. “Proofs as Computations in Linear Logic”. Theoretical
Computer Science, 258(1-2), pp. 269-297. 2001.
[A17]
M. Bozzano, G. Delzanno and M. Martelli. “On the relations between disjunctive and linear
logic programming”. Electronic Notes in Theoretical Computer ScienceVol. 48. 2001.
[A18]
M. Bozzano, G. Delzanno and M. Martelli. “An Effective Fixpoint Semantics for Linear
Logic Programs”. Theory and Practice of Logic Programming 2(1) pp. 85-122. 2002.
[A19]
M. Bozzano, G. Delzanno and M. Martelli. “Model Checking Linear Logic Specifications”.
in Theory and Practice of Logic Programming. 2003.
[A20]
M. Martelli, V. Mascardi and L. Sterling. “Logic-Based Specification Languages for
Intelligent Software Agents”. Theory and Practice of Logic Programming Journal (TPLP),
vol. 4, part 4, July 2004, Cambridge University Press, pp. 429 - 494.
[A21]
M. Bozzano, G. Delzanno, M. Martelli. “Model Checking Linear Logic Specifications”.
Theory and Practice of Logic Programming, vol. 4 (5-6), pp. 573-619; ISSN: 1471-0684.
2004.
[A22]
G. Casella, V. Deufemia, V. Mascardi, G. Costagliola, M. Martelli. “An agent-based
framework for sketched symbol interpretation”. Journal of Visual Languages and
Computing, vol. 19, pp. 225-257; ISSN: 1045-926X. doi:10.1016/J.JVLC.2007.04.002 Issue
2. 2008
[A23]
D. Briola, V. Mascardi and M. Martelli. “Intelligent Agents that Monitor, Diagnose and
Solve Problems: Two Success Stories of Industry-University Collaboration.” Journal of
Information Assurance and Security, vol. 4, Issue 2 (2009), pp. 106-116, Dynamic Publishers
Inc., USA. Online version: http://www.mirlabs.org/jias/vol4-issue2.html.
[A24]
P. Gentilini, M. Martelli. "Abstract deduction and inferential models for type theory”.
3
Information and Computation, vol. 208, n. 7, pp. 737-771; ISSN: 0890-5401. doi:
10.1016/j.ic.2010.03.002. 2010.
[A25]
V. Mascardi, G. Delzanno, M. Martelli. “Some applications of Computational Logic to the
development of intelligent systems and verification methods”. Intelligenza Artificiale, vol. 5,
N.1, pp. 145-149 doi:10.3233/IA-2011-0018. (2011).
Libri revisionati
[B1]
M. Bellia, E.Dameri, P. Degano, G. Levi, M. Martelli. “A formal model for lazy
implementations of a PROLOG compatible functional language”. In “Implementations of
PROLOG”. J.A. Campbell Ed., Ellis Horwood, pp.309-326, 1984.
[B2]
R. Barbuti, M. Bellia, G. Levi, M. Martelli. “LEAF: A Language which Integrates Logic,
Equations and Functions”. In “Logic Programming: Functions, Relations and Equations”. D.
DeGroot, G. Lindstrom (eds), Prentice-Hall Inc., pp.201-238, 1986.
[B3]
R. Barbuti, M. Martelli, M. Simi. “Knowledge Representation and Logic Programming”. In
“Artificial Intelligence. Research Direction in Cognitive Science: Eurpean Perspectives”,
Vol. 5 N.O. Bernsen, G. Sleeman (Eds.), Lawrence Erlbaum Ass. Ltd., 1992.
[B4]
M. Martelli. “Constraint Logic Programming: Theory and Applications”. In “1985-1995 Ten
Years of Logic Programming in Italy”, Edito da M.I. Sessa, Palladio, pp.137-166, 1995.
[B5]
M.Bozzano, G.Delzanno, V.Mascardi, M.Martelli and F.Zini. “Logic Programming and
Multi-Agent Systems: a Synergic Combination for Applications and Semantics”. In K.R.Apt,
V.W.Marek, M.Truszczynski and D.S.Warren, editors, The Logic Programming Paradigm: A
25-Year Perspective. Springer Series in Artificial Intelligence, pages 5-32, Springer-Verlag,
1999.
[B6]
G. Casella, V. Deufemia, V. Mascardi, Martelli M., G. Tortora. “Reasoning about HandDrawn Sketches: An Approach Based on Intelligent Software Agents”. In: Visual
Information Systems. Web-Based Visual Information Search and Management. (vol.
4
5188/2008, pp. 302-314). ISBN: 978-3-540-85890-4. doi:10.1007/978-3-540-858911_33BERLIN: Springer (GERMANY). 2008.
Proceedings curati personalmente
[C1]
G. Levi, M. Martelli. “Logic programming, Proc. of the Sixth Int. Conference”. Lisbon, The
MIT Press, 1989.
[C2]
Baldoni M, Boccalatte A, De Paoli F, Martelli M., Mascardi V. WOA, Workshop dagli
Oggetti agli Agenti, Proceedings. ISBN/ISSN: 978-88-6122-061-4. : SENECA EDIZIONI
(ITALY), 2007.
Congressi revisionati internazionali
[D1]
F. Caneschi, E. Ferro, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini.
“Architecture of and the service facilities provided by RPCNET- the Italian Computer
Network for Education and Research institutions”. Proc. of the Fourth Int. Conf. on
Computer Communication, Kyoto, pp.695-701, Settembre 1978.
[D2]
F. Caneschi, E. Ferro, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini. “Services
provided by RPCNET: An Italian Network for Universities and Research Institutions”. Proc.
of the IFIP Int. Conf. Teleinformatics 79, Paris, North-Holland, pp.247-256, Giugno 1979.
[D3]
F. Tarini, R. Sharp, M. Martelli, A. Endrizzi. “A Network System Language”. Proc. of First
Int. Conf. on Distributed Computing Systems, Huntsville (Alabama - USA), IEEE, pp. 305314, Ottobre 1979.
[D4]
M. Bellia, E. Dameri, P. Degano, G. Levi, M. Martelli. “Applicative Communicating
Processes in First Order Logic”. Proc. Vth International Symposium on Programming,
Torino, Lect. Notes in Comp. Sc. n.137, Springer Verlag, pp.1-14, 1982.
[D5]
A. Ferravante, M. Martelli, F. Tarini, P. Zini. “Virtual Memory Service in Local Area
Network”. Proc. of Third Int. Conf. on Distributed Computing Systems, Miami (Florida 5
USA), IEEE, pp. 218-223, Ottobre 1982.
[D6]
R. Barbuti, M. Bellia, G. Levi, M. Martelli. “On the integration of Logic Programming and
Functional Programming”. Proc. of the Int. Symp. on Logic Programming, Atlantic City,
IEEE, pp. 160-166, 1984.
[D7]
R. Barbuti, M. Martelli. “Completeness of SLDNF-Resolution for a Class of Logic
Programs”. Proc. of the Third Int. Conf. on Logic Programming, London, 1986, LNCS 225,
Springer Verlag, pp. 600-614, 1986.
[D8]
M. Falaschi, G. Levi, M. Martelli, C. Palamidessi. “A New Declarative Semantics for Logic
Languages”. Proc. Fifth Int. Conf. and Symp. Logic Programming, Seattle, The MIT Press,
pp. 993-1005, 1988.
[D9]
G. Levi, M. Martelli, C. Palamidessi. “Failure and Success made symmetric”. Proc.
NACLP'90, Austin, pp. 3-22, 1990.
[D10]
A. Di Pierro, M. Martelli, C. Palamidessi. “Negation As Instantiation: a New Rule for the
Treatment of Negation in Logic Programming”. In K. Furukawa, editor, Proceedings of The
Eight International Conference on Logic Programming, pages 32-48, The MIT Press, 1991.
[D11]
G. Delzanno, M. Martelli. “Objects in Forum”. In Proceedings of The International Logic
Programming Symposium, pages 115-129, The MIT Press, 1995.
[D12]
M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli. “A Linear Logic Calculus of Objects”. In
Proceedings of Int. Conf. and Symp. Logic Programming, pages 67-81, The MIT Press,
Bonn, 1996.
[D13]
M. Martelli, V. Mascardi, and F. Zini. “Towards Multi-Agent Software Prototyping”. In H. S.
Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and
Exhibition on The Practical Application of Intelligent Agents and Multi-Agent
Technology(PAAM98), pages 331-354, London, UK, March 1998.
6
[D14]
P. Dart, E. Kazmierczak, M. Martelli, V. Mascardi, L. Sterling, V.S. Subrahmanian and F.
Zini. “Combining Logical Agents with Rapid Prototyping for Engineering Distributed
Applications”. In Proc. of 9th International Conference of Software Technology and
Engineering(STEP'99), Pittsburgh, PA, September 1999. IEEE.
[D15]
A. Cuppari, P. L. Guida, M. Martelli, V. Mascardi and F. Zini. “Prototyping Freight Trains
Traffic Management Using Multi-Agent Systems”. In Proc. of IEEE International
Conference on Information, Intelligence and Systems, Washington, DC, November 1999.
[D16]
M. Bozzano, G. Delzanno and M. Martelli. “A Bottom-up Semantics for Linear Logic
Programs”, In Proc. of 2nd int. ACM SIGPLAN conf. on Principles and Practice of
Declarative Programming(PPDP 2000), pp. 92-102,ACM Press, September 2000.
[D17]
M. Bozzano, G. Delzanno and M. Martelli. “An Effective Bottom-Up Semantics for First
Order Linear Logic Programs”. In Proc. 5th int. Symp. on Functional and Logic
Programming (FLOPS 2001), LNCS vol.2021, pp. 138-152, Springer, March 2001.
[D18]
T. Juan, M. Martelli, V. Mascardi and L. Sterling. “Customizing AOSE Methodologies by
Reusing AOSE Features”. In J. S. Rosenschein, T. Sandholm, M. Wooldridge and M. Yokoo
editors, Proc. of the2nd International Conference on Autonomous Agents and Multiagent
Systems(AAMAS'03), Melbourne, Australia, pp. 113-120, ACM Press, 2003.
[D19]
E. Astesiano, M. Martelli, V. Mascardi and G. Reggio. “From Requirement Specification to
Prototype Execution: a Combination of a Multiview Use-Case Driven Method and AgentOriented Techniques”. In J. Debenham and K. Zhang editors, Proc. of the Fifteenth
International Conference on Software Engineering and Knowledge Engineering(SEKE’03),
San Francisco Bay, USA, The Knowledge System Institute, pp. 578-585, 2003.
[D20]
V. Cordì, V. Mascardi, Maertelli M., L. Sterling. (2004). Developing an Ontology for the
Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies. AOIS
2004. (pp. 73-87). P. Giorgini e M. Winiko, editors.
[D21]
7
M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, Martelli M., V. Mascardi, V. Patti, C.
Schifanella. (2004). Reasoning about Communicating Agents inside DCaseLP. Declarative
Agent Languages and Technologies (DALT). New York, July 19 2004. (vol. Proceedings, pp.
250-265). J. Leite, A. Omicini, P. Torroni, P. Yolum eds.
[D22]
R. Montagna, G. Delazanno, Martelli M., V. Mascardi. (2005). BDI^ATL: An Alternatingtime BDI Logic for Multiagent Systems. Third European Workshop on Multi-Agent Systems
(EUMAS'05). (pp. 214-223). : Koninklijke Vlaamse Academie van Belie voor Wetens. M. P.
Gleizes, G. A. Kaminka, A. Nowe', S. Ossowski, K. Tuyls, K. Verbeeck eds.
[D23]
G. Casella, G. Costagliola, V. Deufemia, Martelli M., V. Mascardi. An Agent-Based
Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches. In
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing,
VL/HCC 2006, IEEE Computer Society, pp. 73-80, 2006.
[D24]
V. Mascardi, Martelli M., I. Gungui. (2008). “DCaseLP: A Prototyping Environment for
Multi-language Agent Systems”. In: Languages, Methodologies and Development Tools for
Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 46, 2007. Revised Selected Papers. (vol. 5118/2008, pp. 139-155). ISBN: 978-3-540-85057-1.
doi:10.1007/978-3-540-85058-8_9BERLIN: Springer (GERMANY).
[D25]
G. Casella, V. Deufemia, V. Mascardi, M. Martelli, G. Tortora. “Reasoning about HandDrawn Sketches: An Approach Based on Intelligent Software Agents”. In Proceedings of the
Tenth International Conference on Visual Information Systems, VISUAL'08, LNCS,
Springer-Verlag, 2008.
[D26]
V. Deufemia, L. Paolino, G. Tortora, A. Traverso, V. Mascardi, M. Ancona, M. Martelli, N.
Bianchi, H. de Lumley. “Investigative Analysis across Documents and Drawings: Visual
Analytics for Archaeologists”. In Proceedings of the International Working Conference on
Advanced Visual Interfaces, AVI ‘12, pp. 539-546, ACM, New York, 2012.
ISBN: 978-1-4503-1287-5. Url: http:// dx.medra.org/10.1145/2254556.2254658.
Workshop internazionali con invito
[E1]
R. Barbuti, M. Martelli. “Programming in a Generally Functional Style to Design Logic
Databases”. CASE Center Techn. Rep. No.8602, Syracuse University, 1986, anche Workshop
8
on Foundations of Deductive Databases and Logic Programming, Washington, 176-192,
1986.
[E2]
E. Giovannetti, G.Levi, M. Martelli, C. Moiso, C. Palamidessi. “Integration of Functional and
Logic Programming:The Language K-LEAF”. “Jornades sobre Intelligencia Artificial:
Razonamiento Automatizado" organizzate dal CEAB-CSIC di Blanes, Spagna, pp-139-144,
1987.
[E3]
M. Gabbrielli, G. Levi, M. Martelli, “ New semantic tools for logic programming”. Proc.
REX Workshop 'Semantics: Foundations and Applications', LNCS n. 666, pp. 204-235.
Springer-Verlag, Berlin, 1992.
[E4]
G. Delzanno, M. Martelli. “Reconsidering objects in linear logic”. In Workshop on Logic,
Domains and Programming Languages, Darmstadt, May 1995.
[E5]
G. Delzanno, M. Martelli. “Objects in a higher order setting”. In Proc. of PTCOOP'96
Workshop , Linz, 1996. Also in: Max Mhlhuser (ed.), Special Issues in Object-Oriented
Programming, Workshop Reader of the 10th European Conference on Object-Oriented
Programming, ECOOP '96, Dpunkt.verlag, Heidelberg, 1997.
[E6]
M. Martelli. “Combining logical agents with rapid prototyping for engineering distributed
applications”. Invited talk at: COMPULOG-Net and AgentLink Joint Workshop on the Future
of Logic-based Agents. London, March 1999.
Workshop ed altri congressi internazionali
[F1]
W. Boettcher, A. Endrizzi, M. Martelli, F. Tarini. “A general approach to X.25 level 3
implementation”. Vth European Network User's Workshop, Paris, Novembre 1978.
[F2]
M. Bellia, G. Levi, M. Martelli. “On compiling PROLOG programs on a demand driven
architecture”. Proc. 2nd Logic Programming Workshop, Albufeira, 1983.
[F3]
9
M. Martelli, F. Tarini. “Inter-Node Communication in L.A.N.”. Proc. of the Congress
MELECON 83, Atene, IEEE, pp. A3.09, 1983.
[F4]
P. Asirelli, M. De Santis, P. Franceschi, C. Simonelli, G. Levi, M. Martelli. “The Knowledge
Base Approach in the Epsilon Project”. Proc. of the ESPRIT Technical Week, Brussels, 1985.
[F5]
A.A. Martino, L. Abba, P. Asirelli, A. Cammelli, P. Mariani Biagini, M. Martelli, F. Socci
Natali, D. Tiscornia. “Base di Conoscenza nell'Analisi Automatica della Legislazione”. Proc.
Second International Conference on Logic, Informatics, Law, Firenze, North-Holland,
pp.281-306, 1985.
[F6]
R. Barbuti, M. Martelli. “A tool to check the non-floundering logic programs and goals”.
International Workshop on Programming Language Implementation and Logic
Programming, Orleans, 1986, in LNCS 348, Springer Verlag, pp. 58-67, 1988.
[F7]
G. Levi, M. Martelli, C. Palamidessi. “A Logic Programming Semantics Scheme”. Terzo
Workshop on Computer Science Logic, CSL'89, Kiserslautern, 1989.
[F8]
P. Fattibene, M. Martelli, M. Simi. “Automated legal reasoning using a theorem prover for
modal logics”. Proc. Third International Conference on Logic, Informatics, Law, Firenze,
Novembre 1989.
[F9]
E. Bertino, M. Martelli, D. Montesi, “CLP(AD) as a Deductive Database Language with
Updates”. E. Lamma, P. Mello, editors, Proc. 3rd Int'l Work. on Extensions Logic
Programming, pp. 95-115, 1992.
[F10]
E. Bertino, M. Martelli, D. Montesi, “CLP(X) as a framework for Action and Deduction”. G.
Comyn, M. Jarke, S. M. Sripada, editors, Proc. 1st Compulog Net Meeting on Knowledge
Bases,European Computer-Industry Research Centre, ECRC-92-2, 1992.
[F11]
E. Bertino, M. Martelli, D. Montesi. “Modeling Database Updates with Constraint Logic
Programming”. Fourth International Workshop on Foundation of Models and Languages for
Data and Objects: Modelling Database Dynamics, Volkse, 1992.
10
[F12]
G. Delzanno, M. Martelli, “A bottom-up characterization of finite success”. Proc. 2nd
Compulog Network Area Meeting on Programming Languages, Pisa, 1993.
[F13]
M. Martelli, A. Messora, “Operational and declarative semantics of metaprograms”. Proc.
2nd Compulog Network Area Meeting on Programming Languages, Pisa, 1993.
[F14]
M. Martelli, A. Messora, C. Palamidessi, A. H. Bon Hoa, “Fixpoint Semantics of Ll", Proc.
GULP-PRODE'94, Peniscola (Spain), 1994.
[F15]
E. Bertino, B. Catania, G. Guerrini, M. Martelli, D. Montesi. “A Bottom-up Interpreter for a
Database Language with Updates and Transactions". Proc. GULP-PRODE'94, Peniscola
(Spain), 1994.
[F16]
G. Delzanno, M. Martelli. “Forum & Objects”. In Proc. GULP-PRODE'95, Vietri, 1995.
[F17]
G. Delzanno, M. Martelli, M. Pescio, “A prototype for an object-oriented language based on
linear logic”. Proc. 4th Compulog Network Area Meeting on Programming Languages,
Vietri, 1995.
[F18]
G. Delzanno, M. Martelli, “YahOO: an object-oriented logic programming language”. Proc.
ILPS'95 Workshop on Operational and Denotational Semantics of Logic Programs, Portland,
USA, 1995.
[F19]
G. Delzanno, M. Martelli. “Proofs as Computations in Linear Logic”. In Proc. APPIAGULP-PRODE'96, pp. 155-166, San Sebastian, 1996.
[F20]
M.Bozzano, G. Delzanno, M. Martelli. A Linear Logic Semantics for Object-Oriented,
Deductive and Active Databases In M. Falaschi, M. Navarro, and A. Policriti, editors,
Proceedings of APPIA-GULP-PRODE'97, pages 105-115, Grado, Italy, June 1997.
[F21]
11
M. Martelli, V. Mascardi and F. Zini, “Applying Logic Programming to the Specification of
Complex Applications”(extended version), In M. Falaschi, M. Navarro, and A. Policriti,
editors, Proceedings of APPIA-GULP-PRODE'97, pages 491-499, Grado, Italy, June 1997.
[F22]
M. Martelli, V. Mascardi, and F. Zini. CaseLP: a Complex Application Specification
Environment Based on Logic Programming. In International Workshop on Logic
Programming and Multi-Agents, Leuven, Belgium, July 1997.
[F23]
M. Bozzano, G. Delzanno and M. Martelli. A Linear Logic Specification for Chimera". In
Proceedings of ILPS'97 Post-Conference Workshop DYNAMICS'97 on Transactions and
Change in Logic Programming and Deductive Databases, Port Jefferson, New York, USA,
1997.
[F24]
M.Bozzano, G.Delzanno, V.Mascardi, M.Martelli and F.Zini. “Multi-Agent Systems
Development as a Software Engineering Enterprise”. In G. Gupta, editor, Proc. of First
International Workshop on Practical Aspects of Declarative Languages(PADL'99), pages 4660, San Antonio, Texas, January 1999. Springer-Verlag. LNCS 1551.
[F25]
A. Cuppari, P. L. Guida, M. Martelli, V. Mascardi and F. Zini. “An Agent-Based Prototype
for Freight Trains Traffic Management”. In P. G. Larsen, editor, Proc. of FMERail Workshop
5, Toulouse, France, September 1999. Springer-Verlag. A satellite workshop of FM'99.
[F26]
M. Martelli, V. Mascardi and F. Zini. “A Logic Programming Framework for ComponentBased Software Prototyping”. In A. Brogi and P. Hill, editors, Proc. of 2nd International
Workshop on Component-based Software Development in Computational Logic(COCL'99),
Paris, France, September 1999.
[F27]
M. Martelli, V. Mascardi and F. Zini. “Specification and Simulation of Multi-Agent Systems
in CaseLP”. In M. C. Meo and M. Vilares-Ferro, editors, Proc. of Appia-Gulp-Prode'99:
Joint Conference on Declarative Programming, pages 13-28, L'Aquila, Italy, September
1999.
[F28]
S. Marini, M. Martelli, V. Mascardi and F. Zini. “HEMASL: A Flexible Language to Specify
Heterogeneous Agents”. In A. Corradi, A. Omicini and A. Poggi, editors, Proc. of WOA
12
2000, Dagli Oggetti agli Agenti. Pitagora editrice, pp. 76-81. 2000.
[F29]
S. Marini, M. Martelli, V. Mascardi and F. Zini. “Specification of heterogeneous Agent
Architectures”. In C. Castelfranchi and Y. Lesperance, editors, Intelligent Agents VII: Agent
Theories, Architectures, and Languages. Proc. of the 7th International Workshop, ATAL
2000. Boston, MA, USA. pp. 275-289, LNAI 1986, Springer-Verlag 2001.
[F30]
G. Delzanno and M. Martelli. “An embedding of calculi for negation as failure into linear
logic”. In Proc. of Appia-Gulp-Prode'01: Joint Conference on Declarative Programmin,
September 2001.
[F31]
E. Appiani, M. Martelli and V. Mascardi.“A Multi-Agent Approach to Vehicle Monitoring in
Motorway”. Presented in the Poster session of the 2nd European Workshop on Advanced
Video-based Surveillance Systems, AVBS 2001, London, UK.
[F32]
R. Albertoni, M. Martelli, V. Mascardi and S. Miglia. “Specifica, Implementazione ed
Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP”. In F. De Paoli, S.
Manzoni and A. Poggi editors, Proc. of WOA 2002, Dagli Oggetti agli Agenti. Pitagora
editrice, 2002.
[F33]
M. Martelli, V. Mascardi and L. Sterling. “Logic-Based Languages to Model and Program
Intelligent Agents”. In J. J. Moreno-Navarro and J. M. Carballo, editors, Proc. of AppiaGulp-Prode 2002: Joint Conference on Declarative Programming, Madrid, Spain. pp. 105122, 2002
[F34]
M. Martelli and V. Mascardi. “From UML Diagrams to Jess Rules: Integrating OO and RuleBased Languages to Specify, Implement and Execute Agents”. In Proc. of Appia-Gulp-Prode
2003: Joint Conference on Declarative Programming, Reggio Calabria, Italy, 2003
[F35]
M. Delato, A. Martelli, M. Martelli, V. Mascardiand A. Verri. “A Multimedia, Multichannel
and Personalized News Provider”. In G. Goos, J. Hartmanis, and J. van Leeuwen,
editors,Proc. of the International Workshop on Multimedia Interactive Protocols and
Systems(MIPS), Napoli, Italy. LNCS Vol. 2899, pp. 388-399. 2003.
[F36]
13
M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, e C.
Schifanella. "Reasoning about Communicating Agents inside DCaseLP". In J. Leite, A.
Omicini, P. Torroni, P. Yolum, editors, Proceedings of DALT 2004, pp. 250 - 265, 2004.
[F37]
V. Cordi', V. Mascardi, M. Martelli, e L. Sterling. "Developing an Ontology for the Retrieval
of XML Documents: A Comparative Evaluation of Existing Methodologies". In P. Giorgini e
M. Winiko, editors, Proceedings of AOIS 2004, pp. 73-87, 2004.
[F38]
V. Cordì, P. Lombardi, M. Martelli, V. Mascardi. (2005). An Ontology-Based Similarity
between Sets of Concepts. WOA 2005. (pp. 16-21). BOLOGNA: Pitagora Editrice. F.
Corradini, F. De Paoli, E. Merelli and A. Omicini eds.
[F39]
D. Briola, V. Mascardi, M. Martelli, G. Arecco, R. Caccia, C. Milani. (2008). A Prolog-based
MAS for Railway Signalling Monitoring: Implementaion and Experiments. Workshop "Dagli
Oggetti agli Agenti", WOA'08. : SENECA EDIZIONI (ITALY).
[F40]
V. Mascardi, D. Briola, Martelli M., R. Caccia, C. Milani. (2008). Monitoring and
Diagnosing Railway Signalling with Logic-Based Distributed Agents. In: Proceedings of the
International Workshop on Computational Intelligence in Security for Information Systems
CISIS’08. (vol. 53/-1 / 2009, pp. 108-115). ISBN: 978-3-540-88180-3. doi:10.1007/978-3540-88181-0BERLIN: Springer (GERMANY).
[F41]
M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi,
L. Padovani, V. Patti, A. Ricci, G. Rossi, A. Santi – “MERCURIO: An Interaction-oriented
Framework for Designing, Verifying and Programming Multi-Agent Systems (Position
Paper)”, In: Atti del Workshop Dagli Oggetti agli Agenti, COIN 2010, Pre-proceedings,
http://ai-lab-webserver.aegean.gr/coin@mallow2010/COIN@MALLOW_preproceedings.pdf, 2010
[F42]
V. Mascardi, D. Briola, A. Locoro, M. Martelli, M. Ancona, V. Deufemia, L. Paolino, G.
Tortora, R. Francese, G. Polese. (2012). The Indiana MAS Project: Goals and Preliminary
Results. In: 13th Workshop on Objects and Agents, WOA 2012. Milano. Proceedings:
http://ceur-ws.org/Vol-892/
Libri, Riviste e Congressi nazionali
[G1]
14
F. Caneschi, E. Ferro, L. Lazzeri, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini.
“RPCNET: Architecture and Services”. Sessione Industriale: Congresso AICA 77, Pisa,
Ottobre 1977.
[G2]
F. Tarini, R. Sharp, M. Martelli, A. Endrizzi. “A proposal for a Network System Language”.
Atti del Congresso AICA 79, Bari, Ottobre 1979.
[G3]
F. Caneschi, E. Ferro, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini.
“RPCNET: Caratteristiche Strutturali e Servizi”. Atti del Congresso AICA 79, Bari, Ottobre
1979.
[G4]
M. Martelli, F. Tarini. “Notes for the design of a distributed control electronic mail system”.
Atti del Congresso AICA 80, Bologna, Ottobre 1980.
[G5]
M. Martelli, F. Tarini. “Proposte di Primitive di Comunicazione tra Nodi di Rete Locale”.
Atti del Congresso AICA 82, Padova, Ottobre 1982.
[G6]
M. Bellia, G. Levi, M. Martelli. “On the transformation of Kahn-McQueen processes into
applicative communicating processes: a case study on homomorphic language mappings”.
Coll. su Logica, Semantica, Informatica, Rende, 1983.
[G7]
R. Barbuti, M. Martelli, P. Sidoti. “Il Completamento di Programmi Logici di Ordine
Superiore”. Quarto Convegno Nazionale sulla Programmazione Logica, Bologna, 1989.
[G8]
A. Di Pierro, M. Martelli, C. Palamidessi. “SLDNI-resolution: a non-floundering interpreter
for general programs”. Proc. GULP'91, Pisa, 1991.
[G9]
E. Bertino, M. Martelli, D. Montesi, “An incremental semantics for CLP(AD)”. Proc. 4th
Italian Conf. on Theoretical Computer Science, L'Aquila, pp. 53-67, 1992.
[G10]
M. Martelli, C. Tricomi, “An effective operational Semantics for General Logic programs".
15
Proc. GULP'92, Tremezzo, 1992.
[G11]
M. Martelli, A. Messora, “Semantica dichiarativa di predicati metalogici in Programmazione
Logica". Proc. GULP'92, Tremezzo, 1992.
[G12]
G. Delzanno, M. Martelli, “Insiemi di soluzioni di Programmi Logici". Proc. GULP'92,
Tremezzo, 1992.
[G13]
E. Bertino, B. Catania, G. Guerrini, M. Martelli, D. Montesi, “Formalizzazione ed
ottimizzazione di transazioni di modifica in CLP(AD)”. Proc of GULP'93, Gizzeria Lido,
1993.
[G14]
A. Belloglio, F. Bruzzone, M. Martelli, L. Roncarolo. “Accesso Intelligente ad Archivi
Documentali tramite Internet“. In AI*IA Notizie, Anno IX n.3, Supplemento Interfacce
Intelligenti, pp. 6-11, 1996.
[G15]
V. Mascardi, G. Delzanno, M. Martelli: Computational Logic in Genova
Il Milione (i.e. 2~H6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc.
of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008, pages 38-42,
CEUR Workshop Proceedings, ISSN 1613-0073, online CEUR-WS.org/Vol-487/paper7.pdf
[G16]
P. Gentilini and M. Martelli, “Explicit Constructive Logic ECL: a New Representation of
Construction and Selection of Logical Information by an Epistemic Agent”, Proc. of CILC
2013 Italian Conference on Computational Logic, Catania, September 25-27, 2013, pages
147-162, CILC 2013 Proceedings, ISSN 1613-0073, online CEUR: http://ceur-ws.org/Vol1068/paper-l10.pdf.
Collane varie e rapporti interni
[H1]
L. Lazzeri, L. Lenzini, M. Martelli. “A proposal for introducing traffic load in the
NETCHANGE protocol”. RPCNET: documento interno IG015-00, CNUCE, Pisa, Gennaio
1975.
[H2]
16
P. Guidotti, L. Lazzeri, L. Lenzini, M. Martelli. “Network manager implementation on S-7”.
RPCNET: documento interno UI023-00, CNUCE, Pisa, Ottobre 1975.
[H3]
P. Guidotti, L. Lazzeri, L. Lenzini, M. Martelli. “Terminal manager: an application to handle
an interactive terminal”. RPCNET: documento interno UI024-00, CNUCE, Pisa, Ottobre
1975.
[H4]
F. Caneschi, E. Ferro, L. Lazzeri, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini.
“Architettura ed utilizzo della rete di elaboratori RPCNET”. Supplemento Marzo-Aprile del
rapporto CNUCE 1978.
[H5]
F. Caneschi, E. Ferro, L. Lenzini, M. Martelli, C. Menchi, M. Sommani, F. Tarini. “REEL
Project Application User Manual”. IIASA CSN 039, Maggio 1978.
[H6]
M. Martelli, F. Tarini. “Meccanismi di comunicazione Inter-node (analisi e proposte per una
lista di requisiti)”. “Collana CNET" N.15, Pisa, Giugno 1980.
[H7]
M. Bellia, E. Dameri, P. Degano, G. Levi, M. Martelli. “From Term Rewriting Systems to
Distributed Program Specifications”. Nota interna IEI, B80-34, Dicembre 1980.
[H8]
M. Martelli, F. Tarini. “Primitive di Comunicazione”. “Collana CNET" N.58, Pisa, Marzo
1982.
[H9]
P. Asirelli, M. Martelli. “Integrity Constraints, Redundancy and Consistency in Logic Data
Bases". Nota Interna CNUCE, C84-14, 1984.
[H10]
M. Bellia, G. Levi, M. Martelli. “Relational and Functional Languages in Logic
Programming”. Nota Interna S-84-4, Dip. Informatica, Univ. di Pisa, 1984.
[H11]
M. Bellia, G. Levi, M. Martelli. “A Sequence Calculus: an Alternative to Backtracking Non17
determinism in Logic Programming”. Nota Interna S-84-5, Dip. Informatica, Univ. di Pisa,
1984.
[H12]
R. Barbuti, M. Martelli. “Completeness of SLDNF-Resolution for Structured programs”.
CASE Center Techn. Rep., Syracuse University, 1986.
[H13]
R. Barbuti, G. Levi, M. Martelli. “Modules in Logic Programming: A survey”. Techn.
Report, Dipartimento di Informatica, Università di Pisa, Presentato come parte progetto
ESPRIT 415, 1988.
[H14]
M. Bellia, M. Martelli. “Homomorphically Mapping Kahn-McQueen processes into
Applicative Communicating Processes”. Tecn. Rep. Univ. di Pisa, 1989.
[H15]
R. Barbuti, M. Martelli, P. Sidoti. “Algebraic Structures and Completion for Higher Order
Logic Programs”. TR-25-89, Univ. di Pisa, 1989.
[H16]
R. Barbuti, M. Martelli. “The Completeness of SLDNF-Resolution: Problems and Solutions”.
Tecn. Rep. Univ. di Pisa, 1989.
[H17]
R.M. Bottino, G. Delzanno, M. Martelli “Logic programming applications”. Rapporto interno
del PF n. R/4/103, 1994.
18