italiano | contact

Special Issues/Journals/Books Proceedings Chapter Technical Report



S. Costantini, O. D'Antona, A. Provetti. On the Equivalence and Range of Applicability of Graph-based Representations of Logic Programs, Information Processing Letters (84):2

S. Costantini. On the existence of stable models of non-stratified logic programs, Dipartimenti di Informatica, Università di L'Aquila, Tech. Report 2003/026


S. Costantini. Meta-reasoning: a survey, Computational Logic: Logic Programming and Beyond, Lecture Notes in artificial Intelligence

S. Costantini, A. Tocchio. A Logic Programming Language for Multi-agent Systems, 8th European Conference, Jelia 2002, Lecture Notes in artificial Intelligence

S. Costantini, R. P. Otero, A. Provetti, T. C. Son. Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report), Foundations of Intelligent Systems, Proceedings of 13th International Symposium ISMIS02, Lecture Notes in Artificial Intelligence


S. Costantini. Comparing different graph representations of Logic Programs under the Answer Set semantics, AAAI Spring 2001 Symposium on: Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning


S. Costantini, J. Barklund, P. Dell'Acqua, G. A. Lanzarone. Reflective Computational Logic, Journal of Logic and Computation (10):6


S. Costantini. Towards Active Logic Programming, Electronic Proceedings of COCL'99, Second International Workshop on Component-Based Software Development in Computational Logic

S. Costantini, G. Brignoli, O. D'Antona, A. Provetti. Characterizing and Computing Stable Models of Logic Programs: the non-Stratified Case, 1999 Conference on Information Technology


S. Costantini, J. Barklund, P. Dell'Acqua, G. A. Lanzarone. Multiple Metareasoning Agents for Flexible Query-Answering Systems,


S. Costantini, G. A. Lanzarone. Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation, Artificial Intelligence and Law 3

S. Costantini, G. A. Lanzarone, G. Magliocco. Asserting Lemmas in the Stable Model Semantics, 1996 Joint International Conference and Symposium, Logic Programming


S. Costantini, G. A. Lanzarone, L. Sbarbaro. A Formal Definition and a Sound Implementation of Analogical Reasoning in Logic Programming, Annals of Mathematics and Artificial Intelligence 14

S. Costantini. Contributions to the Stable Model Semantics of Logic Programs with Negation, Theoretical Computer Science 149

S. Costantini, G. A. Lanzarone. Static Semantics as Program Transformation and Well-Founded Computation, Non-Monotonic Extensions of Logic Programming, Lecture Notes in Artificial Intelligence


S. Costantini, G. A. Lanzarone. A Metalogic Programming Approach: Language, Semantics and Applications, JETAI, International Journal of Experimental and Theoretical Artificial Intelligence

S. Costantini, A. Provetti. Normal Forms for Answer Sets Programming, UniversitÓ degli Studi di L'Aquila, Tech. Report



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›