发布求助
文献互助 智能选刊 最新文献

Logic Programming and Knowledge Representation最新文献

筛选
英文 中文
Generalizing Updates: From Models to Programs 泛化更新:从模型到程序
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFB0054796
João Leite, L. Pereira
{"title":"Generalizing Updates: From Models to Programs","authors":"João Leite, L. Pereira","doi":"10.1007/BFB0054796","DOIUrl":"https://doi.org/10.1007/BFB0054796","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133370694","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}
引用次数: 82
Disjunctive Logic Programming and Autoepistemic Logic 析取逻辑规划与自认知逻辑
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054791
Li-Yan Yuan, Jia-Huai You, R. Goebel
{"title":"Disjunctive Logic Programming and Autoepistemic Logic","authors":"Li-Yan Yuan, Jia-Huai You, R. Goebel","doi":"10.1007/BFb0054791","DOIUrl":"https://doi.org/10.1007/BFb0054791","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"84 12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131068939","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}
引用次数: 0
Refining Action Theories through Abductive Logic Programming 通过溯因逻辑规划提炼行动理论
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054793
Renwei Li, L. Pereira, V. Dahl
{"title":"Refining Action Theories through Abductive Logic Programming","authors":"Renwei Li, L. Pereira, V. Dahl","doi":"10.1007/BFb0054793","DOIUrl":"https://doi.org/10.1007/BFb0054793","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121379217","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}
引用次数: 1
Knowledge Representation with Logic Programs 用逻辑程序表示知识
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054788
G. Brewka, J. Dix
{"title":"Knowledge Representation with Logic Programs","authors":"G. Brewka, J. Dix","doi":"10.1007/BFb0054788","DOIUrl":"https://doi.org/10.1007/BFb0054788","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115966509","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}
引用次数: 79
DATALOG with Nested Rules 带有嵌套规则的DATALOG
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054789
S. Greco, N. Leone, Francesco Scarcello
{"title":"DATALOG with Nested Rules","authors":"S. Greco, N. Leone, Francesco Scarcello","doi":"10.1007/BFb0054789","DOIUrl":"https://doi.org/10.1007/BFb0054789","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"153 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126826837","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}
引用次数: 6
Abduction, Argumentation and Bi-Disjunctive Logic Programs 溯因、论证与双析取逻辑程序
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054794
Kewen Wang, Huowang Chen
{"title":"Abduction, Argumentation and Bi-Disjunctive Logic Programs","authors":"Kewen Wang, Huowang Chen","doi":"10.1007/BFb0054794","DOIUrl":"https://doi.org/10.1007/BFb0054794","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121578131","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}
引用次数: 2
A System for Abductive Learning of Logic Programs 逻辑程序溯因学习系统
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054792
E. Lamma, P. Mello, M. Milano, Fabrizio Riguzzi
{"title":"A System for Abductive Learning of Logic Programs","authors":"E. Lamma, P. Mello, M. Milano, Fabrizio Riguzzi","doi":"10.1007/BFb0054792","DOIUrl":"https://doi.org/10.1007/BFb0054792","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126978756","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}
引用次数: 4
Reasoning with Prioritized Defaults 优先默认值的推理
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054795
M. Gelfond, Tran Cao Son
{"title":"Reasoning with Prioritized Defaults","authors":"M. Gelfond, Tran Cao Son","doi":"10.1007/BFb0054795","DOIUrl":"https://doi.org/10.1007/BFb0054795","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"352 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131562726","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}
引用次数: 92
Partial Evidential Stable Models for Disjunctive Deductive Databases 析取演绎数据库的部分证据稳定模型
Logic Programming and Knowledge Representation Pub Date : 1997-10-17 DOI: 10.1007/BFb0054790
D. Seipel
{"title":"Partial Evidential Stable Models for Disjunctive Deductive Databases","authors":"D. Seipel","doi":"10.1007/BFb0054790","DOIUrl":"https://doi.org/10.1007/BFb0054790","url":null,"abstract":"","PeriodicalId":241108,"journal":{"name":"Logic Programming and Knowledge Representation","volume":"2019 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128041586","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}
引用次数: 19
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信