Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.

Fausto Giunchiglia, Paolo Traverso

Browse the full IJCAI paper archive.