DALI, RASP, mnemosine: Computational Logic at work

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

Article type: Research Article

Authors: Costantini, Stefania | Paolucci, Alessio | Tocchio, Arianna | Tsintza, Panagiota

Affiliations: Dipartimento di Informatica, Università di L'Aquila, L'Aquila, Italy

Abstract: In this paper, we briefly describe recent research directions of the Artificial Intelligence group of the University of L'Aquila, Italy. Research activities concern Computational Logic and Artificial Intelligence. About Intelligent Logical Agents, in the last years the group has developed the logical agent-oriented language DALI. Work is under way also in other areas, namely, Non-Monotonic Reasoning and Natural Language Processing. We particularly emphasize recent and future work directions.

Keywords: {Computational Logic, logic programming, non-monotonic reasoning

DOI: 10.3233/IA-2011-0012

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 107-111, 2011