The theory underlying finitary programs and a brief description of the
prototypes are illustrated in the following papers:
P.A. Bonatti.
Reasoning with infinite stable models.
Proc. of the 17th Int. Joint Conf. on Artificial Intelligence
(IJCAI'01), pp. 603-608, Morgan Kaufmann, 2001.
[PDF]
P.A. Bonatti.
Reasoning with Infinite Stable Models II: Disjunctive Programs.
Proc. of ICLP 2002, LNCS 2401, 333-346, Springer, 2002.
P.A. Bonatti.
Prototypes for Reasoning with Infinite Stable Models and Function
Symbols.
Proc. of 6th International Conference on Logic Programming and
Nonmonotonic Reasoning
(LPNMR'01), pp 416-419, LNAI 2173, 2001.
[Abstract and PDF]
Relevant projects:
WASP
Working group on Answer Set Programming - EU
project IST-2001-37004
Software