From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark

First Page		Document Content
Date: 2003-04-22 05:25:40		From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark Add to Reading List Source URL: www.imm.dtu.dk Download Document from Source Website File Size: 102,08 KB Share Document on Facebook