Szalas, Andrzej

2 publications

IJCAI 2001 Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas

IJCAI 1995 Computing Circumscription Revisited: Preliminary Report Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas