From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief.

Thomas Bolander

Browse the full IJCAI paper archive.