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