Sfoglia per Autore
Regular search spaces and constructive negation
1997 A. Momigliano, M. Ornaghi
Towards a Logic for Reasoning About Logic Programs Transformation
1998 A. Momigliano, M. Ornaghi
Extracting exact time bounds from logical proofs
2002 M. Ferrari, C. Fiorentini, M. 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
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
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
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
Answer Set Semantics vs. Information Term Semantics
2007 C. Fiorentini, M. Ornaghi
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
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
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
FUN PLEdGE : a FUNny platformers LEvels GEnerator
2015 D. Maggiorini, M. Mannalà, M. Ornaghi, L.A. Ripamonti
LOGI: A didactic tool for a beginners' course in logic (system description)
2017 M. Ornaghi, C. Fiorentini, A. Momigliano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile