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 条
[21]   An abductive propositional logic for design reasoning [J].
Lin, FT ;
Wang, HHS .
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2001, 24 (05) :569-579
[22]   Accountable Protocols in Abductive Logic Programming [J].
Gavanelli, Marco ;
Alberti, Marco ;
Lamma, Evelina .
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2018, 18 (04)
[23]   Abductive analysis of modular logic programs [J].
Universita di Pisa, Pisa, Italy .
J Logic Comput, 4 (457-483)
[24]   An abductive approach to disjunctive logic programming [J].
You, JH ;
Yuan, LY ;
Goebel, R .
JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3) :101-127
[25]   A system for abductive learning of logic programs [J].
Lamma, E ;
Mello, P ;
Milano, M ;
Riguzzi, F .
LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 :102-122
[26]   Hitler and Abductive Logic: The Strategy of a Tyrant [J].
Jefferson, Steven .
JOURNAL OF CONTEMPORARY EUROPEAN STUDIES, 2016, 24 (01) :189-190
[27]   An abductive framework for extended logic programming [J].
Brogi, A ;
Lamma, E ;
Mancarella, P ;
Mello, P .
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 :330-343
[28]   Dischargeable Obligations in Abductive Logic Programming [J].
Alberti, Marco ;
Gavanelli, Marco ;
Lamma, Evelina ;
Riguzzi, Fabrizio ;
Zese, Riccardo .
RULES AND REASONING, 2017, 10364 :7-21
[29]   Hitler and Abductive Logic: The Strategy of a Tyrant [J].
Baranowski, Shelley .
GERMAN STUDIES REVIEW, 2016, 39 (01) :190-192
[30]   Complexity results for abductive logic programming [J].
Eiler, T. ;
Gottlob, G. ;
Leone, N. .
International Journal of Pressure Vessels and Piping, 65 (02)
12345