|
João Leite |
|
Home Research Teaching Miscellaneous |
|
Projects |
|
FLUX — FleXible Logical Updates |
|
|
RRA — Rational and Reactive Agents |
|
|
MENTAL — Mental Agents Architecture in Logic |
|
|
TARDE — Tabulation and Revision in a Distributed Prolog Environment |
|
|
CLIMA — Computational Logic in Multi-Agent Systems |
|
|
DALT — Declarative Agent Languages and Tecnologies |
|
|
CoLogNET — Network of Excellence in Computational Logic |
|
|
AgentLink III — Co-ordination Action for Agent Based Computing |
|
|
RIEM — A System for Optical Recognition and Interpretation of Printed Music |