Publications

Journals

 
• An Algebraic Perspective of Constraint Logic Programming. (With F.S. de Boer and C. Palamidessi.) Journal of Logic and Computation, 7(1), 1997. (Abstract, postscript.)

 
• Nondeterminism and Infinite Computations in Constraint Programming. (With F.S. de Boer and C. Palamidessi.) Theoretical Computer Science, 151:37-78, 1995. (Abstract, postscript.)

 
• Negation as Instantiation. (With C. Palamidessi and M. Martelli.) Information and Computation, 120(2):263-278, 1995. (Abstract, postscript.) 

Proceedings

 
• Quantitative Observables, Averages and Constraint Programming (With H. Wiklicky.) Proc. ERCIM Workshop on Constraint Programming , 1999, Paphos, Cyprus. (Abstract, postscript.)

 
• Ergodic Average in Constraint Programming (With H. Wiklicky.) Proc. 2nd International Workshop on Probabilistic Methods in Verification, PROBMIV'99 , 1999, Eindhoven, Holland. (Abstract, postscript.)

 
• A Markov Model for Probabilistic Concurrent Constraint Programming (With H. Wiklicky.) Proc. of APPIA-GULP-PRODE'98, Joint Conference on Declarative Programming , 1998, Corunna, Spain. (Abstract, postscript.)

 
• Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model (With H. Wiklicky.) Proc. of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, Lecture Notes in Computer Science. Springer-Verlag , 1998, Brno, Czech Republic. (Abstract, postscript.)

 
• Implementing Randomised Algorithms in Constraint Logic Programming (With N. Angelopoulos and H. Wiklicky.) Proc. of the Joint International Conference and Symposium on Logic Programming, JICSLP'98. MIT Press. , 1998, Manchester, UK. (Abstract, postscript.)

 
• An Operational Semantics for Probabilistic Concurrent Constraint Programming (With H. Wiklicky.) Proceedings of IEEE Computer Society International Conference on Computer Languages , 1998, Loyola University Chicago, Chicago, USA. (Abstract, postscript.)

 
• A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming (With H. Wiklicky.) Proceedings of CATS'98, Computing: the 4th Australian Theory Symposium , 2 - 3 February, 1998, University of Western Australia, Perth, Australia. (Abstract, postscript.)

 
• On Probabilistic CCP (With H. Wiklicky.) Proceedings of APPIA-GULP-PRODE'97, Joint Conference on Declarative Programming , Grado, Italy, June, 1997. (Abstract, postscript.)

 
• On Negation As Instantiation (With W. Drabent.) Proceedings of The Fifth International Conference on Algebraic and Logic Programming ALP'96, Lecture Notes in Computer Science. Springer-Verlag, Aachen, Germany, September, 1996. (Abstract, postscript.)

 
• On Quantified Negative Queries (With W. Drabent.) Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July, 1996. (Abstract, postscript.)

 
• A Logical Denotational Semantics for Constraint Logic Programming. In D. Sannella, editor, Proc. of Programming Languages and Systems (ESOP), Volume 788 of Lecture Notes in Computer Science, pages 195-210. Springer-Verlag, 1994. (Abstract and postscript available of the full version: An algebraic perspective of constraint logic programming.)

 
• Negation As Instantiation: a New Rule for the Treatment of Negation in Logic Programming. (With C. Palamidessi and M. Martelli.) In K. Furukawa, editor, Proceedings of The Eight International Conference on Logic Programming, pages 32-48, The MIT press, 1991. (Abstract and postscript available of the full version: Negation as Instantiation.)

 
• Amalgamating NAF and NAI. In D. Saccà, editor, Proceedings of The Eighth Italian Conference on Logic Programming, pages 309-321, 1993. (Abstract, postscript.)

 
• SLDNI-resolution. A Non-floundering Interpreter for General programs. (With C. Palamidessi and M. Martelli.) In P. Asirelli, editor, Proceedings of The Sixth Italian Conference on Logic Programming, pages 293-308, 1991.

PhD Thesis

 
• Negation and Infinite Computations in Logic Programming. Technical Report 3/94, Dipartimento di Informatica, Universita` di Pisa, 1994. (Abstract, postscript.)

 

 

---