ORNAGHI, MARIO
ORNAGHI, MARIO
Dipartimento di Informatica Giovanni Degli Antoni
LOGI: A didactic tool for a beginners' course in logic (system description)
2017 M. Ornaghi, C. Fiorentini, A. Momigliano
Monsters of Darwin: a strategic game based on Artificial Intelligence and Genetic Algorithms
2017 D. Norton, L.A. Ripamonti, M. Ornaghi, D. Gadia, D. Maggiorini
FUN PLEdGE : a FUNny platformers LEvels GEnerator
2015 D. Maggiorini, M. Mannalà, M. Ornaghi, L.A. Ripamonti
Proof-Theoretic and Higher-Order Extensions of Logic Programming
2010 A. Momigliano, M. Ornaghi
A constructive approach to testing model transformations
2010 C. Fiorentini, A. Momigliano, M. Ornaghi, I. Poernomo
Towards a type discipline for answer set programming
2009 C. Fiorentini, A. Momigliano, M. Ornaghi
Applying ASP to UML model validation
2009 M. Ornaghi, C. Fiorentini, A. Momigliano, F. Pagano
Model Validation through CooML Snapshot Generation
2008 C. Fiorentini, M. Ornaghi
Snapshot generation in a constructive object-oriented modeling language
2008 M. Ferrari, C. Fiorentini, A. Momigliano, M. Ornaghi
Answer Set Semantics vs. Information Term Semantics
2007 C. Fiorentini, M. Ornaghi
A Software Component Model and Its Preliminary Formalisation
2006 K. Lau, M. Ornaghi, Z. Wang
A constructive object oriented modeling language for information systems
2006 M. Ornaghi, M. Benini, M. Ferrari, C. Fiorentini, A. Momigliano
Snapshots generation via constructive logic
2005 M. Ornaghi, C. Fiorentini, A. Momigliano
Constructive specifications for compositional units
2005 K.-K. Lau, A. Momigliano, M. Ornaghi
Correct OO Systems in Computational Logic
2004 K. Kiu Lau, M. Ornaghi
Specifying Compositional Units for Correct Program Development in Computational Logic
2004 Kung-Kiu Lau, Mario Ornaghi
On Uniformly Constructive and Semiconstructive Formal Systems
2003 M. Ferrari, M. Pierangelo, M. Ornaghi
Preface. In Memoriam Pierangelo Miglioli (1946-1999).
2003 M. Ornaghi
Extracting exact time bounds from logical proofs
2002 M. Ferrari, C. Fiorentini, M. Ornaghi
Towards a Logic for Reasoning About Logic Programs Transformation
1998 A. Momigliano, M. Ornaghi