Automated reasoning support for first-order ontologies

Citation

Baumgartner, P & Suchanek, F 2006, 'Automated reasoning support for first-order ontologies', in J.J. Alferes, J. Bailey, W. May, U. Schwertel (ed.), Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Springer, Berlin, pp. 18-32.

Year

2006

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  04 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers