Francis Jeffry Pelletier

Department of Philosophy University of Alberta Edmonton , AB , Canada

2 papers in the IJCAI proceedings

IJCAI 2015

Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence

with Mehrdad Oveisi, James P. Delgrande, Fred Popowich

Details PDF

IJCAI 1991

The Philosophy of Automated Theorem Proving

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings