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