C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Thomas Pagram
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Multiple Valued
Modal Logic
Efficient Computation
Decision Diagrams
Top Venues
Australasian Conference on Artificial Intelligence
</>
Publications
</>
Rajeev Goré
,
Jason Jingshi Li
,
Thomas Pagram
Implementing Modal Tableaux Using Sentential Decision Diagrams.
Australasian Conference on Artificial Intelligence
(2015)