Patrick Caldon

On mathematical instrumentalism*

Aleksandar Ignjatovic, Patrick Caldon, A. Ignjatović, 2005, Journal of Symbolic Logic.

Limiting programs for induction in artificial intelligence

Patrick Caldon, 2008 .

Limiting Resolution: From Foundations to Implementation

Patrick Caldon, Eric Martin, É. Martin, 2004, ICLP.

Learning a Plan in the Limit

Patrick Caldon, Eric Martin, É. Martin, 2007, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

Using Text Classification to Predict the Gene Knockout Behaviour of S. Cerevisiae

Patrick Caldon, 2003, APBC.