Paola Bruscoli
From International Center for Computational Logic
Dr. Paola Bruscoli
Former member
- Former Research Associate in Research Group Knowledge Representation and Reasoning
Newest Publications
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
In Moshe Y. Vardi and Andrei Voronkov, eds., LPAR 2003, volume 2850 of Lecture Notes in Artificial Intelligence, 389-406, 2003. Springer
Details
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
Details Download
Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming
In Catuscia Palamidessi, eds., Logic Programming, 19th International Conference, volume 2916 of Lecture Notes in Computer Science, 109-127, 2003. Springer
Details
Paola Bruscoli
A purely logical account of sequentiality in proof search – extended abstract
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, April 2003. TU Dresden, 01062 Dresden
Details
Paola Bruscoli
A Purely Logical Account of Sequentiality in Proof Search
In Peter J. Stuckey, eds., Logic Programming, 18th International Conference, volume 2401 of Lecture Notes in Artificial Intelligence, 302-316, 2002. Springer
Details Download
