Lukaszewicz, Witold

6 publications

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

IJCAI 1997 Reasoning About Plans Witold Lukaszewicz, Ewa Madalinska-Bugaj

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

IJCAI 1995 Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report Witold Lukaszewicz, Ewa Madalinska-Bugaj

IJCAI 1985 Two Results on Default Logic Witold Lukaszewicz

IJCAI 1983 General Approach to Nonmonotonic Logics Witold Lukaszewicz