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

2008

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  24 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers