Robert Baumgartner

Institut fiir Informationssysteme Technische Universitat Wien A-1040 Vienna , Austria

1 paper in the IJCAI proceedings

IJCAI 1999

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases

with Georg Gottlob

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings