Paola Bruscoli

Publication Activity (10 Years)

Years Active: 1993-2017
Publications (10 Years): 2

Top Topics

Inference Mechanism

Efficient Learning

Top Venues

Log. Methods Comput. Sci.

Publications

Paola Bruscoli, Lutz Straßburger
On the Length of Medial-Switch-Mix Derivations. WoLLIC (2017)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae Log. Methods Comput. Sci. 12 (2) (2016)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. LPAR (Dakar) (2010)
Paola Bruscoli, Alessio Guglielmi
On the proof complexity of deep inference. ACM Trans. Comput. Log. 10 (2) (2009)
Paola Bruscoli, Alessio Guglielmi
On the Proof Complexity of Deep Inference CoRR (2007)
Paola Bruscoli, Alessio Guglielmi
On structuring proof search for first order linear logic. Theor. Comput. Sci. 360 (1-3) (2006)
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic CoRR (2003)
Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming. ICLP (2003)
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic. LPAR (2003)
Paola Bruscoli
A Purely Logical Account of Sequentiality in Proof Search. ICLP (2002)
Paola Bruscoli, Alessio Guglielmi
A Linear Logic Programming Language with Parallel and Sequential Conjunction. GULP-PRODE (1995)
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Compiling Intensional Sets in CLP. ICLP (1994)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Compilative Constructive Negation in Constraint Logic Programs. CAAP (1994)
Paola Bruscoli, Alessio Guglielmi
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. GULP-PRODE (2) (1994)
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli
Extensional and Intensional Sets in CLP with Intensional Negation. ICLP Workshop on Logic Programming with Sets (1993)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Intensional Negation in Constraint Logic Programs. GULP (1993)