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 条
[31]   INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH [J].
Corapi, Domenico ;
Russo, Alessandra ;
Lupu, Emil .
TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 :54-63
[32]   Abductive analysis of modular logic programs [J].
Giacobazzi, R .
JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) :457-483
[33]   ACLP: Abductive Constraint Logic Programming [J].
Kakas, A ;
Michael, A ;
Mourlas, C .
JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3) :129-177
[34]   A fixpoint characterization of abductive logic programs [J].
Inoue, K ;
Sakama, C .
JOURNAL OF LOGIC PROGRAMMING, 1996, 27 (02) :107-136
[35]   Abductive logic programming and disjunctive logic programming: their relationship and transferability [J].
Sakama, C ;
Inoue, K .
JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3) :75-100
[36]   Fuzzy logic and fuzzy systems: Recent developments and future directions [J].
Gupta, MM .
1996 BIENNIAL CONFERENCE OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1996, :155-159
[37]   Abductive reasoning: Logic, visual thinking, and coherence [J].
Thagard, P ;
Shelley, C .
LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 :413-427
[38]   Abductive logic programming agents with destructive databases [J].
Kowalski, Robert ;
Sadri, Fariba .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 62 (1-2) :129-158
[39]   RECENT DEVELOPMENTS IN QUANTUM LOGIC - MITTELSTAEDT,P, STACHOW,EW [J].
ESPINOZA, M .
ARCHIVES DE PHILOSOPHIE, 1986, 49 (04) :674-674
[40]   Recent developments of logic, computer science, and philosophy of science in Japan [J].
Sakamoto, H .
STRUCTURES AND NORMS IN SCIENCE: VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 260 :473-480
12345