Alberto Momigliano

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

I'm an ABD Ph.D. Student in the Pure and Applied Logic Program at CMU. My advisor is Frank Pfenning. 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 University of Milan, (DSI), please check the Interest Group on Logical and Constructive Methods in Computer Science .

My thesis regards negation in logical frameworks. Some chapters and a very preliminary draft can be found in Dissertation.

Logical Frameworks

Negation in Logic Programming

Theorem Proving

More information in Research

A. Momigliano. Elimination of Negation in a Logical Framework. Submitted (PS).
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) A full version of the paper can be found here: (PS)
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)

Dissertation