Recent Publications of Gianfranco Rossi

 
• G. Rossi, F. Bergenti..

Nondeterministic Programming in Java with JSetL.
Research Report "Quaderno del Dipartimento di Matematica e Informatica", n. 510, Universita' di Parma, January 2013.
Revised version submitted for publication
 
• M. Cristia', G. Rossi, C. Frydman.

{log} as a Test Case Generator for the Test Template Framework.
Research Report "Quaderno del Dipartimento di Matematica e Informatica", n. 508, Universita' di Parma, December 2012.
Revised version submitted for publication
 
• G. Rossi, R. Amadini.

JSetL User's Manual - Version 2.3.
Research Report "Quaderno del Dipartimento di Matematica", n. 507, Universita' di Parma, January 2012. (.pdf)
 
• F. Bergenti, L. Chiarabini, G. Rossi.

Programming with Partially Specified Aggregates in Java.
Computer Languages, Systems & Structures, Elsevier (ISSN: 1477-8424), vol. 37/4, 178-192, 2011, DOI: 10.1016/j.cl.2011.07.002. (abstract)
 
• G. Rossi.

From Set Unification to Set Constraints.
In Intelligenza Artificiale, IOS Press (ISSN 1724-8035), vol. 5:1, 157-161, 2011. (.pdf)
 
• F. Bergenti, L. Chiarabini, G. Rossi.

Programming with Partially Specified Aggregates in Java.
Research Report "Quaderno del Dipartimento di Matematica", n. 500, Universita' di Parma, November 2010.
 
• 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.
Technical Report RT 128/2010, Dipartimento di Informatica, Universita' degli Studi di Torino, 2010.
 
• G. Rossi.

Logic Programming in Italy: A Historical Perspective.
In Twenty-five years of Logic Programming in Italy (A. Dovier, E. Pontelli, eds), Lecture Notes in Computer Science, Springer-Verlag, vol. 6125 (ISBN:978-3-642-14308-3), 1-14, 2010.
 
• A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi.

GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae, IOS Press (ISSN: 0169-2968), vol. 96, 297-322, 2009, DOI: 10.3233/FI-2009-180.
 
• F. Bergenti, A. Dal Palu', and G. Rossi.

Integrating Finite Domains and Set Constraints into a Set-based Constraint Language
Fundamenta Informaticae, IOS Press (ISSN: 0169-2968), vol. 96, 227-252, 2009, DOI: 10.3233/FI-2009-177.
 
• A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi.

Answer Set Programming with Constraints using Lazy Grounding
In P.M.Hill, D.S.Warren (Eds.), Logic Programming, 25th International Conference, ICLP2009, Lecture Notes in Computer Science, Springer-Verlag, vol. 5649 (ISBN: 978-3-642-02845-8), 115-129, 2009. (draft)
 
• G. Rossi.

From Set Unification to Set Constraints In Il Milione (i.e. 2^6, 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, 20-25, CEUR Workshop Proceedings, Vol. 487 (ISSN 1613-0073), 2009. (.pdf)
Also available as Technical Report - Dip. di Informatica, Univ. di Torino, RT 110/08, 2008.
 
• A. Dal Palù, A. Dovier, E. Pontelli, and G. Rossi.

GASP: Answer Set Programming with Lazy Grounding
In LaSh 2008: LOGIC AND SEARCH - Computation of structures from declarative descriptions,
2nd International Workshop on Logic and Search, Nov. 6-7th 2008, Leuven, Belgium. (.pdf)
 
• F. Bergenti, A. Dal Palù, and G. Rossi.

Generalizing Finite Domain Constraint Solving
Presented at CILC'08 - Convegno Italiano di Logica Computazionale, Perugia, July 2008.  (.pdf)
 
• A. Dal Palù, A. Dovier, E. Pontelli, and G. Rossi.

GASP: Answer Set Programming with Lazy Grounding
Presented at CILC'08 - Convegno Italiano di Logica Computazionale, Perugia, July 2008.  (.pdf)
 
• A. Dovier, C. Piazza, and G. Rossi.

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
ACM Transactioncs on Computational Logic (ISSN: 1529-3785), Volume 9, Number 3, May 2008, DOI: 10.1145/1352582.1352583.
Preliminary version available through ArXiv.org.
 
• G. Rossi, E. Panegai, and E. Poleo.

JSetL: a Java Library for Supporting Declarative Programming in Java.
Software-Practice & Experience (ISSN: 0038-0644), 37:115-149, 2007.
Preliminary version available here.
 
• A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi.

A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains.
Research Report "Quaderno del Dipartimento di Matematica", n. 437, Università di Parma, March 2006. (.ps)
 
• F. Bergenti, E. Panegai, G. Rossi.

A Master-Slave Architecture to Integrate Sets and Finite Domains in Java.
Presented at CILC'06 - Convegno Italiano di Logica Computazionale, Bari, June 2006.  (.pdf)
 
• A. Dovier, E. Pontelli, and G. Rossi.

Set Unification.
Theory and Practice of Logic Programming (ISSN: 1471-0684), 6(6):645-701, 2006
Also available through ArXiv.org.
Preliminary versions available as Research Report "Quaderno del Dipartimento di Matematica", n. 310, Università di Parma, December 2002. (.ps), and Technical Report TR-CS-001/2001, Department of Computer Science, New Mexico State University, USA, Jan. 2001. (.ps)
 
• E .Panegai  and G. Rossi.

Declarative Programming in Java using JSetL.
Presented at CILC'05 - Convegno Italiano di Logica Computazionale, Roma, June 2005.  (.ps)
 
• G. Rossi and E. Poleo.

JSetL: Declarative Programming in Java with Sets.
In CF '04, 2004 ACM International Conference on Computing Frontiers,
ACM Press (ISBN/ISSN: 1-58113-741-9), 2004. (.ps)
 
• G. Rossi and E. Panegai (eds.).

Proceeedings of CILC'04 - Italian Conference on Computational Logic, Parma, 15-16 June 2004.
Research Report "Quaderno del Dipartimento di Matematica", n. 390, Università di Parma, November 2004. (.pdf)
 
• E. Panegai, E. Poleo, and G. Rossi.

JSetL User's Manual - Version 1.0.
Research Report "Quaderno del Dipartimento di Matematica", n. 384, Università di Parma, November 2004. (.ps)
 
• E. Panegai, E. Poleo, and G. Rossi.

The JSetL library: supporting declarative programming in Java.
Presented at CILC'04 - Convegno Italiano di Logica Computazionale, Parma, June 2004. (.ps)
 
• A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi.

Integrating Finite Domain Constraints and CLP with Sets.
In D. Miller, ed., Fifth ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM Press (ISBN/ISSN: 1-58113-705-2), 2003, 219-229. (.ps)
Also presented at 12th International Workshop on Functional and (constraint) Logic Programming, Valencia, June 2003. (.ps)
 
• A. Dovier, E. Pontelli, and G. Rossi.

Intensional Sets in CLP.
In C. Palamidessi, ed., Logic Programming, 19th International Conference, ICLP2003, Lecture Notes in Computer Science, Springer-Verlag, vol. 2916 (ISBN: 3-540-20642-6), 2003, 284-299. (draft)
Also in AGP'03 - Joint Conference on Declarative Programming,, Reggio Calabria, September 2003, 36-49. (.ps)
 
• G. Rossi and E. Poleo.

JSetL: Declarative Programming in Java with Sets.
In J.Striegnitz, K.Davis, eds, Joint proceedings of the Workshops on Multiparadigm Programming with Object-Oriented Languages (MPOOL'03) and Declarative Programming in the Context of Object-Oriented Languages (DP-COOL'03),
Jon von Neumann Institute for Computing (NIC), NIC Series Volume 27 (ISBN 3-00-016005-1), 2005, 229-250. (.ps)
Preliminary versions presented at AGP'03 - Joint Conference on Declarative Programming, Reggio Calabria, September 2003, 287-301 (.ps), and also available as Research Report "Quaderno del Dipartimento di Matematica", n. 339, Università di Parma, November 2003. (.ps)
 
• A. Dovier, C. Piazza,  and G. Rossi.

Set-Based Constraints.
Research Report "Quaderno del Dipartimento di Matematica", n. 309, Università di Parma, December 2002. (.ps)
 
• G. Rossi.

Set-based Nondeterministic Declarative Programming in SINGLETON.
In 11th International Workshop on Functional and (constraint) Logic Programming,
Electronic Notes in Theoretical Computer Science, Vol. 76, Elsevier Science B.V. (ISSN 1571-0661), 17 pages, 2002. (.ps)
 
• A. Dovier, C. Piazza,  and G. Rossi.

Multiset Constraints and P Systems.
In C.S. Calude, Gh. Paun, G. Rozenberg, A. Salomaa, eds.,  Multisets Processing,
Lecture Notes in Computer Science, Vol. 2235, Springer-Verlag (ISBN 3-540-43063-6), 2001, 103-121. (.ps)
Preliminary version presented at AGP'01 - 2001 Joint Conference on Declarative Programming, September 2001, Evora, Portugal. (.ps)
 
• A. Dovier, C. Piazza,  and G. Rossi.

Multiset rewriting by multiset constraint solving.
Romanian Journal of Information Science and Technology, Vol. 4(1--2):59--76, 2001. (.ps)
 
• A. Dovier, E. Pontelli, and G. Rossi.

Constructive negation and constraint logic programming with sets.
New Generation Computing, Springer Verlag and Ohmsha Ltd,19(3), May 2001, 209-255. (.ps)
 
• A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.

Sets and Constraint Logic Programming.
ACM Transaction on Programming Language and Systems, Vol. 22 (5), Sept. 2000, 861-931. (.ps)
 
• A. Dovier, E. Pontelli, and G. Rossi.

A Necessary Condition for Constructive Negation in Constraint Logic Programming.
Information Processing Letters, Vol. 74 (3-4) (2000), Elsevier, North Holland, 147-156. (.ps)
 
• A. Dovier, C. Piazza, and G. Rossi.

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
In Pre-Proceedings of the Workshop on Multiset Processing WMP2000 (C.S.Calude, M.J.Dinnen, Gh.Paun, eds), Curtea de Arges (Romania), Research Report CDMTCS-140, Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, New Zealand, August 2000. (.ps)
Also available as Rapporto di Ricerca, Dipartimento di Matematica, Università di Parma, n.235, September 2000. (.ps)
 
• G. Rossi.

{log} User's Manual - Version 3.3
Rapporto di Ricerca, Dipartimento di Matematica, Università di Parma, n.233, September 2000.
 
• D. Aliffi, A. Dovier, and G. Rossi.

From Set to Hyperset Unification
The Journal of Functional and Logic Programming, Volume 1999, No. 10, 1-48.
 
• A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.

ACI1 Constraints
In G. Gupta and D. De Schreye, eds, ICLP'99, 16th International Conference on Logic Programming,
The MIT Press, 1999, 573-587. (.pdf)
 
• A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.

Sets and Constraint Logic Programming
In B. Jayaraman and G. Rossi, eds, DPS'99, Workshop on Declarative Programming with Sets, Paris, September 28, 1999.
 
• A. Dovier, C. Piazza, and G. Rossi.

Relating Set Constraints and Constraint Logic Programming with Finite Sets
Rapporto di Ricerca, Dipartimento di Matematica, Università di Parma, n.196, May 1999.
 
• A. Dovier, A. Policriti, and G. Rossi.

A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae, 36(2/3):201-234, 1998.
 
• A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.

On the Representation and Management of Finite Sets in CLP-languages
In J. Jaffar, ed., Proceedings of 1998 Joint International Conference and Symposium on Logic Programming, pp. 40-54,
The MIT Press (Manchester, UK. 15-19 June 1998). (.pdf)
 
• A. Dovier, C. Piazza, and G. Rossi.

Narrowing the gap between Set-Constraints and CLP(SET)-Constraints
In J. L. Freire and M. Falaschi, eds., APPIA-GULP-PRODE'98. Joint Conference on Declarative Programming, pages 43--55. (La Coruna (ES), July 1998). (.pdf)
 
• A. Dovier, C. Piazza, and G. Rossi.

Some analysis of the relations between Set-Constraints and CLP with Sets
In A. Podelski, ed., Fourth International Workshop on Set Constraints and Constraint-based Program Analysis (Pisa, Italy, October 30, 1998).
 
• G. Rossi.

Program Specification and Programming with Sets in Logic
In I.Plander, ed., Proceedings of the Seventh Int'l Conference on Artificial Intelligence and Information-Control Systems of Robots, World Scientific Publishing, 1997 (Bratislava, Slovakia, September 1997).
 
• R. Carmona, A. Dovier, and G. Rossi.

Dealing with Infinite Intensional Sets in CLP
In M. Falaschi, ed., APPIA-GULP-PRODE'97. Joint Conference on Declarative Programming (Grado, Italy, June 1997).
 
• A. Provetti and G. Rossi.

Action Specification in {log}
In M. Falaschi, ed., AGP'97. Joint Conference on Declarative Programming (Grado, Italy, June 1997).
 
• A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.

{log}: A Language for Programming in Logic with Finite Sets
The Journal of Logic Programming, North Holland, Vol. 28(1), July 96, 1-55. (draft)
 
• A. Dovier, A. Policriti, and G. Rossi.

Integrating lists, multisets, and sets in a logic programming framework.
In Franz Baader and Klaus U. Schulz eds., Frontier of Combining Systems 1996, Kluwer Academic Publishers, Applied Logic Series 3, 213--229 (M&uumlnchen, Germany, March 1996). (.pdf)
 
• A. Dovier, E. Pontelli, and G. Rossi.

The CLP language {log} and the relation between intensional sets and negation
Technical Report NMSU-CSTR-9503, Department of Computer Science, New Mexico State University, USA, 1995.
 
• L. Giordano, A. Martelli, and G.F. Rossi.

Structured Prolog: A Language for Structured Logic Programming
Software: Concepts and Tools, Springer Verlag, Vol. 15, 1994, 125-145.
 
• P. Bruscoli, A. Dovier, E. Pontelli, and G.F. Rossi.

Compiling Intensional Sets in CLP
In P. Van Entenryck ed., Logic Programming: Proceedings of the Eleventh International Conference, The MIT Press, 647--661 (S. Margherita Ligure, Italy, June 1994). (.pdf)
 
• A. Dovier, E. Omodeo, A. Policriti, and G.F. Rossi.

Solving Systems of Equations over Hypersets
In M. Alpuente, R. Barbuti, and I. Ramos eds., GULP'94--PRODE, Joint Conference on Declarative Programming. Volume I, 403--417 (Peniscola, Spain, September 1994).
 
• G.F. Rossi.

Programs as Data in an Extended Prolog
The Computer Journal, Cambridge University Press, Vol. 36, No. 3, 1993, 217-226.
 
• E.Lamma, P.Mello, and G.F. Rossi.

Parametric Composable Modules in a Logic Programming Language
Computer Languages, Pergamon Press, Vol.18, No.2, 1993, 105-123.
 
• A. Dovier and G.F. Rossi.

Embedding extensional finite sets in CLP
In D. Miller ed., Proceedings of 1993 International Logic Programming Symposium, The MIT Press, 1993, 540--556. (.pdf)
 
• I. Cervesato and G.F. Rossi.

A WAM Implementation for the Logic Meta Programming Language 'Log
In D. Saccà ed., Proceedings of the 8th Italian Conference on Logic Programming - GULP'93 Mediterranean Press, 203-214 (Gizzeria Lido, Italy, June 1993). (bibtex, .ps)
 
• A. Dovier and G. Rossi.

Un linguaggio logico con insiemi finiti inserito nello schema CLP
In D. Sacca` ed., GULP'93, VIII Convegno sulla Programmazione Logica, pp. 71--85 (Gizzeria Lido, June 1993).
 
• L. Giordano, A. Martelli, and G.F. Rossi.

Extending Horn Clause Logic with Implication Goals
Theoretical Computer Science, Elsevier Science Publishers B.V., Vol.95, No.1, 1992, 43-74.
 
• A. Dovier, E. G. Omodeo, E. Pontelli, and G.F. Rossi.

Embedding Finite Sets in a Logic Programming Language
In E. Lamma and P. Mello eds, Extension of Logic Programming'92, No. 660 of Lecture Notes in Artificial Intelligence, Springer Verlag, 1992, 150--167 (Bologna, Italy, February 1992). (.pdf)
 
• I.Cervesato and G.F. Rossi.

Logic Meta-Programming Facilities in 'Log"
In A. Pettorossi, editor, Meta-Programming in Logic, No. 649 of Lecture Notes in Computer Science, Springer Verlag, 1992, 148-161. (bibtex, .ps)
 
• A. Dovier, E. G. Omodeo, E. Pontelli, and G.F. Rossi.

{log}: A Logic Programming Language with Finite Sets
In K. Furukawa ed., Logic Programming: Proceedings of the Eighth International Conference, The MIT Press, 111--124 (Paris, France, June 1991). (.pdf)
 
• I. Cervesato and G.F. Rossi.

Meta-Programmazione Logica in 'Log (in Italian)
In P. Asirelli ed., Proceedings of the 6th Italian Conference on Logic Programming - GULP'91, 275-289 (Pisa, Italy, 12-14 June 1991). (bibtex, .ps)
 
• A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi.

{log}: A Language for Programming in Logic with Finite Sets
In P. Asirelli ed., GULP'91: VI Convegno sulla Programmazione Logica, pp. 241--255 (Pisa, June 1991).

Other papers

Last modified: Jan. 2009