A metatheory of a mechanized object theory

Automating the synthesis of decision procedures in a constructive metatheory

Annals of Mathematics and Artificial Intelligence

Using Abstract Resources to Control Reasoning

Journal of Logic, Language and Information

ML Systems: A Proof Theory for Contexts

Journal of Logic, Language and Information

A Logic for Characterizing Multiple Bounded Agents

Autonomous Agents and Multi-Agent Systems

Meta-reasoning: A Survey

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II