{"title":"Reducing Propositional Theories in Equilibrium Logic to Logic Programs","authors":"Pedro Cabalar, D. Pearce, A. Valverde","doi":"10.1007/11595014_2","DOIUrl":"https://doi.org/10.1007/11595014_2","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"109 1","pages":"4-17"},"PeriodicalIF":0.0,"publicationDate":"2005-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74747798","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":"Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming","authors":"H. Tompits, S. Woltran","doi":"10.1007/11562931_16","DOIUrl":"https://doi.org/10.1007/11562931_16","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"82 1","pages":"189-203"},"PeriodicalIF":0.0,"publicationDate":"2005-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73401170","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":"An Algebraic Account of Modularity in ID-logic","authors":"Joost Vennekens, M. Denecker","doi":"10.1007/11546207_23","DOIUrl":"https://doi.org/10.1007/11546207_23","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"34 1","pages":"291-303"},"PeriodicalIF":0.0,"publicationDate":"2005-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73465386","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":"Abduction and Preferences in Linguistics","authors":"Kathrin Konczak, Ralf Vogel","doi":"10.1007/11546207_32","DOIUrl":"https://doi.org/10.1007/11546207_32","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"39 1","pages":"384-388"},"PeriodicalIF":0.0,"publicationDate":"2005-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80951222","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":"SELP - A System for Studying Strong Equivalence between Logic Programs","authors":"Yin Chen, Fangzhen Lin, Lei Li","doi":"10.1007/11546207_43","DOIUrl":"https://doi.org/10.1007/11546207_43","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"36 1","pages":"442-446"},"PeriodicalIF":0.0,"publicationDate":"2005-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86565789","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 : 2005-03-14DOI: 10.1007/978-3-540-32275-7_11
Thomas Linke, Vladimir Sarsakov
{"title":"Suitable Graphs for Answer Set Programming","authors":"Thomas Linke, Vladimir Sarsakov","doi":"10.1007/978-3-540-32275-7_11","DOIUrl":"https://doi.org/10.1007/978-3-540-32275-7_11","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"47 1","pages":"154-168"},"PeriodicalIF":0.0,"publicationDate":"2005-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88315182","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 : 2004-01-06DOI: 10.1007/978-3-540-24609-1_13
Kathrin Konczak, Thomas Linke, Torsten Schaub
{"title":"Graphs and colorings for answer set programming: Abridged Report","authors":"Kathrin Konczak, Thomas Linke, Torsten Schaub","doi":"10.1007/978-3-540-24609-1_13","DOIUrl":"https://doi.org/10.1007/978-3-540-24609-1_13","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"18 1","pages":"127-140"},"PeriodicalIF":0.0,"publicationDate":"2004-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77809049","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 : 2001-03-11DOI: 10.1007/3-540-45241-9_12
M. Nogueira, M. Balduccini, M. Gelfond, Richard Watson, M. Barry
{"title":"An A Prolog decision support system for the Space Shuttle","authors":"M. Nogueira, M. Balduccini, M. Gelfond, Richard Watson, M. Barry","doi":"10.1007/3-540-45241-9_12","DOIUrl":"https://doi.org/10.1007/3-540-45241-9_12","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"8 1","pages":"169-183"},"PeriodicalIF":0.0,"publicationDate":"2001-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84174686","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
扫码关注我们
求助内容：
应助结果提醒方式：