C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
Luca Aceto
Dario Della Monica
Anna Ingólfsdóttir
Angelo Montanari
Guido Sciavicco
Published in:
LPAR (2013)
Keyphrases
</>
probabilistic model
modal logic
dynamic programming
learning algorithm
np hard
database
inference rules
temporal logic
decision procedures