Transforming Situation Calculus Action Theories for Optimised Reasoning

Conference Proceedings

C EWIN, A Pearce, S Vassos

Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning | AAAI Press | Published : 2014

Mine scheduling is a challenging problem for Rio Tinto which annually mines more than 200 Million tonnes of iron ore. This project will deve..

Mine scheduling is a challenging problem for Rio Tinto which annually mines more than 200 Million tonnes of iron ore. This project will deve..