Search results for "abduction"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger	Low-Level Bi-Abduction.	CoRR	2022	DBLP DOI BibTeX RDF
16	Nieves Montes, Nardine Osman 0001, Carles Sierra	Combining Theory of Mind and Abduction for Cooperation under Imperfect Information.	CoRR	2022	DBLP DOI BibTeX RDF
16	Shaochi Li, Yan Liu, Guangquan Zhou, Wenjuan Zhang, Shengmei Wei, Jiajia He, Stephen Shaoyi Liao, Hang Wei	Pre-collapse femoral head necrosis treated by hip abduction: a computational biomechanical analysis.	Health Inf. Sci. Syst.	2022	DBLP DOI BibTeX RDF
16	Benjamin Griffiths, Natan Silver, Malcolm H. Granat, Ehud Lebel	Measuring Foot Abduction Brace Wear Time Using a Single 3-Axis Accelerometer.	Sensors	2022	DBLP DOI BibTeX RDF
16	Donna E. West	Narrative as Dialectic Abduction		2022	DOI RDF
16	Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi	Abduction in (Probabilistic) Answer Set Programming.	CILC	2022	DBLP BibTeX RDF
16	Palawich Giraruchataporn, Kittipong Ekkachai, Pantita Peuchpen, Sura Kijpaiboonwat, Waree Kongprawechnon, Shoichi Hasegawa	Smart Shoe For Predicting Knee Abduction Moment.	ASCC	2022	DBLP DOI BibTeX RDF
16	Ken Satoh	A Query Evaluation Method for ASP with Abduction.	ICLP Workshops	2022	DBLP BibTeX RDF
16	Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger	Low-Level Bi-Abduction.	ECOOP	2022	DBLP DOI BibTeX RDF
16	Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach	Connection-Minimal Abduction in EL via Translation to FOL.	IJCAR	2022	DBLP DOI BibTeX RDF
16	Himanshu Kumar, Ramakrishnan Swaminathan	Time and Frequency domain analysis of APB muscles Abduction in adult dominant hand using surface electromyography signals.	MeMeA	2022	DBLP DOI BibTeX RDF
16	Jack Hessel, Jena D. Hwang, Jae Sung Park, Rowan Zellers, Chandra Bhagavatula, Anna Rohrbach, Kate Saenko, Yejin Choi 0001	The Abduction of Sherlock Holmes: A Dataset for Visual Abductive Reasoning.	ECCV (36)	2022	DBLP DOI BibTeX RDF
16	Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová	Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.	Description Logics	2022	DBLP BibTeX RDF
16	Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová	An API for DL Abduction Solvers.	Description Logics	2022	DBLP BibTeX RDF
16	Birte Glimm, Yevgeny Kazakov, Michael Welt	Concept Abduction for Description Logics.	Description Logics	2022	DBLP BibTeX RDF
16	Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach	Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
16	Nieves Montes, Nardine Osman 0001, Carles Sierra	Combining Theory of Mind and Abduction for Cooperation Under Imperfect Information.	EUMAS	2022	DBLP DOI BibTeX RDF
16	Stipe Pandzic, Jan M. Broersen, Henk Aarts	BOID*: Autonomous Goal Deliberation through Abduction. (PDF / PS)	AAMAS	2022	DBLP BibTeX RDF
16	Fajar Haifani	On a notion of abduction and relevance for first-order logic clause sets.		2022	RDF
16	Stephen Biggs, Jessica Wilson	Abduction versus conceiving in modal epistemology.	Synth.	2021	DBLP DOI BibTeX RDF
16	Mariana Vitti Rodrigues, Claus Emmeche	Abduction and styles of scientific thinking.	Synth.	2021	DBLP DOI BibTeX RDF
16	Erik Curiel	Framework confirmation by Newtonian abduction.	Synth.	2021	DBLP DOI BibTeX RDF
16	Mousa Mohammadian	Abduction - the context of discovery + underdetermination = inference to the best explanation.	Synth.	2021	DBLP DOI BibTeX RDF
16	Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan	Commonsense visual sensemaking for autonomous driving - On generalised neurosymbolic online abduction integrating vision and semantics.	Artif. Intell.	2021	DBLP DOI BibTeX RDF
16	Jean C. S. Rosa, Pedro D. Valente, Leonardo Costa, Nuno Nunes 0001, Ecivaldo de Souza Matos	Guidelines for braindraw conduction: looking at braindraw under the lens of abduction and semiotics.	Behav. Inf. Technol.	2021	DBLP DOI BibTeX RDF
16	Javier Esparza, Mikhail A. Raskin, Christoph Welzel	Abduction of trap invariants in parameterized systems.	GandALF	2021	DBLP DOI BibTeX RDF
16	Patrick Koopmann	Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version).	CoRR	2021	DBLP BibTeX RDF
16	Chi Zhang 0017, Baoxiong Jia, Song-Chun Zhu, Yixin Zhu 0001	Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution.	CoRR	2021	DBLP BibTeX RDF
16	Yasir Mahmood 0002, Arne Meier, Johannes Schmidt 0001	Parameterized complexity of abduction in Schaefer's framework.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
16	Ahti-Veikko Pietarinen	Abduction and diagrams.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
16	Étienne Houzé, Ada Diaconescu, Jean-Louis Dessalles	Using Decentralised Conflict-Abduction-Negation in Policy-making.	AMPM@JURIX	2021	DBLP BibTeX RDF
16	Rachel F. Jones, Nicholas P. Fey	Femur Abduction Associated with Transfemoral Amputation Alters the Profile of Lumbopelvic Mechanical Loads During Generalized End-Limb Loading.	EMBC	2021	DBLP DOI BibTeX RDF
16	Chi Zhang 0017, Baoxiong Jia, Song-Chun Zhu, Yixin Zhu 0001	Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution.	CVPR	2021	DBLP BibTeX RDF
16	Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama	Linear Algebraic Computation of Propositional Horn Abduction.	ICTAI	2021	DBLP DOI BibTeX RDF
16	Fajar Haifani, Patrick Koopmann, Sophie Tourret	Abduction in EL via Translation to FOL.	SOQE@KR	2021	DBLP BibTeX RDF
16	Patrick Koopmann	Signature-Based ABox Abduction in ALC is Hard.	SOQE@KR	2021	DBLP BibTeX RDF
16	Patrick Koopmann	Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
16	Patrick Koopmann	Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics.	IJCAI	2021	DBLP DOI BibTeX RDF
16	Júlia Pukancová, Martin Homola	The AAA ABox Abduction Solver.	Künstliche Intell.	2020	DBLP DOI BibTeX RDF
16	Lucas Gerez, Geng Gao, Anany Dwivedi, Minas V. Liarokapis	A Hybrid, Wearable Exoskeleton Glove Equipped With Variable Stiffness Joints, Abduction Capabilities, and a Telescopic Thumb.	IEEE Access	2020	DBLP DOI BibTeX RDF
16	Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello	Generating synthetic positive and negative business process traces through abduction.	Knowl. Inf. Syst.	2020	DBLP DOI BibTeX RDF
16	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	2020	DBLP BibTeX RDF
16	Christopher Curry, Quang Loc Le	Bi-Abduction for Shapes with Ordered Data.	CoRR	2020	DBLP BibTeX RDF
16	Ridhwan Dewoprabowo, Ari Saptawijaya	Tabling Optimization for Contextual Abduction.	ICLP Technical Communications	2020	DBLP DOI BibTeX RDF
16	Robert R. Hoffman, William J. Clancey, Shane T. Mueller	Explaining AI as an Exploratory Process: The Peircean Abduction Model.	CoRR	2020	DBLP BibTeX RDF
16	Antonis C. Kakas, Loizos Michael	Abduction and Argumentation for Explainable Machine Learning: A Position Survey.	CoRR	2020	DBLP BibTeX RDF
16	Lasha Abzianidze	Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference.	CoRR	2020	DBLP BibTeX RDF
16	Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan	Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics.	CoRR	2020	DBLP BibTeX RDF
16	Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt	Signature-Based Abduction for Expressive Description Logics - Technical Report.	CoRR	2020	DBLP BibTeX RDF
16	Lauri Koskela, Ehud Kroll	Demonstration, extension, and refinement of the re-proposed notion of design abduction.	Artif. Intell. Eng. Des. Anal. Manuf.	2020	DBLP DOI BibTeX RDF
16	Vanessa Cedeno-Mieles, Zhihao Hu, Yihui Ren 0001, Xinwei Deng, Abhijin Adiga, Christopher L. Barrett, Noshir Contractor, Saliya Ekanayake, Joshua M. Epstein, Brian J. Goode, Gizem Korkmaz, Chris J. Kuhlman, Dustin Machi, Michael W. Macy, Madhav V. Marathe, Naren Ramakrishnan, S. S. Ravi, Parang Saraf, Nathan Self	Networked experiments and modeling for producing collective identity in a group of human subjects using an iterative abduction framework.	Soc. Netw. Anal. Min.	2020	DBLP DOI BibTeX RDF
16	Lucas Gerez, Anany Dwivedi, Minas V. Liarokapis	A Hybrid, Soft Exoskeleton Glove Equipped with a Telescopic Extra Thumb and Abduction Capabilities.	ICRA	2020	DBLP DOI BibTeX RDF
16	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.	BioRob	2020	DBLP DOI BibTeX RDF
16	Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik	Actual Causality in Contextual Abduction.	ICLP Workshops	2020	DBLP BibTeX RDF
16	Andrew Reynolds 0001, Haniel Barbosa, Daniel Larraz, Cesare Tinelli	Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis.	IJCAR (1)	2020	DBLP DOI BibTeX RDF
16	Lasha Abzianidze	Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference.	*SEM@COLING	2020	DBLP BibTeX RDF
16	Gerald S. Plesniewicz	Abduction with Estimates for Statements in Fuzzy Propositional Logic.	RCAI	2020	DBLP DOI BibTeX RDF
16	Yasir Mahmood 0002, Arne Meier, Johannes Schmidt 0001	Parameterised Complexity of Abduction in Schaefer's Framework.	LFCS	2020	DBLP DOI BibTeX RDF
16	Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt	Signature-Based Abduction for Expressive Description Logics.	KR	2020	DBLP DOI BibTeX RDF
16	Yoichi Sasaki 0002, Takanori Maehara, Takumi Akazaki, Kazeto Yamamoto, Kunihiko Sadamasa	Solving Weighted Abduction via Max-SAT Solvers.	FLAIRS	2020	DBLP BibTeX RDF
16	Katsumi Inoue, Chiaki Sakama	Disjunctive Abduction.	New Gener. Comput.	2019	DBLP DOI BibTeX RDF
16	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.	2019	DBLP DOI BibTeX RDF
16	Yasir Mahmood 0002, Arne Meier, Johannes Schmidt 0001	Parameterised Complexity for Abduction.	CoRR	2019	DBLP BibTeX RDF
16	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	2019	DBLP BibTeX RDF
16	Mnacho Echenim, Nicolas Peltier, Yanis Sellami	Ilinva: Using Abduction to Generate Loop Invariants.	CoRR	2019	DBLP BibTeX RDF
16	Fernando Soler-Toscano	Which is the least complex explanation? Abduction and complexity.	CoRR	2019	DBLP BibTeX RDF
16	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.	2019	DBLP DOI BibTeX RDF
16	Min Li 0003, Yueyan Zhuo, Bo He 0001, Ziting Liang, Guanghua Xu, Jun Xie 0002, Sicong Zhang	A 3D-printed soft hand exoskeleton with finger abduction assistance.	UR	2019	DBLP DOI BibTeX RDF
16	Alexey Ignatiev, Nina Narodytska, João Marques-Silva 0001	Abduction-Based Explanations for Machine Learning Models.	AAAI	2019	DBLP DOI BibTeX RDF
16	Warren Del-Pinto, Renate A. Schmidt	ABox Abduction via Forgetting in ALC.	AAAI	2019	DBLP DOI BibTeX RDF
16	Mariam Obeid, Zeinab Obeid, Asma Moubaiddin, Nadim Obeid	Using Description Logic and Abox Abduction to Capture Medical Diagnosis.	IEA/AIE	2019	DBLP DOI BibTeX RDF
16	Toshiko Wakaki	Extended Abduction in Assumption-Based Argumentation.	IEA/AIE	2019	DBLP DOI BibTeX RDF
16	Katarína Fabianová, Júlia Pukancová, Martin Homola	Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain.	Description Logics	2019	DBLP BibTeX RDF
16	Warren Del-Pinto, Renate A. Schmidt	Extending Forgetting-Based Abduction Using Nominals.	FroCos	2019	DBLP DOI BibTeX RDF
16	Mnacho Echenim, Nicolas Peltier, Yanis Sellami	Ilinva: Using Abduction to Generate Loop Invariants.	FroCos	2019	DBLP DOI BibTeX RDF
16	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	DBLP DOI BibTeX RDF
16	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	DBLP DOI BibTeX RDF
16	Lorenzo Magnani	Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective.	FLAP	2018	DBLP BibTeX RDF
16	Cristina Barés Gómez	Abduction in Akkadian Medical Diagnosis.	FLAP	2018	DBLP BibTeX RDF
16	Minghui Ma, Ahti-Veikko Pietarinen	Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction.	J. Philos. Log.	2018	DBLP DOI BibTeX RDF
16	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.	J. Artif. Intell. Res.	2018	DBLP DOI BibTeX RDF
16	Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez, Carlos Uzcátegui	Morphologic for knowledge dynamics: revision, fusion, abduction.	CoRR	2018	DBLP BibTeX RDF
16	Warren Del-Pinto, Renate A. Schmidt	ABox Abduction via Forgetting in ALC (Long Version).	CoRR	2018	DBLP BibTeX RDF
16	Alexey Ignatiev, Nina Narodytska, João Marques-Silva 0001	Abduction-Based Explanations for Machine Learning Models.	CoRR	2018	DBLP BibTeX RDF
16	Chiaki Sakama	Abduction in argumentation frameworks.	J. Appl. Non Class. Logics	2018	DBLP DOI BibTeX RDF
16	Joerg Schoenfisch, Christian Meilicke, Janno von Stülpnagel, Jens Ortmann, Heiner Stuckenschmidt	Root cause analysis in IT infrastructures using ontologies and abduction in Markov Logic Networks.	Inf. Syst.	2018	DBLP DOI BibTeX RDF
16	Brendan Juba, Zongyi Li, Evan Miller	Learning Abduction Using Partial Observability.	AAAI	2018	DBLP DOI BibTeX RDF
16	Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz 0001	Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects.	AAAI	2018	DBLP DOI BibTeX RDF
16	Brendan Juba, Zongyi Li, Evan Miller	Learning Abduction Under Partial Observability.	AAAI	2018	DBLP DOI BibTeX RDF
16	Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe	A Functional Perspective on Machine Learning via Programmable Induction and Abduction.	FLOPS	2018	DBLP DOI BibTeX RDF
16	Seungyeon Kim, Jaeheung Park	Gripper with Thumb Adduction/Abduction Joint for Enhanced In-Hand Orientation Manipulation.	Humanoids	2018	DBLP DOI BibTeX RDF
16	Chekfoung Tan, Sara Abdaless, Kecheng Liu	Norm-Based Abduction Process (NAP) in Developing Information Architecture.	ICISO	2018	DBLP DOI BibTeX RDF
16	Yaniv Aspis, Krysia Broda, Alessandra Russo	Tensor-Based Abduction in Horn Propositional Programs.	ILP Up-and-Coming / Short Papers	2018	DBLP BibTeX RDF
16	Andrew S. Gordon, Ulrike Spierling	Playing Story Creation Games with Logical Abduction.	ICIDS	2018	DBLP DOI BibTeX RDF
16	Drahomír Mrózek, Júlia Pukancová, Martin Homola	ABox Abduction Solver Exploiting Multiple DL Reasoners.	Description Logics	2018	DBLP BibTeX RDF
16	Júlia Pukancová, Martin Homola	ABox Abduction for Description Logics: The Case of Multiple Observations.	Description Logics	2018	DBLP BibTeX RDF
16	Madhuleena Dasgupta, Amit Konar, Atulya K. Nagar	Online Prediction of Dopamine Concentration Using EEG-Induced Type-2 Fuzzy Abduction.	SSCI	2018	DBLP DOI BibTeX RDF
16	Antonis C. Kakas	Abduction.	Encyclopedia of Machine Learning and Data Mining	2017	DBLP DOI BibTeX RDF
16	Leopoldo E. Bertossi, Babak Salimi	Causes for query answers from databases: Datalog abduction, view-updates, and integrity constraints.	Int. J. Approx. Reason.	2017	DBLP DOI BibTeX RDF
16	Mustapha Bourahla	Repairing errors in probabilistic databases models using probabilistic abduction reasoning.	Int. J. Intell. Inf. Database Syst.	2017	DBLP DOI BibTeX RDF