Alberto Momigliano

Department of Philosophy, School of Computer Science, Carnegie Mellon University,

I've just defended my Ph.D. dissertation "Elimination of Negation in a Logical Framework" in the Pure and Applied Logic Program at CMU. My advisor was Frank Pfenning. I've moved to the University of Leicester (UK). Contact information are available in my plan file. A general description of my research interests is below with a list of relevant papers. If you're really a fan, consult my complete bibliography (here in BIB format). At CMU, I am working on the Twelf project . I also have collaborated with the DSI, University of Milano.

My thesis regards negation in logical frameworks. A preliminary draft can be found in Dissertation.

Research Interests

Logical Frameworks

Negation in Logic Programming

Theorem Proving

More information in Research

Selected Recent Publications

A. Momigliano. Elimination of Negation in a Logical Framework. To appear in CSL 2000, 14th Annual Conference of the European Association for Computer Science Logic (EACSL), Fischbachau, Germany, August 21-26, 2000 (PS) (Abstract) (PDF).
A. Momigliano & F. Pfenning. The Relative Complement Problem for Higher-Order Patterns. International Conference on Logic Programming (ICLP'99), La Cruces, New Mexico, November 1999 (Abstract), (PS) (PDF).
A. Momigliano & M. Ornaghi. Regular Search Spaces and Constructive Negation. Journal of Logic and Computation, 1997 (PS) (DVI) (Abstract).
A. Momigliano & M. Ornaghi. Towards a Logic for Reasoning about Logic Program Transformation. LOPSTR'97 (PDF) (PS) (DVI) (Abstract)
A. Momigliano & M. Ornaghi. Regular Search Spaces as a Foundation for Logic Programming. WELP'93 (PS) (DVI) (Abstract)

Bibliography

Curriculum Vitae

Dissertation