Patrick Doherty

Dept. of Computer Science Linköping University S-581 83 Linköping , Sweden

2 papers in the IJCAI proceedings

IJCAI 2001

Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas

with Witold Lukaszewicz, Andrzej Szalas

Details PDF

IJCAI 1995

Computing Circumscription Revisited: Preliminary Report

with Witold Lukaszewicz, Andrzej Szalas

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings