An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Aceto, L., Della Monica, D., Ingólfsdóttir, A., Montanari, A., & Sciavicco, G. In Proceedings of Logic Programming and Automated Reasoning (LPAR), pages 1-17, 2013.
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics [link]Paper  bibtex   
@inproceedings{ dblp2367848,
  title = {An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics},
  author = {Luca Aceto and Dario Della Monica and Anna Ingólfsdóttir and Angelo Montanari and Guido Sciavicco},
  author_short = {Aceto, L. and Della Monica, D. and Ingólfsdóttir, A. and Montanari, A. and Sciavicco, G.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2367848},
  id = {dblp2367848},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/AcetoMIMS13},
  url = {http://dx.doi.org/10.1007/978-3-642-45221-5_1},
  conference = {LPAR},
  pages = {1-17},
  text = {LPAR 2013:1-17},
  booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}
}

Downloads: 0