@inproceedings{lpar13,
  author    = {Luca Aceto and
               Della Monica, Dario and
               Anna Ing{\'o}lfsd{\'o}ttir and
               Angelo Montanari and
               Guido Sciavicco},
  title     = {An Algorithm for Enumerating Maximal Models
               of {H}orn Theories with an Application to
               Modal Logics},
  booktitle = {Proc. of the 19th International Conference
               on Logic for Programming, Artificial
               Intelligence, and Reasoning (LPAR)},
  year      = {2013},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  isbn = {978-3-642-45220-8},
  doi = {10.1007/978-3-642-45221-5_1},
  volume    = {8312},
  pages     = {1-17}
}

{"_id":"i9GLLCRApb2nnPdye","bibbaseid":"aceto-dellamonica-inglfsdttir-montanari-sciavicco-analgorithmforenumeratingmaximalmodelsofhorntheorieswithanapplicationtomodallogics-2013","downloads":0,"creationDate":"2016-02-18T15:10:12.121Z","title":"An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics","author_short":["Aceto, L.","Della Monica, D.","Ingólfsdóttir, A.","Montanari, A.","Sciavicco, G."],"year":2013,"bibtype":"inproceedings","biburl":"https://users.dimi.uniud.it/~dario.dellamonica/pubs/biblio.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"propositions":[],"lastnames":["Della","Monica"],"firstnames":["Dario"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"title":"An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics","booktitle":"Proc. of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)","year":"2013","publisher":"Springer","series":"Lecture Notes in Computer Science","isbn":"978-3-642-45220-8","doi":"10.1007/978-3-642-45221-5_1","volume":"8312","pages":"1-17","bibtex":"@inproceedings{lpar13,\r\n author = {Luca Aceto and\r\n Della Monica, Dario and\r\n Anna Ing{\\'o}lfsd{\\'o}ttir and\r\n Angelo Montanari and\r\n Guido Sciavicco},\r\n title = {An Algorithm for Enumerating Maximal Models\r\n of {H}orn Theories with an Application to\r\n Modal Logics},\r\n booktitle = {Proc. of the 19th International Conference\r\n on Logic for Programming, Artificial\r\n Intelligence, and Reasoning (LPAR)},\r\n year = {2013},\r\n publisher = {Springer},\r\n series = {Lecture Notes in Computer Science},\r\n isbn = {978-3-642-45220-8},\r\n doi = {10.1007/978-3-642-45221-5_1},\r\n volume = {8312},\r\n pages = {1-17}\r\n}\r\n\r\n","author_short":["Aceto, L.","Della Monica, D.","Ingólfsdóttir, A.","Montanari, A.","Sciavicco, G."],"key":"lpar13","id":"lpar13","bibbaseid":"aceto-dellamonica-inglfsdttir-montanari-sciavicco-analgorithmforenumeratingmaximalmodelsofhorntheorieswithanapplicationtomodallogics-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["algorithm","enumerating","maximal","models","horn","theories","application","modal","logics","aceto","della monica","ingólfsdóttir","montanari","sciavicco"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["A5S2ncrLfqRpYJPF8","XKYzHk9y65Aw5X8qY"]}