Andrzej Szalas

Dept. of Computer Science , Linköping University and; College of Economics and Computer Science TWP , Olsztyn , Poland

2 papers in the IJCAI proceedings

IJCAI 2001

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

with Patrick Doherty, Witold Lukaszewicz

Details PDF

IJCAI 1995

Computing Circumscription Revisited: Preliminary Report

with Patrick Doherty, Witold Lukaszewicz

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings