From Constructivism to Logic Programming : an Homage to Mario Ornaghi

• Autorzy: Ferrari M. , Fiorentini C. , Momigliano A.

Identyfikatory

DOI

10.3233/FI-2018-1692

• Konferencja: Italian Conference on Computational Logic (Convegno Italiano di Logica Computazionale, CILC 2016) (31; 20-22.07.2016; Università degli Studi di Milano-Bicocca, Italy)
• Języki publikacji: EN

Abstrakty

EN

In this brief note, we outline Mario Ornaghi’s contributions to the field of computational logic to celebrate his 70th birthday.

Słowa kluczowe

EN

logic programming; constructivism; mathematical models; theory of knowledge; numerical analysis; probability theory

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 161, nr 1/2
• Strony: 1--7
• Opis fizyczny: Bibliogr. 31 poz.

Twórcy

autor

Ferrari M.

• Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria, Italy

autor

Fiorentini C.

• Dipartimento di Informatica, Università degli Studi di Milano, Italy

autor

Momigliano A.

• Dipartimento di Informatica, Università degli Studi di Milano, Italy

Bibliografia

• [1] Ornaghi M. Preface. In Memoriam Pierangelo Miglioli (1946-1999). Studia Logica. 2003;73(1):5-19. doi:10.1023/A:1022981105345.
• [2] Degli Antoni G, Miglioli P, Ornaghi M. The Synthesis of Programs as an Approach to the Construction of Reliable Programs. In: Huet G, Kahn G, editors. Proc. Int. Symp. on Proving and Improving Programs, Arc et Senans; 1975. p. 327-352.
• [3] Miglioli P, Ornaghi M. A Calculus to Build up Correct Programs. Mathematical Foundations of Computer Science. 1977;53:398-409. doi:10.1007/3-540-08353-7_161.
• [4] Miglioli P, Moscato U, Ornaghi M, Usberti G. Constructive Validity and Classical Truth to Assign Meaning to Programs. In: A Ballester DC, editor. Second world conference on mathematics at the service of man. Universidad Politecnica de Las Palmas; 1982. p. 490-500.
• [5] Bertoni A, Mauri G, Miglioli P, Ornaghi M. Abstract Data Types and their Extension within a Constructive Logic. In: Kahn G, MacQueen DB, Plotkin G, editors. Semantics of Data Types. Lecture Notes in Computer Science 173. Springer-Verlag; 1984. p. 177-195.
• [6] Miglioli P, Moscato U, Ornaghi M. Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods. Journal of Symbolic Computation. 1994;18:41-81. URL https://doi.org/10.1006/jsco.1994.1036.
• [7] Miglioli P, Ornaghi M. A Logically Justified Model of Computation I. Fundamenta Informaticae. 1981;IV(1):151-172.
• [8] Miglioli P, Ornaghi M. A Logically Justified Model of Computation II. Fundamenta Informaticae. 1981;IV(2):277-341.
• [9] Ferrari M, Miglioli P, Ornaghi M. On uniformly constructive and semiconstructive formal systems. Logic Journal of the IGPL. 2003;11(1):1-49. doi:10.1093/jigpal/11.1.1.
• [10] Miglioli P, Moscato U, Ornaghi M, Usberti G. A Constructivism Based on Classical Truth. Notre Dame Journal of Formal Logic. 1989;30(1):67-90.
• [11] Miglioli P, Moscato U, Ornaghi M. PAP: a Logic Programming System Based on a Constructive Logic. In: Boscarol M, Aiello LC, Levi G, editors. Foundations of Logic and Functional Programming. Springer-Verlag; 1988. p. 143-156. ISBN:0-387-19129-1.
• [12] Miglioli P, Moscato U, Ornaghi M. A Constructive Logic Approach to Database Theory. In: RCLP. Lecture Notes in Computer Science 592. Springer; 1991. p. 302-321. doi:10.1007/3-540-55460-2_23.
• [13] Ferrari M, Fiorentini C, Ornaghi M. Extracting Exact Time Bounds from Logical Proofs. In: Pettorossi A, editor. Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Selected Papers. Lecture Notes in Computer Science 2372. Springer-Verlag; 2002. p. 245-265. doi:10.1007/3-540-45607-4_14.
• [14] Lau K, Ornaghi M. The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. J Log Program. 1997;30(3):239-257. URL https://doi.org/10.1016/S0743-1066(96)00128-8.
• [15] Lau K, Ornaghi M. Specifying Compositional Units for Correct Program Development in Computational Logic. In: Program Development in Computational Logic. Lecture Notes in Computer Science 3049. Springer; 2004. p. 1-29.
• [16] Lau K, Ornaghi M. Correct OO Systems in Computational Logic. In: Bruynooghe M, editor. Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. vol. 3018 of Lecture Notes in Computer Science. Springer; 2003. p. 34-53. doi:10.1007/978-3-540-25938-1_3.
• [17] Lau K, Ornaghi M, Tärnlund S. The Halting Problem for Deductive Synthesis of Logic Programs. In: ICLP. MIT Press; 1994. p. 665-683. ISBN:9780262257145.
• [18] Lau K, Ornaghi M. Isoinitial Semantics for Logic Programs. In: Computational Logic. Lecture Notes in Computer Science 1861. Springer; 2000. p. 223-238. doi:10.1007/3-540-44957-4_15.
• [19] Lau K, Ornaghi M, Tärnlund S. Steadfast Logic Programs. J Log Program. 1999;38(3):259-294. URL https://doi.org/10.1016/S0743-1066(98)10023-7.
• [20] Flener P, Lau K, Ornaghi M, Richardson J. An Abstract Formalization of Correct Schemas for Program Synthesis. J Symb Comput. 2000;30(1):93-127. URL https://doi.org/10.1006/jsco.1999.0348.
• [21] Lau K, Ornaghi M. Control Encapsulation: A Calculus for Exogenous Composition of Software Components. In: CBSE. Lecture Notes in Computer Science 5582. Springer; 2009. p. 121-139. doi:10.1007/978-3-642-02414-6_8.
• [22] Momigliano A, Ornaghi M. Regular Search Spaces as a Foundation of Logic Programming. In: ELP. Lecture Notes in Computer Science 798. Springer; 1993. p. 222-254. doi:10.1007/3-540-58025-5_59.
• [23] Momigliano A, Ornaghi M. Regular Search Spaces and Constructive Negation. J Log Comput. 1997;7(3):367-403. doi;10.1093/logcom/7.3.367.
• [24] Momigliano A, Ornaghi M. Towards a Logic for Reasoning About Logic Programs Transformation. In: Fuchs NE, editor. Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR’97, Leuven, Belgium, July 10-12, 1997, Proceedings. vol. 1463 of Lecture Notes in Computer Science. Springer; 1997. p. 226-244.
• [25] Ornaghi M, Benini M, Ferrari M, Fiorentini C, Momigliano A. A Constructive Object Oriented Modeling Language for Information Systems. Electr Notes Theor Comput Sci. 2006;153(1):55-75. URL https://doi.org/10.1016/j.entcs.2005.08.006.
• [26] Ferrari M, Fiorentini C, Momigliano A, Ornaghi M. Snapshot Generation in a Constructive Object-Oriented Modeling Language. In: King A, editor. Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. vol. 4915 of Lecture Notes in Computer Science. Springer; 2007. p. 169-184. doi:10.1007/978-3-540-78769-3_12.
• [27] Ornaghi M, Fiorentini C, Momigliano A, Pagano F. Applying ASP to UML Model Validation. In: LPNMR. Lecture Notes in Computer Science 5753. Springer; 2009. p. 457-463. doi:10.1007/978-3-642-04238-6_42.
• [28] Fiorentini C, Momigliano A, Ornaghi M. Towards a Type Discipline for Answer Set Programming. In: TYPES. Lecture Notes in Computer Science 5497. Springer; 2008. p. 117-135. doi:10.1007/978-3-642-02444-3_8.
• [29] Fiorentini C, Momigliano A, Ornaghi M, Poernomo I. A Constructive Approach to Testing Model Transformations. In: ICMT. Lecture Notes in Computer Science 6142. Springer; 2010. p. 77-92. doi:10.1007/978-3-642-13688-7_6.
• [30] Norton D, Ripamonti LA, Ornaghi M, Gadia D, Maggiorini D. Monsters of Darwin: A Strategic Game Based on Artificial Intelligence and Genetic Algorithms. In: GHITALY@CHItaly. CEUR Workshop Proceedings vol. 1956. CEUR-WS.org; 2017. p. 1-6.
• [31] Ornaghi M, Fiorentini C, Momigliano A. LOGI: A Didactic Tool for a Beginners’ Course in Logic (System Description). In: ICTCS/CILC. vol. 1949 of CEUR Workshop Proceedings. CEUR-WS.org; 2017. p. 341-345. URL http://ceur-ws.org/Vol-1949/CILCpaper10.pdf.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).