- Yasir Mahmood, Arne Meier, Johannes Schmidt:
Parameterised Complexity of Abduction in Schaefer's Framework. LFCS 2020: 195-213 - Gerald S. Plesniewicz:
Abduction with Estimates for Statements in Fuzzy Propositional Logic. RCAI 2020: 164-176 - Lasha Abzianidze:
Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference. *SEM@COLING 2020: 20-31 - Ridhwan Dewoprabowo, Ari Saptawijaya:
Tabling Optimization for Contextual Abduction. ICLP Technical Communications 2020: 137-150 - Christopher Curry, Quang Loc Le:
Bi-Abduction for Shapes with Ordered Data. CoRR abs/2006.10439 (2020) - Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt:
Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR abs/2007.00757 (2020) - Aleksandra Kalinowska, Kyra Rudy, Millicent Schlafly, Kathleen Fitzsimons, Julius P. A. Dewald, Todd D. Murphey:
Shoulder abduction loading affects motor coordination in individuals with chronic stroke, informing targeted rehabilitation. CoRR abs/2007.04778 (2020) - Robert R. Hoffman, William J. Clancey, Shane T. Mueller:
Explaining AI as an Exploratory Process: The Peircean Abduction Model. CoRR abs/2009.14795 (2020) - Antonis C. Kakas, Loizos Michael:
Abduction and Argumentation for Explainable Machine Learning: A Position Survey. CoRR abs/2010.12896 (2020) - Lasha Abzianidze:
Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference. CoRR abs/2010.15909 (2020) - Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan:
Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics. CoRR abs/2012.14359 (2020) - 2019
- Katsumi Inoue, Chiaki Sakama:
Disjunctive Abduction. New Gener. Comput. 37(2): 219-243 (2019) - Diego Pereira Botelho, Kathleen M. Curran, Madeleine M. Lowery:
Anatomically accurate model of EMG during index finger flexion and abduction derived from diffusion tensor imaging. PLoS Comput. Biol. 15(8) (2019) - Célia Biane, Franck Delaplace:
Causal Reasoning on Boolean Control Networks Based on Abduction: Theory and Application to Cancer Drug Discovery. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1574-1585 (2019) - Warren Del-Pinto, Renate A. Schmidt:
ABox Abduction via Forgetting in ALC. AAAI 2019: 2768-2775 - Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
Abduction-Based Explanations for Machine Learning Models. AAAI 2019: 1511-1519 - Katarína Fabianová, Júlia Pukancová, Martin Homola:
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. Description Logics 2019 - Warren Del-Pinto, Renate A. Schmidt:
Extending Forgetting-Based Abduction Using Nominals. FroCos 2019: 185-202 - Mnacho Echenim, Nicolas Peltier, Yanis Sellami:
Ilinva: Using Abduction to Generate Loop Invariants. FroCos 2019: 77-93 - Mariam Obeid, Zeinab Obeid, Asma Moubaiddin, Nadim Obeid:
Using Description Logic and Abox Abduction to Capture Medical Diagnosis. IEA/AIE 2019: 376-388 - Toshiko Wakaki:
Extended Abduction in Assumption-Based Argumentation. IEA/AIE 2019: 593-607 - Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli:
A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract). IJCAI 2019: 6358-6361 - Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan:
Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving. IJCAI 2019: 1879-1885 - Min Li, Yueyan Zhuo, Bo He, Ziting Liang, Guanghua Xu, Jun Xie, Sicong Zhang:
A 3D-printed soft hand exoskeleton with finger abduction assistance. UR 2019: 319-322 - Fernando Soler-Toscano:
Which is the least complex explanation? Abduction and complexity. CoRR abs/1902.05479 (2019) - Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan:
Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving. CoRR abs/1906.00107 (2019) - Yasir Mahmood, Arne Meier, Johannes Schmidt:
Parameterised Complexity for Abduction. CoRR abs/1906.00703 (2019) - Mnacho Echenim, Nicolas Peltier, Yanis Sellami:
Ilinva: Using Abduction to Generate Loop Invariants. CoRR abs/1906.11033 (2019) - 2018
- Cristina Barés Gómez:
Abduction in Akkadian Medical Diagnosis. FLAP 5(8): 1697-1722 (2018) - Lorenzo Magnani:
Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective. FLAP 5(5): 1061-1092 (2018)