Witold Lukaszewicz

Dept. of Computer Science , Linköping University and

6 papers in the IJCAI proceedings

IJCAI 2001

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

with Patrick Doherty, Andrzej Szalas

Details PDF

IJCAI 1997

Reasoning about Plans

with Ewa Madalinska-Bugaj

Details PDF

IJCAI 1995

Computing Circumscription Revisited: Preliminary Report

with Patrick Doherty, Andrzej Szalas

Details PDF

Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report

with Ewa Madalinska-Bugaj

Details PDF

IJCAI 1985

Two Results on Default Logic

Details PDF

IJCAI 1983

General Approach to Nonmonotonic Logics

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings