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 . At theUniversity of Milan, (DSI,) you can check the Interest Group on Logical and Constructive Methods in Computer Science .

My thesis regards negation in logical frameworks. The some chapters can be found in Dissertation.

Logical Frameworks

Negation in Logic Programming

Theorem Proving

More information in Research

A. Momigliano & F. Pfenning. The Relative Complement Problem for Higher-Order Patterns. To appear at the 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 (PS) (DVI) (Abstract)
A. Momigliano & M. Ornaghi. Regular Search Spaces as a Foundation for Logic Programming. WELP'93 (PS) (DVI) (Abstract)

Dissertation