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. 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
{"_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":"http://www.dblp.org/rec/bibtex/conf/lpar/AcetoMIMS13","bibdata":{"title":"An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics","author":["Luca Aceto","Dario Della Monica","Anna Ingólfsdóttir","Angelo Montanari","Guido Sciavicco"],"author_short":["Aceto, L.","Della Monica, D.","Ingólfsdóttir, A.","Montanari, A.","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)","bibtex":"@inproceedings{ dblp2367848,\n title = {An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics},\n author = {Luca Aceto and Dario Della Monica and Anna Ingólfsdóttir and Angelo Montanari and Guido Sciavicco},\n author_short = {Aceto, L. and Della Monica, D. and Ingólfsdóttir, A. and Montanari, A. and Sciavicco, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2367848},\n id = {dblp2367848},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/AcetoMIMS13},\n url = {http://dx.doi.org/10.1007/978-3-642-45221-5_1},\n conference = {LPAR},\n pages = {1-17},\n text = {LPAR 2013:1-17},\n booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}\n}","bibbaseid":"aceto-dellamonica-inglfsdttir-montanari-sciavicco-analgorithmforenumeratingmaximalmodelsofhorntheorieswithanapplicationtomodallogics-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-45221-5_1"},"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"]}