Recent developments in abductive logic

被引：17
作者：
Woods, John [1 ]
机构：
[1] Univ British Columbia, Dept Philosophy, Abduct Syst Grp, Vancouver, BC V6T 1Z4, Canada
来源：
STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE | 2011年 / 42卷 / 01期
关键词：
D O I：
10.1016/j.shpsa.2010.11.016
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：240 / 244
页数：5
相关论文
共 50 条
[41]   An abductive framework for negation in disjunctive logic programming [J].
Aravindan, C .
LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 :252-267
[42]   Abductive logic programming with CIFF: System description [J].
Endriss, U ;
Mancarella, P ;
Sadri, F ;
Terreni, G ;
Toni, F .
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 :680-684
[43]   The iff proof procedure for abductive logic programming [J].
Fung, TH ;
Kowalski, R .
JOURNAL OF LOGIC PROGRAMMING, 1997, 33 (02) :151-165
[44]   Extending expressivity and flexibility of abductive logic programming [J].
Stefano Ferilli .
Journal of Intelligent Information Systems, 2018, 51 :647-672
[45]   Abductive logic programming agents with destructive databases [J].
Robert Kowalski ;
Fariba Sadri .
Annals of Mathematics and Artificial Intelligence, 2011, 62 :129-158
[46]   Representing incomplete knowledge in abductive logic programming [J].
Denecker, M ;
DeSchreye, D .
JOURNAL OF LOGIC AND COMPUTATION, 1995, 5 (05) :553-577
[47]   Reasoning on Datalog± Ontologies with Abductive Logic Programming [J].
Gavanelli, Marco ;
Lamma, Evelina ;
Riguzzi, Fabrizio ;
Bellodi, Elena ;
Zese, Riccardo ;
Cota, Giuseppe .
FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) :65-93
[48]   An abductive logic programming architecture for negotiating agents [J].
Sadri, F ;
Toni, R ;
Torroni, P .
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 :419-431
[49]   Extending expressivity and flexibility of abductive logic programming [J].
Ferilli, Stefano .
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2018, 51 (03) :647-672
[50]   Abductive Logic Programming for Normative Reasoning and Ontologies [J].
Gavanelli, Marco ;
Lamma, Evelina ;
Riguzzi, Fabrizio ;
Bellodi, Elena ;
Riccardo, Zese ;
Cota, Giuseppe .
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017, 10091 :187-203
12345