Skip navigation
The Australian National University

Implementing Modal Tableaux Using Sentential Decision Diagrams

Citation

Gore, R, Li, J , Pagram, T 2015, 'Implementing Modal Tableaux Using Sentential Decision Diagrams', 28th Australasian Joint Conference on Artificial Intelligence AI 2015, ed. B. Pfahringer and J Renz, Springer International Publishing AG, Switzerland, pp. 218-228.

Year

2015

ANU Authors

Fields of Research

  • Pure Mathematics
  • Computation Theory And Mathematics
  • Epistemology

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers