M. Hermenegildo, G. Puebla, F. Bueno, P. López-García
{"title":"Abstract Verification and Debugging of Constraint Logic Programs","authors":"M. Hermenegildo, G. Puebla, F. Bueno, P. López-García","doi":"10.1007/3-540-36607-5_1","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_1","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"52 1","pages":"1-14"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74988890","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2002-06-19DOI: 10.1007/3-540-36607-5_11
I. Lynce, Joao Marques-Silva
{"title":"The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms","authors":"I. Lynce, Joao Marques-Silva","doi":"10.1007/3-540-36607-5_11","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_11","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"88 1","pages":"144-158"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80848125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Interchangeability in Soft CSPs","authors":"Stefano Bistarelli, B. Faltings, N. Neagu","doi":"10.1007/3-540-36607-5_3","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_3","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"140 1","pages":"726-731"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75661411","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_19
B. Dunin-Keplicz
{"title":"An Architecture with Multiple Meta-Levels for the Development of Correct Programs","authors":"B. Dunin-Keplicz","doi":"10.1007/3-540-58792-6_19","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_19","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"1 1","pages":"293-310"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89688785","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_22
Jan Treur
{"title":"Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning","authors":"Jan Treur","doi":"10.1007/3-540-58792-6_22","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_22","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"16 1","pages":"353-376"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83333219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_27
M. Comini, G. Levi, G. Vitiello
{"title":"Abstract Debugging of Logic Program","authors":"M. Comini, G. Levi, G. Vitiello","doi":"10.1007/3-540-58792-6_27","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_27","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"2 1","pages":"440-450"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78776601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：