Automation of Reasoning with Incomplete Information From Semantic Foundations to Efficient Computation Schaub Torsten Heftet / 1998 / Engelsk
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings Erdem Esra Heftet / 2009 / Engelsk
