|
Home Research Teaching Miscellaneous |
|
Projects |
|
ERRO — Efficient Reasoning with Rules and Ontologies |
|
|
ASPEN — Answer Set Programming with BoolEaN Satisfiability |
|
|
DiFoS — Dialogical Foundations of Semantics |
|
|
ReDiK — Reasoning with Dynamic and Incomplete Knowledge |
|
|
Asia-Link/VN/001 — Computational Logic as a Foundation for Computer Science and Intelligent Systems |
|
|
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 |
|
|
ACROPOLE - ACções e RaciocíniO em ProgramaçãO em Lógica Estendida |
|
|
RIEM — A System for Optical Recognition and Interpretation of Printed Music |