Skip navigation
The Australian National University

Implementing Modal Tableaux Using Sentential Decision Diagrams


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.



ANU Authors

Fields of Research

  • Pure Mathematics
  • Computation Theory And Mathematics
  • Epistemology

Updated:  28 May 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers