From set unification to set constraints

Issue title: Evolutionary Computation – A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli

Article type: Research Article

Authors: Rossi, Gianfranco

Affiliations: Dipartimento di Matematica, Università di Parma, Parco Area delle Scienze 53/A, 43100 Parma, Italy E-mail: gianfranco.rossi@unipr.it

Abstract: In this paper, we briefly summarize some of the most challenging issues that arise when allowing sets to be dealt with as first-class objects of a logic language, ranging from unification of well-founded and non-well-founded sets, to set constraint solving.

Keywords: Set unification, hypersets, set constraints

DOI: 10.3233/IA-2011-0020

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 157-161, 2011