Search results for "abduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Stefano Coppi	Knowledge based approach to semantic composition of teams in an organization.	SAC	2005	DBLP DOI BibTeX RDF	concept abduction, concept covering, description logics
30	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone	Knowledge elicitation for query refinement in a semantic-enabled e-marketplace.	ICEC	2005	DBLP DOI BibTeX RDF	concept abduction, concept contraction, semantic web, knowledge management, e-commerce, description logics, matchmaking
30	Katsumi Inoue	Induction as Consequence Finding.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	consequence finding, inverse entailment, induction, abduction
30	Silvio do Lago Pereira, Leliane Nunes de Barros	High-Level Robot Programming: An Abductive Approach Using Event Calculus.	SBIA	2004	DBLP DOI BibTeX RDF	planning, abduction, event calculus, cognitive robotics
30	Raúl Monroy	Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	faulty specifications, program synthesis/transformation, abduction, proof planning
30	Lotfi Ben Romdhane, Béchir el Ayeb, Shengrui Wang	An Artificial Network Simulating Cause-to-Effect Reasoning: Cancellation Interactions and Numerical Studies.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Causal interactions, Causes, Diagnosis, Competition, Effects, Abduction
30	Akinori Abe	Two-Sided Hypotheses Generation for Abductive Analogical Reasoning.	ICTAI	1999	DBLP DOI BibTeX RDF	abductive analogical reasoning, two-sided hypotheses generation, abduction
30	Y. J. Jiang, Yongyuth Aramkulchai	On the Relationship between Assumption-based Framework and Autoepistemic Logic.	ISMIS	1994	DBLP DOI BibTeX RDF	Assumption-based framework, Argumentation system, Reflexive Autoepistemic Logic, 3-valued AE logic, Abduction, Autoepistemic Logic
30	Gheorghe Tecuci, Ryszard S. Michalski	Input Understanding as a Basis for Multistrategy Task-Adaptive Learning.	ISMIS	1991	DBLP DOI BibTeX RDF	abstraction, knowledge acquisition, induction, analogy, abduction, explanation-based learning, multistrategy learning
28	Lorenzo Magnani	Discovering and Communicating through Multimodal Abduction.	Communications and Discoveries from Multidisciplinary Data	2008	DBLP DOI BibTeX RDF
28	Yasuo Kudo, Tetsuya Murai, Seiki Akama	A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
28	Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer	Mental State Abduction of BDI-Based Agents.	DALT	2008	DBLP DOI BibTeX RDF
28	Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Floriano Scioscia	Abduction and Contraction for Semantic-Based Mobile Dating in P2P Environments.	Web Intelligence	2008	DBLP DOI BibTeX RDF
28	Oliver Ray	Automated Abduction in Scientific Discovery.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
28	Susan Petrilli	Abduction, Medical Semeiotics and Semioethics.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
28	Oliver Ray, Katsumi Inoue	A Consequence Finding Approach for Full Clausal Abduction.	Discovery Science	2007	DBLP DOI BibTeX RDF
28	Freddy Lécué, Alexandre Delteil, Alain Léger	Applying Abduction in Semantic Web Service Composition.	ICWS	2007	DBLP DOI BibTeX RDF
28	Carlo Meghini, Yannis Tzitzikas, Nicolas Spyratos	Abduction for Extending Incomplete Information Sources.	SETN	2006	DBLP DOI BibTeX RDF
28	Michael J. Maher	Heyting Domains for Constraint Abduction.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
28	Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito	Automatic Induction of Abduction and Abstraction Theories from Observations.	ILP	2005	DBLP DOI BibTeX RDF
28	Ken Satoh	Formalizing Retrieval Goal Change by Prioritized Abduction.	Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets	2004	DBLP DOI BibTeX RDF
28	Carlo Meghini, Yannis Tzitzikas, Nicolas Spyratos	An Abduction-Based Method for Index Relaxation in Taxonomy-Based Sources.	MFCS	2003	DBLP DOI BibTeX RDF
28	Anthony G. Cohn 0001, Derek R. Magee, Aphrodite Galata, David C. Hogg, Shyamanta M. Hazarika	Towards an Architecture for Cognitive Vision Using Qualitative Spatio-temporal Representations and Abduction.	Spatial Cognition	2003	DBLP DOI BibTeX RDF
28	Maurizio Atzori, Paolo Mancarella, Franco Turini	Abduction in Classification Tasks.	AI*IA	2003	DBLP DOI BibTeX RDF
28	Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri	Negation as Failure through Abduction: Reasoning about Termination.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
28	Marc Denecker, Antonis C. Kakas	Abduction in Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
28	Stathis Psillos	Simply the Best: A Case for Abduction.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
28	Katsumi Inoue	Induction, Abduction, and Consequence-Finding.	ILP	2001	DBLP DOI BibTeX RDF
28	Chiaki Sakama, Katsumi Inoue	Updating Extended Logic Programs through Abduction.	LPNMR	1999	DBLP DOI BibTeX RDF
28	Henning Christiansen 0001	Open Theories and Abduction for Context and Accommodation.	CONTEXT	1999	DBLP DOI BibTeX RDF
28	Abhaya C. Nayak, Norman Y. Foo	Abduction without Minimality.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	belief revision, common-sense reasoning, philosophical foundations
28	Michael C. Tanner, John R. Josephson	The Role of Explanatory Relationships in Strategies for Abduction.	IEEE Expert	1994	DBLP DOI BibTeX RDF
28	Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch	A New Diagnosis Approach by Deduction and Abduction.	Expert Systems in Engineering	1990	DBLP DOI BibTeX RDF
24	Thein Than Tun, Yijun Yu, Robin C. Laney, Bashar Nuseibeh	Early Identification of Problem Interactions: A Tool-Supported Approach.	REFSQ	2009	DBLP DOI BibTeX RDF	Problem Composition, Problem Interactions, Event Calculus, Problem Frames
24	Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori	Bottom-Up Shape Analysis.	SAS	2009	DBLP DOI BibTeX RDF
24	Jonah N. Schupbach	Must the Scientific Realist be a Rationalist?	Synth.	2007	DBLP DOI BibTeX RDF
24	Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton	Application of abductive ILP to learning metabolic network inhibition from temporal data.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Abductive ILP, Modelling metabolic networks, Bioinformatics
24	Mary A. Keeler, Heather D. Pfeiffer	Games of Inquiry for Collaborative Concept Structuring.	ICCS	2005	DBLP DOI BibTeX RDF
24	Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn	Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
24	Yutaka Matsuo, Mitsuru Ishizuka	Two Transformations of Clauses into Constraints and Their Properties for Cost-Based Hypothetical Reasoning.	PRICAI	2002	DBLP DOI BibTeX RDF
24	Stephen Moyle	Using Theory Completion to Learn a Robot Navigation Control Program.	ILP	2002	DBLP DOI BibTeX RDF
24	Bruno Zanuttini	Approximation of Relations by Propositional Formulas: Complexity and Semantics.	SARA	2002	DBLP DOI BibTeX RDF
24	Naresh Iyer, John R. Josephson	Multicriterially Best Explanations.	Discovery Science	2001	DBLP DOI BibTeX RDF
24	Takashi Horiyama, Toshihide Ibaraki	Reasoning with Ordered Binary Decision Diagrams.	ISAAC	2000	DBLP DOI BibTeX RDF
24	Ning Zhong 0001, Juzhen Dong, Chunnian Liu, Setsuo Ohsuga	A Hybrid Model for Rule Discovery in Data.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
24	Frank Teusink	Three-Valued Completion for Abductive Logic Programs.	ALP	1994	DBLP DOI BibTeX RDF
24	Dekang Lin	University of Manitoba: description of the NUBA system as used for MUC-5.	MUC	1993	DBLP DOI BibTeX RDF
24	Cristina Ribeiro 0001, António Porto	Representation and Inference with Consistent Temporal Propositions.	ELP	1993	DBLP DOI BibTeX RDF
18	Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes	On Preferring and Inspecting Abductive Models.	PADL	2009	DBLP DOI BibTeX RDF	XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction
18	Pei Hu, Guiming Luo, Chongyuan Yin	Computation of Satisfiability Degree Based on CNF.	FSKD (6)	2009	DBLP DOI BibTeX RDF	satisfiability degree computation, horn abduction, CNF
18	Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo	SAGE: A Logical Agent-Based Environment Monitoring and Control System.	AmI	2009	DBLP DOI BibTeX RDF	Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control
18	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli, Francesco di Cugno, Azzurra Ragone	Automated building blocks selection based on business processes semantics in ERPs.	Serv. Oriented Comput. Appl.	2007	DBLP DOI BibTeX RDF	Concept abduction, Concept contraction, Concept covering, Business processes, Description logics, ERP, Building Blocks
18	Lorenzo Magnani	Creating Chances Through Cognitive Niche Construction.	KES (2)	2007	DBLP DOI BibTeX RDF	Chance, Cognitive Niche, Affordances, Abduction
18	Jingde Cheng, Shinsuke Nara, Yuichi Goto	FreeEnCal: A Forward Reasoning Engine with General-Purpose.	KES (2)	2007	DBLP DOI BibTeX RDF	Advanced Knowledge-Based Systems, Prediction, Induction, Discovery, Abduction, Deduction, Creation
18	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali	An abductive framework for a-priori verification of web services.	PPDP	2006	DBLP DOI BibTeX RDF	web services, formal verification, constraints, choreographies, abduction
18	Tobias Lorenz 0003	Abductive Fallacies with Agent-Based Modeling and System Dynamics.	EPOS	2006	DBLP DOI BibTeX RDF	Multi-Paradigm Modeling, Methodology, Agent-based Modeling, System Dynamics, Abduction
18	Paula Gouveia, Jaime Ramos	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	specification, multi-agents, certification, knowledge, abduction, situation calculus
18	Rolf Haenni	Anytime argumentative and abductive reasoning.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Probabilistic argumentation, Cost-bounded approximation, Abduction, Anytime algorithms
18	Paolo Torroni	A study on the termination of negotiation dialogues.	AAMAS	2002	DBLP DOI BibTeX RDF	multi-agent systems, negotiation, termination, dialogue, abduction, computational logic
18	Adelheit Stein, Jon Atle Gulla, Ulrich Thiel	User-Tailored Planning of Mixed Initiative Information-Seeking Dialogues.	User Model. User Adapt. Interact.	1999	DBLP DOI BibTeX RDF	Conversational retrieval, dialogue planning, dialogue act interpretation, abduction, mixed initiative
18	José-Luis Aguirre, Olivia Barron, Ramón F. Brena, Maria-Nelly Garcia	Using a High Level Knowledge Representation for Expert Systems Knowledge Acquisition and Prototyping.	SAC	1993	DBLP DOI BibTeX RDF	knowledge representation, prototyping, expert systems, abduction
18	Han-Lin Li, Chao-Chih Yang	Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	causal graph, deduction graph, quantitative logic, expert system, integer programming, abduction, probabilistic reasoning, medical diagnosis, deduction
16	Chongyoung Chung, Kyujin Hyeon, Jaeyeon Jeong, Dae-Young Lee, Ki-Uk Kyung	Origami-Inspired Wearable Robot for Shoulder Abduction Assistance: A Double-Petal Mechanism Utilizing Shape Memory Alloy Actuators.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
16	Michael Hersche, Francesco Di Stefano, Thomas Hofmann, Abu Sebastian, Abbas Rahimi	Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architectures.	CoRR	2024	DBLP DOI BibTeX RDF
16	Nishant Balepur, Abhilasha Ravichander, Rachel Rudinger	Artifacts or Abduction: How Do LLMs Answer Multiple-Choice Questions Without the Question?	CoRR	2024	DBLP DOI BibTeX RDF
16	Abbas Alili, Aaron Fleming, Varun Nalam, Ming Liu 0005, Jesse C. Dean, He Huang 0002	Abduction/Adduction Assistance From Powered Hip Exoskeleton Enables Modulation of User Step Width During Walking.	IEEE Trans. Biomed. Eng.	2024	DBLP DOI BibTeX RDF
16	Mitchell Ekdahl, Sophia Ulman, Lauren Butler	Relationship of Knee Abduction Moment to Trunk and Lower Extremity Segment Acceleration during Sport-Specific Movements.	Sensors	2024	DBLP DOI BibTeX RDF
16	Andrew S. Gordon, Andrew Feng	Combining the Predictions of Out-of-Domain Classifiers Using Etcetera Abduction.	CISS	2024	DBLP DOI BibTeX RDF
16	Akiyoshi Tomihari, Hitomi Yanaka	Logic-Based Inference With Phrase Abduction Using Vision-and-Language Models.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Mario Piazza, Gabriele Pulcini, Andrea Sabatini	Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
16	Siyu Yuan, Jiangjie Chen, Xuyang Ge, Yanghua Xiao, Deqing Yang	Beneath Surface Similarity: Large Language Models Make Reasonable Scientific Analogies after Structure Abduction.	CoRR	2023	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 and abduction.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
16	Juneil Park, Kimoon Nam, Juseok Yun, Junyoung Moon, Jaewook Ryu, Sungjin Park, Seungtae Yang, Alireza Nasirzadeh, Woochul Nam, Sruthi Ramadurai, Myunghee Kim, Giuk Lee	Effect of hip abduction assistance on metabolic cost and balance during human walking.	Sci. Robotics	2023	DBLP DOI BibTeX RDF
16	Masaya Kusunose, Atsuyuki Inui, Hanako Nishimoto, Yutaka Mifune, Tomoya Yoshikawa, Issei Shinohara, Takahiro Furukawa, Tatsuo Kato, Shuya Tanaka, Ryosuke Kuroda	Measurement of Shoulder Abduction Angle with Posture Estimation Artificial Intelligence Model.	Sensors	2023	DBLP DOI BibTeX RDF
16	Michael Agyemang Adarkwah, Ronghuai Huang	Technology addiction, abduction and adoption in higher education: Bird's eye view of the ICT4AD policy in Ghana 20 years on.	Br. J. Educ. Technol.	2023	DBLP DOI BibTeX RDF
16	Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama	Linear Algebraic Abduction with Partial Evaluation.	PADL	2023	DBLP DOI BibTeX RDF
16	Myunghyun Lee, Man Bok Hong, Gwang Tae Kim, Seonwoo Kim	Design for Hip Abduction Assistive Device Based on Relationship Between Hip Joint Motion and Torque During Running.	IROS	2023	DBLP DOI BibTeX RDF
16	Alexander H. Gower, Konstantin Korovin, Daniel Brunnsåker, Ievgeniia A. Tiukova, Ross D. King	LGEM+: A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction.	DS	2023	DBLP DOI BibTeX RDF
16	Kosuke Isobe, Masakazu Hirokawa, Kenji Suzuki 0002	A Soft Wearable Robot to Support Scapular Adduction and Abduction for Respiratory Rehabilitation.	RoboSoft	2023	DBLP DOI BibTeX RDF
16	Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa	A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction.	ECSQARU	2023	DBLP DOI BibTeX RDF
16	Ruipeng Ge, Yuan Liu 0011, Zhe Yan, Qian Cheng, Shiyin Qiu, Dong Ming	Design of a Self-Aligning Four-Finger Exoskeleton for Finger Abduction/Adduction and Flexion/Extension Motion.	ICORR	2023	DBLP DOI BibTeX RDF
16	Elizabeth D. Vasquez, Cole S. Simpson, Genggeng Zhou, Maarten G. Lansberg, Allison M. Okamura	Evaluation of a Passive Wearable Device for Post-Stroke Shoulder Abduction Support.	ICORR	2023	DBLP DOI BibTeX RDF
16	Aleksandar S. Dimovski	Generalized Program Sketching by Abstract Interpretation and Logical Abduction.	SAS	2023	DBLP DOI BibTeX RDF
16	Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver.	JELIA	2023	DBLP DOI BibTeX RDF
16	Siyu Yuan, Jiangjie Chen, Xuyang Ge, Yanghua Xiao, Deqing Yang	Beneath Surface Similarity: Large Language Models Make Reasonable Scientific Analogies after Structure Abduction.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
16	Jakub Kloc, Martin Homola, Júlia Pukancová	DL Abduction API v2 and GUI Interface (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
16	Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
16	Gian Luca Pozzato, Marco Spinnicchia	A Defeasible Description Logic for Abduction.	AI*IA	2023	DBLP DOI BibTeX RDF
16	Emmanuelle Dietz, Antonis C. Kakas	Unifying Abduction and Deduction through Argumentation.	KoDis+CAKR@KR	2023	DBLP BibTeX RDF
16	Andrew S. Gordon, Andrew Feng	Searching for the Most Probable Combination of Class Labels Using Etcetera Abduction.	CISS	2023	DBLP DOI BibTeX RDF
16	Saptarshi Saha, Utpal Garain	On Noise Abduction for Answering Counterfactual Queries: A Practical Outlook.	Trans. Mach. Learn. Res.	2022	DBLP BibTeX RDF
16	Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger	Low-Level Bi-Abduction (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
16	Anissa Tanweer	Tradeoffs all the way down: Ethical abduction as a decision-making process for data-intensive technology development.	Big Data Soc.	2022	DBLP DOI BibTeX RDF
16	Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, Riccardo Zese	Abduction with probabilistic logic programming under the distribution semantics.	Int. J. Approx. Reason.	2022	DBLP DOI BibTeX RDF
16	Hee Doo Yang, Myles Cooper, Asa M. Eckert-Erdheim, Dorothy Orzel, Conor J. Walsh	A Soft Exosuit Assisting Hip Abduction for Knee Adduction Moment Reduction During Walking.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
16	Samuel Dutra Gollob, Jonhenry Poss, Garrett Memoli, Ellen T. Roche	A Multi-Material, Anthropomorphic Metacarpophalangeal Joint With Abduction and Adduction Actuated by Soft Artificial Muscles.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
16	Kyujin Hyeon, Jaeyeon Jeong, Chongyoung Chung, Minjae Cho, Sajjad Hussain, Ki-Uk Kyung	Design of a Wearable Mechanism With Shape Memory Alloy (SMA)-Based Artificial Muscle for Assisting With Shoulder Abduction.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
16	Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach	Connection-minimal Abduction in EL via Translation to FOL - Technical Report.	CoRR	2022	DBLP DOI BibTeX RDF
16	Marina Sapir	Machine Learning is Abduction Inference.	CoRR	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.	CoRR	2022	DBLP BibTeX RDF