Mario Ornaghi

Publication Activity (10 Years)

Years Active: 1974-2019
Publications (10 Years): 4

Top Topics

Artificial Intelligence

Stochastic Search Algorithms

Top Venues

GHITALY@CHItaly

Publications

Alberto Momigliano, Mario Ornaghi
The Blame Game for Property-based Testing. CILC (2019)
Daniele Norton, Laura Anna Ripamonti, Mario Ornaghi, Davide Gadia, Dario Maggiorini
Monsters of Darwin: A Strategic Game Based on Artificial Intelligence and Genetic Algorithms. GHITALY@CHItaly (2017)
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano
LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). ICTCS/CILC (2017)
Dario Maggiorini, Mattia Mannalà, Mario Ornaghi, Laura Anna Ripamonti
FUN PLEdGE: a FUNny Platformers LEvels GEnerator. CHItaly (2015)
Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo
A Constructive Approach to Testing Model Transformations. ICMT@TOOLS (2010)
Kung-Kiu Lau, Mario Ornaghi
Control Encapsulation: A Calculus for Exogenous Composition of Software Components. CBSE (2009)
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano
Applying ASP to UML Model Validation. LPNMR (2009)
Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
Towards a Type Discipline for Answer Set Programming. TYPES (2008)
Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR (2007)
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
A Constructive Object Oriented Modeling Language for Information Systems. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
A Software Component Model and Its Preliminary Formalisation. FMCO (2005)
Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
Constructive Specifications for Compositional Units. LOPSTR (2004)
Mario Ornaghi
Preface. In Memoriam Pierangelo Miglioli (1946-1999). Stud Logica 73 (1) (2003)
Kung-Kiu Lau, Mario Ornaghi
Correct OO Systems in Computational Logic. LOPSTR (2003)
Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi
On Uniformly Constructive and Semiconstructive Formal Systems. Log. J. IGPL 11 (1) (2003)
Kung-Kiu Lau, Mario Ornaghi
Towards Correct Object-Oriented Design Frameworks in Computational Logic. LOPSTR (2002)
Kung-Kiu Lau, Mario Ornaghi
Logic for Component-Based Software Development. Computational Logic: Logic Programming and Beyond (2002)
Kung-Kiu Lau, Mario Ornaghi
Correct Object-Oriented Systems in Computational Logic. LOPSTR (2001)
Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi
Extracting Exact Time Bounds from Logical Proofs. LOPSTR (2001)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
Formal specification of Catalysis frameworks. APSEC (2000)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
An Abstract Formalization of Correct Schemas for Program Synthesis. J. Symb. Comput. 30 (1) (2000)
Kung-Kiu Lau, Mario Ornaghi
Isoinitial Semantics for Logic Programs. Computational Logic (2000)
Kung-Kiu Lau, Mario Ornaghi
Isoinitial Models for Logic Programs: Some Preliminary Results. ICLP (1999)
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
Steadfast Logic Programs. J. Log. Program. 38 (3) (1999)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. LOPSTR (1999)
Kung-Kiu Lau, Mario Ornaghi
OOD Frameworks in Component-Based Software - Development in Computational Logic. LOPSTR (1998)
Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills
Interacting Frameworks in Catalysis. ICFEM (1998)
Kung-Kiu Lau, Mario Ornaghi
Isoinitial Models for Logic Programs: A Preliminary Study. APPIA-GULP-PRODE (1998)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Log. J. IGPL 5 (1) (1997)
Kung-Kiu Lau, Mario Ornaghi
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. J. Log. Program. 30 (3) (1997)
Alberto Momigliano, Mario Ornaghi
Regular Search Spaces and Constructive Negation. J. Log. Comput. 7 (3) (1997)
Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Generalized Tableau Systems for Intemediate Propositional Logics. TABLEAUX (1997)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
On Correct Program Schemas. LOPSTR (1997)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
Correct-Schema-Guided Synthesis of Steadfast Programs. ASE (1997)
Kung-Kiu Lau, Mario Ornaghi
On the Relationship between Logic Programs and Specifications. APPIA-GULP-PRODE (1997)
Alberto Momigliano, Mario Ornaghi
Towards a Logic for Reasoning About Logic Programs Transformation. LOPSTR (1997)
Kung-Kiu Lau, Mario Ornaghi, Alan Wills
Frameworks in Catalysis: Pictorial Notation and Formal Semantics. ICFEM (1997)
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi
Formal Reasoning about Modules, Reuse and their Correctness. FAPR (1996)
Kung-Kiu Lau, Mario Ornaghi
Forms of Logic Specifications: A Preliminary Study. LOPSTR (1996)
Alberto Momigliano, Mario Ornaghi
An Introduction to Regular Search Spaces. GULP-PRODE (1995)
Kung-Kiu Lau, Mario Ornaghi
A Formal Approach to Deductive Synthesis of Constraint Logic Programs. ILPS (1995)
Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti
Correctness of Logic Program Transformations Based on Existential Termination. ILPS (1995)
Kung-Kiu Lau, Mario Ornaghi
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. LOPSTR (1995)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Refutation Systems for Propositional Modal Logics. TABLEAUX (1995)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods. J. Symb. Comput. 18 (1) (1994)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
An Improved Refutation System for Intuitionistic Predicate Logic. J. Autom. Reason. 13 (3) (1994)
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
The Halting Problem for Deductive Synthesis of Logic Programs. ICLP (1994)
Kung-Kiu Lau, Mario Ornaghi
On Specification Frameworks and Deductive Synthesis of Logic Programs. LOPSTR (1994)
Kung-Kiu Lau, Mario Ornaghi
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. LOPSTR (1993)
Alberto Momigliano, Mario Ornaghi
Regular Search Spaces as a Foundation of Logic Programming. ELP (1993)
Kung-Kiu Lau, Mario Ornaghi
An Incompleteness Result for Deductive Synthesis of Logic Programs. ICLP (1993)
Mario Ornaghi
Proof Nets. LOPSTR (1992)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
A constructive logic approach to database theory. CNKBS (1992)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
A Constructive Logic Approach to Database Theory. RCLP (1991)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Program Specification and Synthesis in Constructive Formal Systems. LOPSTR (1991)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
A Constructivism Based on Classical Truth. Notre Dame J. Formal Log. 30 (1) (1989)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. TAPSOFT, Vol.1 (1989)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
Some Results on Intermediate Constructive Logics. Notre Dame J. Formal Log. 30 (4) (1989)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
PAP: A Logic Programming System Based on a Constructive Logic. Foundations of Logic and Functional Programming (1986)
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi
Abstract Data Types and Their Extensions within a Constructive Logic. Semantics of Data Types (1984)
Pierangelo Miglioli, Mario Ornaghi
A logically justified model of computation I. Fundam. Informaticae 4 (1) (1981)
Pierangelo Miglioli, Mario Ornaghi
A logically justified model of computation II. Fundam. Informaticae 4 (2) (1981)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Constructive Proofs as Programs Executable by PrT Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Trees in Kripke Models and in an Intuitionistic Refutation System. CAAP (1981)
Pierangelo Miglioli, Mario Ornaghi
A Calculus to Build Up Correct Programs. MFCS (1977)
Gaetano Aurelio Lanzarone, Mario Ornaghi
Program Construction by Refinements Preserving Correctness. Comput. J. 18 (1) (1975)
Daniele Marini, Pierangelo Miglioli, Mario Ornaghi
First Order Logic as a Tool to Solve and Classify Problems. GI Jahrestagung (1975)
G. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi
Top-down approach to the synthesis of programs. Symposium on Programming (1974)