Publications of Gianfranco Rossi
- M. Cristiá, G. Rossi.
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
.
Submitted for pubblication.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.
Submitted for pubblication.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
An Automatically Verified Prototype of a Landing Gear System.
To appear in From Computational Logic to Computational Biology (D. Cantone, A. Pulvirenti, Eds),
Vol. 14070 of the LECTURE NOTES IN
COMPUTER SCIENCE series, Springer, 2024.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
{log} User's Manual - Version 4.9.8 Release 14h.
Available here,
Febbruary 2024.
- M. Cristiá, G. Rossi.
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.
ACM Transactions on Computational Logic, 25(1), pages 1-34, 2023.
Preliminary version available through ArXiv.org.
- M. Cristiá, A. Fois, G. Rossi.
Declarative Programming with Intensional Sets in Java Using JSetL.
The Computer Journal,
https://doi.org/10.1093/comjnl/bxab195, 2022.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
{log}: Set Formulas as Programs.
Rendiconti dell'Istituto di Matematica dell'Università di Trieste,
Vol. 53, 2021.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
Integrating Cardinality Constraints into Constraint Logic Programming with Sets.
Theory and Practice of Logic Programming, pages 1-33, 2021.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
An Automatically Verified Prototype of the Tokeneer ID Station Specification.
Journal of Automated Reasoning, Vol. 65, No. 8, pages 1125-1151, 2021.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
{log} : Applications to Software Specification, Prototyping and Verification.
Available through ArXiv.org, 2021.
- M. Cristiá, R.D. Katz, G. Rossi.
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra.
The Computer Journal,
https://doi.org/10.1093/comjnl/bxab030, 2021.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
Automated Reasoning with Restricted Intensional Sets.
Journal of Automated Reasoning,Vol. 65, No. 6, pages 809-890, 2021.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi.
Automated Proof of Bell-LaPadula Security Properties.
Journal of Automated Reasoning, Vol. 65, No. 4, pages 463-478, 2021.
Preliminary version available through ArXiv.org.
- G. Rossi, R. Amadini, A. Fois.
JSetL User's Manual - Version 3.0.
Available here,
March 2020.
- M. Cristiá, G. Rossi.
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations.
Journal of Automated Reasoning, Vol. 64, No. 2, pages 295-330, 2020.
- F. Bergenti, S. Monica, G. Rossi.
Constraint Logic Programming with Polynomial Constraints over Finite Domains.
Fundamenta Informaticae, IOS Press, Vol. 161,
pages 9-27, 2018.
- M. Cristiá, G. Rossi.
A Set Solver for Finite Relation Algebra.
In J. Desharnais, W. Guttmann, S. Joosten, Eds.,
Relational and Algebraic Methods in Computer Science (RAMICS 2018),
Lecture Notes in Computer Science, Vol. 11194, Springer, pages 333-349, 2018.
- M. Cristiá, G. Rossi.
Programming in Java with Restricted Intensional Sets.
In M. Cristiá, D. Delahaye, C. Dubois, Eds.,
SETS 2018 - Sets and Tools, Southamptom, United Kingdom, June 5, 2018,
CEUR Workshop Proceedings, Vol. 2199, CEUR,
pages 17-31, 2018.
- M. Cristiá, G. Rossi, C. Frydman.
Using a Set Constraint Solver for Program Verification.
In Proceedings
4th Workshop on Horn Clauses for Verification and Synthesis, HCVS@CADE 2017,
Gothenburg, Sweden, August 2017.
- M. Cristiá, G. Rossi.
A Decision Procedure for Restricted Intensional Sets.
In L. de Moura, Ed.,
Automated Deduction - CADE 26 (26th International Conference on Automated Deduction),
Lecture Notes in Computer Science, Vol. 10395, Springer, pages 186-201, 2017.
- M. Cristiá, G. Rossi.
A Decision Procedure for Sets, Binary Relations and Partial Functions.
In S.Chaudhuri and A.Farzan, Eds.,
Computer Aided Verification - 28th International Conference, CAV 2016,
Lecture Notes in Computer Science, Vol. 9779, Springer, pages 179-198, 2016.
- F. Bergenti, S. Monica, G. Rossi.
Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form.
CILC 2016 - Italian Conference on Computational Logic, Milano, Italy, June 2016,
CEUR Workshop Proceedings, Vol. 1645, CEUR, pages 118-131, 2016.
- F. Bergenti, S. Monica, G. Rossi.
A Subdivision Approach to the Solution of Polynomial
Constraints over Finite Domains using the Modified Bernstein Form.
In G.Adorni, S.Cagnoni, M.Gori, M-Maratea, Eds.,
AI*IA 2016 Advances in Artificial Intelligence,
Lecture Notes in Artificial Intelligence, Vol. 10037, Springer, pages 105-117, 2016.
- M. Cristiá, G. Rossi, C. Frydman.
Adding Partial Functions to Constraint Logic Programming with Sets.
Theory and Practice of Logic Programming, Vol. 15(4-5),
pages 651-665, 2015.
Preliminary version available through ArXiv.org.
- M. Cristiá, G. Rossi, C. Frydman.
First Steps in Integrating {log} into Z/EVES.
Presented at
2nd International Workshop about Sets and Tools (SETS 2015),
Oslo, Norway, June 23, 2015.
- M. Cristiá, G. Rossi, C. Frydman.
Helping Programmers to Adopt Set-Based Specifications.
In A.Bollin, T.Margaria, and I.Perseil, Eds.,
Proceedings of the First Workshop on Formal Methods in Software
Engineering Education and Training, FMSEE&T 2015,
Oslo, Norway, June 23, 2015,
CEUR Workshop Proceedings, Vol. 1385, CEUR,
pages 3-10, 2015.
- G. Rossi, F. Bergenti.
Nondeterministic Programming in Java with JSetL.
Fundamenta Informaticae, IOS Press, Vol. 140 (3-4),
pages 393-412, 2015.
- G. Rossi.
Programming with Partially Specified Collections.
In D. Delahaye, C. Dubois, Eds.,
1st International Workshop about Sets and Tools (SETS 2014),
Toulouse (France), June 2014, pages 69-83, 2014
(online proceeedings)
- M. Cristiá, G. Rossi.
Rapid Prototyping and Animation of Z Specifications Using {log}.
In D. Delahaye, C. Dubois, Eds.,
1st International Workshop about Sets and Tools (SETS 2014),
Toulouse (France), pages 4-18, June 2014
(online proceeedings)
- M. Cristiá, G. Rossi, C. Frydman.
{log} as a Test Case Generator for the Test Template Framework.
In R.M.Hierons, M.Merayo, and M.Bravetti, Eds.,
SEFM 2013: 11th International Conference on Software Engineering and Formal Methods,
Lecture Notes
in Computer Science, Vol. 8137, Springer, pages 229-243, 2013.
Preliminary version available as
Research Report "Quaderno del Dipartimento di Matematica e Informatica", n. 508,
Università di Parma, December 2012
(.pdf)
- G. Rossi, F. Bergenti.
Nondeterministic Programming in Java with JSetL.
In D.Cantone and M.Nicolosi Asmundo, Eds.,
CILC 2013 - Italian Conference on Computational Logic, Catania, Sept. 2013,
CEUR Workshop Proceedings, Vol. 1068, F
pages 211-226, 2013.
Extended preliminary version available as
Research Report "Quaderno del Dipartimento di Matematica e Informatica", n. 510,
Università di Parma, January 2013
(.pdf)
- M. Cristiá, G. Rossi.
Using {log} as a Test Case Generator for Z Specifications.
Presented at CILC 2013
- Italian Conference on Computational Logic, Catania, Sept. 2013.
- F. Fioravanti, A. Pettorossi, G. Rossi.
Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011.
F. Fioravanti, A. Pettorossi and G. Rossi, Eds.,
Fundamenta
Informaticae, Vol. 124, n. 4, IOS Press, 2013,
- G. Rossi, R. Amadini.
JSetL User's Manual - Version 2.3.
Research Report "Quaderno del Dipartimento di Matematica", n. 507,
Università di Parma, January 2012.
(.pdf)
-
F. Bergenti, L. Chiarabini, G. Rossi.
Programming with Partially Specified Aggregates in Java.
Computer Languages, Systems & Structures, Elsevier,
Vol. 37/4, pages 178-192, 2011
(abstract)
-
G. Rossi.
From Set Unification to Set Constraints.
In
Intelligenza Artificiale,
IOS Press, Vol. 5, No. 1, pages 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,
Università 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.
In N. Fornara & G. Vouros, Eds., Proceedings of the 3rd Multi-Agent
Logics, Languages, and Organisations Federated Workshops (MALLOW 2010),
Lyon, France, Sept. 2010, pages 134–149, 2010
(.pdf).
Also available as Technical Report RT 128/2010, Dipartimento di Informatica,
Università 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,
pages 1-14, 2010.
-
A. Dal Palù, A. Dovier, E. Pontelli, G. Rossi.
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae, IOS Press
Vol. 96, pages 297-322, 2009.
-
F. Bergenti, A. Dal Palù, G. Rossi.
Integrating Finite Domains and Set Constraints into a
Set-based Constraint Language
Fundamenta Informaticae, IOS Press,
Vol. 96, pages 227-252, 2009.
-
A. Dal Palù, A. Dovier, E. Pontelli, 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,
pages 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, CEUR Workshop Proceedings, Vol. 487, pages 20-25, 2009.
(.pdf)
Also available as
Technical Report - Dip. di Informatica, Univ. di Torino, RT 110/08, 2008.
-
A. Dal Palù, A. Dovier, E. Pontelli, 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ù, 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, 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, G. Rossi.
A uniform approach to constraint-solving for lists, multisets, compact
lists, and sets.
ACM Transactioncs on Computational Logic,
Vol. 9, No. 3, May 2008.
Preliminary version available through ArXiv.org.
-
G. Rossi, E. Panegai, E. Poleo.
JSetL: a Java Library for Supporting Declarative Programming in
Java.
Software-Practice & Experience, Vol. 37, pages 115-149, 2007.
Preliminary version available here.
-
A. Dal Palù, A. Dovier, E. Pontelli, 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, G. Rossi.
Set Unification.
Theory and Practice of Logic Programming , Vol. 6, No. 6, pages 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 , G. Rossi.
Declarative Programming in Java using JSetL.
Presented at CILC'05
- Convegno Italiano di Logica Computazionale,
Roma, June 2005. (.ps)
-
G. Rossi, E. Poleo.
JSetL: Declarative Programming in Java with Sets.
In CF'04, 2004 ACM International Conference on Computing Frontiers,
ACM Press, 2004 (.ps)
-
G. Rossi, 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, 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, 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 Palù, A. Dovier, E. Pontelli, 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,
pages 219-229, 2003 (.ps).
Also presented at 12th
International Workshop on Functional and (constraint) Logic Programming,
Valencia, June 2003 (.ps)
-
A. Dovier, E. Pontelli, 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,
pages 284-299, 2003 (draft).
Also in AGP'03
- Joint Conference on Declarative Programming,, Reggio Calabria,
Sept. 2003, pages 36-49, 2003 (.ps)
-
G. Rossi, 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, pages 229-250, 2005
(.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, , 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.,
17 pages, 2002 (.ps)
-
A. Dovier, C. Piazza, , 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,
pages 103-121, 2001 (.ps).
Preliminary version presented at AGP'01 - 2001 Joint Conference
on Declarative Programming, Sept. 2001, Evora, Portugal (.ps)
-
A. Dovier, C. Piazza, , 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, G. Rossi.
Constructive negation and constraint logic programming with sets.
New Generation Computing, Springer Verlag and Ohmsha Ltd,19(3),
pages 209-255, 2001 (.ps)
-
A. Dovier, C. Piazza, E. Pontelli, G. Rossi.
Sets and Constraint Logic Programming.
ACM Transaction on Programming Language and Systems, Vol. 22
(5), pages 861-931, 2000 (.ps)
-
A. Dovier, E. Pontelli, G. Rossi.
A Necessary Condition for Constructive Negation in Constraint Logic
Programming.
Information Processing Letters, Vol. 74 (3-4), Elsevier,
North Holland, pages 147-156, 2000 (.ps)
-
A. Dovier, C. Piazza, 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, 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, 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, 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, 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, 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, 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, Manchester, UK. 15-19 June 1998,
The MIT Press, pages 40-54, 1998
(.pdf)
-
A. Dovier, C. Piazza, 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, La Coruna (ES),
July 1998, pages 43-55, 1998
(.pdf)
-
A. Dovier, C. Piazza, 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, Bratislava, Slovakia, September 1997,
World Scientific Publishing, 1997.
-
R. Carmona, A. Dovier, 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, 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, G. Rossi.
{log}: A Language for Programming in Logic with Finite Sets
The Journal of Logic Programming, North Holland, Vol. 28(1),
pages 1-55, 1996
(draft)
-
A. Dovier, A. Policriti, 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, München, Germany, March 1996,
Kluwer Academic Publishers, Applied Logic Series 3, pages 213--229, 1996
(.pdf)
-
A. Dovier, E. Pontelli, 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, G. 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, G. Rossi.
Compiling Intensional Sets in CLP
In P. Van Entenryck, Ed., Logic Programming: Proceedings of the Eleventh
International Conference, S. Margherita Ligure,
Italy, June 1994, The MIT Press, pages 647--661, 1994
(.pdf)
-
A. Dovier, E. Omodeo, A. Policriti, G. Rossi.
Solving Systems of Equations over Hypersets
In M. Alpuente, R. Barbuti, and I. Ramos, Eds., GULP'94--PRODE, Joint
Conference on Declarative Programming, Peniscola,
Spain, Sept. 1994, Vol. I, pages 403-417, 1994.
-
G. 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, G. Rossi.
Parametric Composable Modules in a Logic Programming Language
Computer Languages, Pergamon Press, Vol.18, No.2, 1993, 105-123.
-
A. Dovier, G. 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, G. 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, Gizzeria Lido, Italy, June 1993,
Mediterranean Press, pages 203-214, 1993
(bibtex,
.ps)
-
A. Dovier, G. Rossi.
Un linguaggio logico con insiemi finiti inserito nello schema CLP
In D. Sacca`, Ed., GULP'93, VIII Convegno sulla Programmazione Logica,
Gizzeria Lido, Italy, June 1993,
Mediterranean Press, pages 71--85, 1993.
-
L. Giordano, A. Martelli, G. 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, G. 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,
pages 150-167, 1992
(.pdf)
-
I.Cervesato, G. 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, G. Rossi.
{log}: A Logic Programming Language with Finite Sets
In K. Furukawa, Ed., Logic Programming: Proceedings of the Eighth
International Conference, The MIT Press, pages 111-124, 1991
(.pdf)
-
I. Cervesato, G. Rossi.
Meta-Programmazione Logica in 'Log (in Italian)
In P. Asirelli, Ed., Proceedings of the 6th Italian Conference on
Logic Programming - GULP'91, Pisa, Italy, 12-14 June 1991, pages 275-289
(bibtex,
.ps)
-
A. Dovier, E. Omodeo, E. Pontelli, G. Rossi.
{log}: A Language for Programming in Logic with Finite Sets
In P. Asirelli, Ed., GULP'91: VI Convegno sulla Programmazione Logica,
Pisa, Italy, 12-14 June 1991, pages 241--255.
Last modified: February 2024