N. Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, R. Costabile, A. Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, M. Manna, S. Perri, Kristian Reale, F. Ricca, P. Veltri, J. Zangari
{"title":"Enhancing DLV for Large-Scale Reasoning","authors":"N. Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, R. Costabile, A. Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, M. Manna, S. Perri, Kristian Reale, F. Ricca, P. Veltri, J. Zangari","doi":"10.1007/978-3-030-20528-7_23","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"51 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Logic Programming and Non-Monotonic Reasoning","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/978-3-030-20528-7_23","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
