This page is no longer updated, the new one is here

Paola Bruscoli

I'm a visiting researcher at University of Bath, after having spent many years at the International Center for Computational Logic in Dresden, where I taught for the International Masters Programme in Computational Logic. I'm also a wife, mother of two daughters and owner of a cat.

Contents

Research

My research interests focus on structural proof theory, substructural logics and their application in the design of logical languages for planning and concurrency, logic programming, concurrency, and more in general mathematical foundations of language design and theoretical computer science.

I'm interested in the calculus of structures, a proof theoretical formalism employing deep inference, originally conceived by my husband Alessio Guglielmi and further developed by our group. I also am interested in the proof theory of the sequent calculus.

Related Links

Teaching

For students of the summer semester 2005
Introduction to Sequent Calculus and Abstract Logic Programming

References:

Good pointers to books, tutorials, papers on the web can be found from the ProofTheory.org site. Some of these books are available in our library. I'm also using the following papers, available on the web:

Some students have asked for the transparencies used during the course (they might very well have typos):

Courses for the International Masters Programme in Computational Logic

Courses for the Diplom-Informatik, Technische Universität Dresden

Other Courses

Organisation of Events

I was one of the organisers of the following events

Publications

Proof Theory of Sequent Calculus

A Tutorial on Proof Theoretic Foundations of Logic Programming
Paola Bruscoli and Alessio Guglielmi

On Structuring Proof Search for First Order Linear Logic
Paola Bruscoli and Alessio Guglielmi

Calculus of Structures

A Purely Logical Account of Sequentiality in Proof Search
Paola Bruscoli

A purely logical account of sequentiality in proof search - extended abstract
Paola Bruscoli

Language Design for Coordination and Planning

A linear logic view of Gamma style computations as proof searches
Paola Bruscoli and Alessio Guglielmi

A linear logic programming language with parallel and sequential conjunction
Paola Bruscoli and Alessio Guglielmi

On Gamma style computations in abstract linear logic programming
Paola Bruscoli and Alessio Guglielmi

Expressiveness of the abstract logic programming language Forum in planning and concurrency
Paola Bruscoli and Alessio Guglielmi

Planning and abstract logic programming: A linear logic approach
Paola Bruscoli, Alessio Guglielmi and Giorgio Levi

Extension of Logic Programming Languages with Set Theory

Compiling intensional sets in CLP
Paola Bruscoli, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi

Extensional and intensional sets in CLP with intensional negation
Paola Bruscoli, Agostino Dovier, Eugenio Omodeo, Enrico Pontelli and Gianfranco Rossi.

Extensional and intensional sets in CLP with intensional negation
Paola Bruscoli, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi.

Semantics of Negation in Logic Programming Languages

Compilative constructive negation in constraint logic programs
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Intensional negation in constraint logic programs
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Intensional negation in constraint logic programs
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Intensional negation in CLP
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Other Material

Note sulla semantica denotazionale del linguaggio imperativo IMP
Paola Bruscoli

Linear Logic for Spatial and Temporal Reasoning - Proof Search and Partial Order Planning
Paola Bruscoli

Postal Address

Computer Science Department
University of Bath
Bath BA2 7AY
UK

Fax: +44 (0870) 7052029, or please send me an email.

26.3.2006Paola Bruscoliemail