Automated complexity proofs for qualitative spatial and temporal calculi
Citation
Renz, J & Li, JJ 2008, 'Automated complexity proofs for qualitative spatial and temporal calculi', International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), ed. G. Brewka, J. Lang, AAAI Press, Menlo Park, California USA, pp. 715-723.Year
2008ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified