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 条
[1]   SLDNFA: An abductive procedure for abductive logic programs [J].
Denecker, M ;
De Schreye, D .
JOURNAL OF LOGIC PROGRAMMING, 1998, 34 (02) :111-167
[2]   Advice on abductive logic [J].
Gabbay, Dov ;
Woods, John .
LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) :189-219
[3]   Equivalence in Abductive Logic [J].
Inoue, Katsumi ;
Sakama, Chiaki .
19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, :472-477
[4]   Abductive Logic Grammars [J].
Christiansen, Henning ;
Dahl, Veronica .
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 :170-+
[5]   Recent Developments in Unifying Logic and Probability [J].
Russell, Stuart .
COMMUNICATIONS OF THE ACM, 2015, 58 (07) :88-97
[6]   Monadic logic and automata: Recent developments [J].
Thomas, W .
THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, :136-138
[7]   A formal logic for abductive reasoning [J].
Meheus, Joke ;
Batens, Diderik .
LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) :221-236
[8]   THE LONG ARM OF ABDUCTIVE LOGIC [J].
HUBNER, B .
JOURNAL OF PRAGMATICS, 1991, 16 (04) :339-348
[9]   Logical abductivism on abductive logic [J].
Mancini, Filippo .
SYNTHESE, 2024, 203 (06)
[10]   Applications of abductive logic programming [J].
Kakas, AC ;
Michael, A .
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, :343-344
12345