-
A Resolution Calculus for First-order Schemata
International audience -
Computational Aspects of Learning, Reasoning, and Deciding
We present results and research projects about the computational aspects of classical problems in Artificial Intelligence. We are interested in the setting of agents...
