Andrzej Szalas

t Institute of Informatics Warsaw University 00-913 Warsaw 59 , 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