Search results for "abduction"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Isil Dillig, Thomas Dillig, Boyang Li 0002, Kenneth L. McMillan, Mooly Sagiv	Synthesis of circular compositional program proofs via abduction.	Int. J. Softw. Tools Technol. Transf.	2017	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.	CoRR	2017	DBLP BibTeX RDF
16	Brendan Juba, Zongyi Li, Evan Miller	Learning Abduction under Partial Observability.	CoRR	2017	DBLP BibTeX RDF
16	Woosuk Park	Abduction in Context - The Conjectural Dynamics of Scientific Reasoning		2017	DOI RDF
16	Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf	Abduction by Non-Experts.	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
16	Cole S. Simpson, Allison M. Okamura, Elliot Wright Hawkes	Exomuscle: An inflatable device for shoulder abduction support.	ICRA	2017	DBLP DOI BibTeX RDF
16	Warren Del-Pinto, Renate A. Schmidt	Forgetting-Based Abduction in ALC.	SOQE	2017	DBLP BibTeX RDF
16	Imre Horváth	Procedural abduction as enabler of smart operation of cyber-physical systems: Theoretical foundations.	ICE/ITMC	2017	DBLP DOI BibTeX RDF
16	Zongyi Li, Brendan Juba, Evan Miller	Learning Abduction under Partial Observability.	AKBC@NIPS	2017	DBLP BibTeX RDF
16	Antoni Ligeza	Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning.	DPS	2017	DBLP DOI BibTeX RDF
16	Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp	The Complexity of Contextual Abduction in Human Reasoning Tasks.	YSIP	2017	DBLP BibTeX RDF
16	Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello	Abduction for Generating Synthetic Traces.	Business Process Management Workshops	2017	DBLP DOI BibTeX RDF
16	Jean-Louis Stilgenbauer, Jean Baratgin, Igor Douven	Reasoning Strategies for Diagnostic Probability Estimates in Causal Contexts: Preference for Defeasible Deduction over Abduction.	DARe@LPNMR	2017	DBLP BibTeX RDF
16	Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp	Contextual Abduction and its Complexity Issues.	DARe@LPNMR	2017	DBLP BibTeX RDF
16	Mathieu Beirlaen	Combining Inductive Generalization and Factual Abduction.	DARe@LPNMR	2017	DBLP BibTeX RDF
16	Wang-Zhou Dai, Zhi-Hua Zhou	Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge.	AAAI	2017	DBLP DOI BibTeX RDF
16	Mengxue Zhang, Tushar Mathew, Brendan A. Juba	An Improved Algorithm for Learning to Perform Exception-Tolerant Abduction.	AAAI	2017	DBLP DOI BibTeX RDF
16	Jianfeng Du, Hai Wan, Huaguan Ma	Practical TBox Abduction Based on Justification Patterns.	AAAI	2017	DBLP DOI BibTeX RDF
16	Joshua Kok Chi Kit, Quan Wei Koa, Mandy Yee Wan Xuan, Sylvi Febriana Rachmawati Irnadiastputri, Talia Kelsey Rose, Hongliang Ren 0001	Compliant hand exoskeleton with antagonistic linear actuator-tendon pair and abduction capabilities.	RCAR	2017	DBLP DOI BibTeX RDF
16	Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin	HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).	TACAS (2)	2017	DBLP DOI BibTeX RDF
16	Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv	Abduction for Learning Smart City Rules.	GCAI	2017	DBLP DOI BibTeX RDF
16	Célia Biane, Franck Delaplace	Abduction Based Drug Target Discovery Using Boolean Control Network.	CMSB	2017	DBLP DOI BibTeX RDF
16	Vadim N. Tsypyschev	Application of Risk Theory Approach to Fuzzy Abduction.	CSOC (2)	2017	DBLP DOI BibTeX RDF
16	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for the ALCHO Description Logic.	Description Logics	2017	DBLP BibTeX RDF
16	Naoya Inoue, Andrew S. Gordon	A Scalable Weighted Max-SAT Implementation of Propositional Etcetera Abduction.	FLAIRS	2017	DBLP BibTeX RDF
16	Peter Schüller	Modeling Variations of First-Order Horn Abduction in Answer Set Programming.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
16	Akinori Abe	Abduction dealing with potential values and its datasets towards IMDJ.	Intell. Decis. Technol.	2016	DBLP DOI BibTeX RDF
16	Katsumi Inoue	Meta-Level Abduction.	FLAP	2016	DBLP BibTeX RDF
16	Tommaso Bertolotti, Selene Arfini, Lorenzo Magnani	Abduction: from the Ignorance Problem to the Ignorance Virtue.	FLAP	2016	DBLP BibTeX RDF
16	Andrés Rivadulla	Abduction and Beyond. Methodological and Computational Aspects of Creativity in Natural Sciences.	FLAP	2016	DBLP BibTeX RDF
16	Donna E. West	Course of Action Recommendations and Their Place in Developmental Abduction.	FLAP	2016	DBLP BibTeX RDF
16	Luís Moniz Pereira, Ari Saptawijaya	Abduction and Beyond in Logic Programming with Application to Morality.	FLAP	2016	DBLP BibTeX RDF
16	Youngjin Na, Changmok Choi, Hae-Dong Lee, Jung Kim	A Study on Estimation of Joint Force Through Isometric Index Finger Abduction With the Help of SEMG Peaks for Biomedical Applications.	IEEE Trans. Cybern.	2016	DBLP DOI BibTeX RDF
16	Alexey Ignatiev, António Morgado 0001, João Marques-Silva 0001	Propositional Abduction with Implicit Hitting Sets.	CoRR	2016	DBLP BibTeX RDF
16	Babak Salimi, Leopoldo E. Bertossi	Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints.	CoRR	2016	DBLP BibTeX RDF
16	Leopoldo E. Bertossi, Babak Salimi	Causes for Query Answers from Databases: Datalog Abduction, View-Updates, and Integrity Constraints.	CoRR	2016	DBLP BibTeX RDF
16	Lorenzo Magnani	The eco-cognitive model of abduction II: Irrelevance and implausibility exculpated.	J. Appl. Log.	2016	DBLP DOI BibTeX RDF
16	Gerhard Schurz	Common cause abduction: The formation of theoretical concepts and models in science.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
16	Chiaki Sakama, Katsumi Inoue	Abduction, conversational implicature and misleading in human dialogues.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
16	Lorenzo Magnani	Naturalizing the logic of abduction.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
16	Gianluca Caterina, Rocco Gangle	Iconicity and Abduction		2016	DOI RDF
16	Thomas Hubauer	Relaxed Abduction - Robust Information Interpretation for Industrial Applications		2016	DOI RDF
16	Bernhard Peischl, Ingo Pill, Franz Wotawa	Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.	KI	2016	DBLP DOI BibTeX RDF
16	Michael D. Ellis, Carolina Carmona, Justin M. Drogos, Stuart Traxel, Julius P. A. Dewald	Progressive abduction loading therapy targeting flexion synergy to regain reaching function in chronic stroke: Preliminary results from an RCT.	EMBC	2016	DBLP DOI BibTeX RDF
16	Rainier F. Natividad, Chen-Hua Yeow	Development of a soft robotic shoulder assistive device for shoulder abduction.	BioRob	2016	DBLP DOI BibTeX RDF
16	Yifan Yang, Ricardo de Aldama, Jamal Atif, Isabelle Bloch	Efficient Semantic Tableau Generation for Abduction in Propositional Logic.	ECAI	2016	DBLP DOI BibTeX RDF
16	Alexey Ignatiev, António Morgado 0001, João Marques-Silva 0001	Propositional Abduction with Implicit Hitting Sets.	ECAI	2016	DBLP DOI BibTeX RDF
16	James A. Crowder	AI inferences utilizing Occam Abduction.	NAFIPS	2016	DBLP DOI BibTeX RDF
16	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for Description Logics: Preliminary Report.	Description Logics	2016	DBLP BibTeX RDF
16	Joerg Schoenfisch, Janno von Stülpnagel, Jens Ortmann, Christian Meilicke, Heiner Stuckenschmidt	Root Cause Analysis through Abduction in Markov Logic Networks.	EDOC	2016	DBLP DOI BibTeX RDF
16	Joshua Eckroth	Iterated Abduction.	FLAIRS	2016	DBLP BibTeX RDF
16	Babak Salimi, Leopoldo E. Bertossi	Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints.	FLAIRS	2016	DBLP BibTeX RDF
16	Sophie Tourret	Abduction in first order logic with equality. (Prime implicate generation in equational logic).		2016	RDF
16	Ari Saptawijaya, Luís Moniz Pereira	Tabdual: a Tabled Abduction System for Logic Programs.	FLAP	2015	DBLP BibTeX RDF
16	Federico Montagnani, Marco Controzzi, Christian Cipriani	Non-back-drivable rotary mechanism with intrinsic compliance for robotic thumb abduction/adduction.	Adv. Robotics	2015	DBLP DOI BibTeX RDF
16	Peter Schüller	Modeling Variations of First-Order Horn Abduction in Answer Set Programming using On-Demand Constraints and Flexible Value Invention.	CoRR	2015	DBLP BibTeX RDF
16	Radhakrishnan Delhibabu	Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates.	CoRR	2015	DBLP BibTeX RDF
16	Joerg Schoenfisch, Janno von Stülpnagel, Jens Ortmann, Christian Meilicke, Heiner Stuckenschmidt	Using Abduction in Markov Logic Networks for Root Cause Analysis.	CoRR	2015	DBLP BibTeX RDF
16	Tomás Teijeiro, Paulo Félix, Jesús Presedo	Using temporal abduction for biosignal interpretation: A case study on QRS detection.	CoRR	2015	DBLP BibTeX RDF
16	Woosuk Park	On classifying abduction.	J. Appl. Log.	2015	DBLP DOI BibTeX RDF
16	Fernando Tohmé, Gianluca Caterina, Rocco Gangle	Abduction: A categorical characterization.	J. Appl. Log.	2015	DBLP DOI BibTeX RDF
16	Andreas Pfandler, Reinhard Pichler, Stefan Woltran	The complexity of handling minimal solutions in logic-based abduction.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
16	Jerry Rhee, Talisa Mohammad Nejad, Olivier Comets, Sean Flannery, Emine Begum Gulsoy, Philip Iannaccone, Craig Foster	Promoting convergence: The Phi spiral in abduction of mouse corneal behaviors.	Complex.	2015	DBLP DOI BibTeX RDF
16	Koichi Furukawa, Keita Kinjo, Tomonobu Ozaki, Makoto Haraguchi	The Cognitive Role of Analogical Abduction in Skill Acquisition.	JSAI-isAI Workshops	2015	DBLP DOI BibTeX RDF
16	Mustapha Bourahla	Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning.	MEDI	2015	DBLP DOI BibTeX RDF
16	Mahsa Chitsaz, Zhe Wang 0001, Kewen Wang 0001	Query Abduction for ELH Ontologies.	AAAI	2015	DBLP DOI BibTeX RDF
16	Jianfeng Du, Kewen Wang 0001, Yi-Dong Shen	Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies.	AAAI	2015	DBLP DOI BibTeX RDF
16	Chiaki Sakama, Katsumi Inoue	Abduction and Conversational Implicature (Extended Abstract).	AAAI Spring Symposia	2015	DBLP BibTeX RDF
16	Kenneth D. Forbus	Analogical Abduction and Prediction: Their Impact on Deception.	AAAI Fall Symposia	2015	DBLP BibTeX RDF
16	Antoni Ligeza	Towards Constructive Abduction.	KEOD	2015	DBLP DOI BibTeX RDF
16	Laurence Cholvy	Abduction for Analysing Data Exchange Policies.	ADBIS (Short Papers and Workshops)	2015	DBLP DOI BibTeX RDF
16	Peter Schüller	Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments.	RCRA@AI*IA	2015	DBLP BibTeX RDF
16	Petr Homola	Natural Language Understanding as First-Order Abduction via Stable Models.	DARe@IJCAI	2015	DBLP BibTeX RDF
16	Karsten Martiny, Ralf Möller 0001	Abduction in PDT Logic.	Australasian Conference on Artificial Intelligence	2015	DBLP DOI BibTeX RDF
16	Petr Homola	First-Order Abduction as Enumeration of Stable Models.	TbiLLC	2015	DBLP DOI BibTeX RDF
16	Marjan Alirezaie, Amy Loutfi	Automated Reasoning using Abduction for Interpretation of Medical Signals.	J. Biomed. Semant.	2014	DBLP DOI BibTeX RDF
16	Mathieu Beirlaen, Atocha Aliseda-Llera	A conditional logic for abduction.	Synth.	2014	DBLP DOI BibTeX RDF
16	Akinori Abe	Cognitive Chance Discovery: From Abduction to Affordance and Curation.	Int. J. Cogn. Informatics Nat. Intell.	2014	DBLP DOI BibTeX RDF
16	Richard Booth 0001, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre	Abduction and Dialogical Proof in Argumentation and Logic Programming.	CoRR	2014	DBLP BibTeX RDF
16	J. F. Henseler, Pieter Bas de Witte, Jurriaan H. De Groot, Erik W. van Zwet, Rob G. H. H. Nelissen, Jochem Nagels	Cranial translation of the humeral head on radiographs in rotator cuff tear patients: the modified active abduction view.	Medical Biol. Eng. Comput.	2014	DBLP DOI BibTeX RDF
16	Alexandre Matos Arruda, Marcelo Finger	Completeness for cut-based abduction.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
16	Flavio Zelazek	Diagrammatically Explaining Peircean Abduction.	Diagrams	2014	DBLP DOI BibTeX RDF
16	Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin	Shape Analysis via Second-Order Bi-Abduction.	CAV	2014	DBLP DOI BibTeX RDF
16	Akinori Abe	Abduction Dealing with Potential Values and Its Datasets.	ICDM Workshops	2014	DBLP DOI BibTeX RDF
16	Yiyun Lan, Jun Yao, Jules P. A. Dewald	Increased shoulder abduction loads decreases volitional finger extension in individuals with chronic stroke: Preliminary findings.	EMBC	2014	DBLP DOI BibTeX RDF
16	Lorenzo Magnani, Tommaso Bertolotti	Animal Abduction and the Emergence of Deception.	CogSci	2014	DBLP BibTeX RDF
16	Fang Wei-Kleiner, Zlatan Dragisic, Patrick Lambrix	Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms.	AAAI	2014	DBLP DOI BibTeX RDF
16	Michal Wrona	Local-to-Global Consistency Implies Tractability of Abduction.	AAAI	2014	DBLP DOI BibTeX RDF
16	Jianfeng Du, Kewen Wang 0001, Yi-Dong Shen	A Tractable Approach to ABox Abduction over Description Logic Ontologies.	AAAI	2014	DBLP DOI BibTeX RDF
16	Richard Booth 0001, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre	Abduction and Dialogical Proof in Argumentation and Logic Programming.	ECAI	2014	DBLP DOI BibTeX RDF
16	Petr Homola	Abduction as Satisfiability.	DARe@ECAI	2014	DBLP BibTeX RDF
16	James Brotherston, Nikos Gorogiannis	Cyclic Abduction of Inductively Defined Safety and Termination Preconditions.	SAS	2014	DBLP DOI BibTeX RDF
16	Ken Halland, Arina Britz, Szymon Klarman	TBox Abduction in ALC Using a DL Tableau.	Description Logics	2014	DBLP BibTeX RDF
16	Szymon Klarman, Thomas Meyer 0002	Complexity of Temporal Query Abduction in DL-Lite.	Description Logics	2014	DBLP BibTeX RDF
16	Tomás Teijeiro, Paulo Félix, Jesús Presedo	Using Temporal Abduction for Biosignal Interpretation: A Case Study on QRS Detection.	ICHI	2014	DBLP DOI BibTeX RDF
16	Alexandre Matos Arruda	Classic and probabilistic abduction: the search for the explanation of real data.		2014	RDF
16	Emad A. M. Andrews Shenouda	Inferring Genetic Regulatory Networks Using Cost-based Abduction and Its Relation to Bayesian Inference.		2014	RDF
16	Fernando Tohmé, Ricardo Crespo	Abduction in economics: a conceptual framework and its model.	Synth.	2013	DBLP DOI BibTeX RDF
16	Akinori Abe	Relation between Chance Discovery and Black Swan Awareness: From the Viewpoint of Abduction and Affordance.	Int. J. Knowl. Syst. Sci.	2013	DBLP DOI BibTeX RDF
16	Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima	Completing causal networks by meta-level abduction.	Mach. Learn.	2013	DBLP DOI BibTeX RDF