A logic programming architecture for rational multiple agents comprising combinations of various modes of reasoning, updating, planning, learning, and applications.
Started in March 1997 and was concluded in February 2000.
Funding entity: PRAXIS.
Principal researcher: Luís Moniz Pereira.
Researchers: José Alferes, Carlos Damásio, João Leite.
71 publication during the 3 years of the project, plus implementation platform and applications. Final report available from PRAXIS.