Cautious reasoning in ASP via minimal models and unsatisfiable cores. Alviano, M., Dodaro, C., J"arvisalo, M., Maratea, M., & Previti, A. CoRR, 2018. Paper bibtex
Downloads: 0
{"_id":"twyMEmsymThXYLQES","bibbaseid":"alviano-dodaro-jquotarvisalo-maratea-previti-cautiousreasoninginaspviaminimalmodelsandunsatisfiablecores-2018","author_short":["Alviano, M.","Dodaro, C.","J"arvisalo, M.","Maratea, M.","Previti, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mario"],"propositions":[],"lastnames":["Alviano"],"suffixes":[]},{"firstnames":["Carmine"],"propositions":[],"lastnames":["Dodaro"],"suffixes":[]},{"firstnames":["Matti"],"propositions":[],"lastnames":["J"arvisalo"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Maratea"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Previti"],"suffixes":[]}],"title":"Cautious reasoning in ASP via minimal models and unsatisfiable cores","journal":"CoRR","volume":"abs/1804.08480","year":"2018","url":"http://arxiv.org/abs/1804.08480","eprinttype":"arXiv","eprint":"1804.08480","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1804-08480.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Alviano, M.","Dodaro, C.","J"arvisalo, M.","Maratea, M.","Previti, A."],"key":"DBLP:journals/corr/abs-1804-08480","id":"DBLP:journals/corr/abs-1804-08480","bibbaseid":"alviano-dodaro-jquotarvisalo-maratea-previti-cautiousreasoninginaspviaminimalmodelsandunsatisfiablecores-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1804.08480"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/17/4975.html?view=bibtex","dataSources":["Abx4S3KE5cjtwTGfS"],"keywords":[],"search_terms":["cautious","reasoning","asp","via","minimal","models","unsatisfiable","cores","alviano","dodaro","j"arvisalo","maratea","previti"],"title":"Cautious reasoning in ASP via minimal models and unsatisfiable cores","year":2018}