Christoph Schwering

University of New South Wales , Sydney NSW 2052 , Australia

4 papers in the IJCAI proceedings

IJCAI 2018

The Complexity of Limited Belief Reasoning—The Quantifier-Free Case

with Yijia Chen, Abdallah Saffidine

doi:10.24963/ijcai.2018/245

Details PDF

IJCAI 2017

A Reasoning System for a First-Order Logic of Limited Belief

doi:10.24963/ijcai.2017/173

Details PDF

Limbo: A Reasoning System for Limited Belief

doi:10.24963/ijcai.2017/779

Details PDF

IJCAI 2015

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

with Gerhard Lakemeyer, Maurice Pagnucco

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings