Search results for "abduction"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Reinhard Pichler, Stefan Woltran	The Complexity of Handling Minimal Solutions in Logic-Based Abduction.	ECAI	2010	DBLP DOI BibTeX RDF
16	Oliver Gries, Ralf Möller 0001, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel	A Probabilistic Abduction Engine for Media Interpretation based on Ontologies.	UniDL	2010	DBLP BibTeX RDF
16	Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio	Non-standard inference services for mobile computing: concept abduction via m-OODBMS.	SEBD	2010	DBLP BibTeX RDF
16	Akinori Abe	Abduction dealing with potential values.	SMC	2010	DBLP DOI BibTeX RDF
16	Stefan Ballnat, Thomas F. Gordon	Goal Selection in Argumentation Processes - A Formal Model of Abduction in Argument Evaluation Structures.	COMMA	2010	DBLP DOI BibTeX RDF
16	Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001	A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints.	ATC	2010	DBLP DOI BibTeX RDF
16	Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima	Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction.	ILP	2010	DBLP DOI BibTeX RDF
16	Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001	Complexity of Propositional Abduction for Restricted Sets of Boolean Functions.	KR	2010	DBLP BibTeX RDF
16	Thomas Hubauer, Steffen Lamparter, Michael Pirker	Automata-Based Abduction for Tractable Diagnosis.	Description Logics	2010	DBLP BibTeX RDF
16	Clément Hurlin, Hélène Kirchner	Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
16	Oliver Gries, Ralf Möller 0001, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel	A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies.	RR	2010	DBLP DOI BibTeX RDF
16	Fernando Soler-Toscano, Fernando R. Velázquez-Quesada	Abduction for (Non-Omniscient) Agents.	MALLOW	2010	DBLP BibTeX RDF
16	Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet	Towards Efficient Multi-Agent Abduction Protocols.	MALLOW	2010	DBLP BibTeX RDF
16	Yasuo Kudo, Tetsuya Murai, Seiki Akama	A granularity-based framework of deduction, induction, and abduction.	Int. J. Approx. Reason.	2009	DBLP DOI BibTeX RDF
16	Michael D. Ellis, Theresa M. Sukal-Moulton, Julius P. A. Dewald	Impairment-Based 3-D Robotic Intervention Improves Upper Extremity Work Area in Chronic Stroke: Targeting Abnormal Joint Torque Coupling With Progressive Shoulder Abduction Loading.	IEEE Trans. Robotics	2009	DBLP DOI BibTeX RDF
16	Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001	Complexity of Propositional Abduction for Restricted Sets of Boolean Functions	CoRR	2009	DBLP BibTeX RDF
16	Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera	Abduction via C-tableaux and delta-resolution.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Emmanuel Albert Audenaert, P. J. De Roo, Peter Mahieu, A. Cools, N. Baelde, Katharina D'Herde, R. Verdonk	Deltoid muscle volume estimated from ultrasonography: in vitro validation and correlation with isokinetic abduction strength of the shoulder.	Medical Biol. Eng. Comput.	2009	DBLP DOI BibTeX RDF
16	Antonis C. Kakas, Peter A. Flach	Abduction and Induction in Artificial Intelligence.	J. Appl. Log.	2009	DBLP DOI BibTeX RDF
16	Chiaki Sakama, Katsumi Inoue	Equivalence issues in abduction and induction.	J. Appl. Log.	2009	DBLP DOI BibTeX RDF
16	Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel	Using abduction and induction for operational requirements elaboration.	J. Appl. Log.	2009	DBLP DOI BibTeX RDF
16	Lorenzo Magnani, Emanuele Bardone	Seeking Chances through Interface Design. The Role of Abduction.	SMC	2009	DBLP DOI BibTeX RDF
16	Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima	Discovering Rules by Meta-level Abduction.	ILP	2009	DBLP DOI BibTeX RDF
16	Peter D. Bruza, Alistair Barros, Matthias Kaiser	Augmenting Web Service Discovery by Cognitive Semantics and Abduction.	Web Intelligence	2009	DBLP DOI BibTeX RDF
16	Michele Ruta, Floriano Scioscia, Tommaso Di Noia, Eugenio Di Sciascio	Reasoning in Pervasive Environments: An Implementation of Concept Abduction with Mobile OODBMS.	Web Intelligence	2009	DBLP DOI BibTeX RDF
16	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.	Description Logics	2009	DBLP BibTeX RDF
16	Irma Sofía Espinosa Peraldí, Atila Kaya, Ralf Möller 0001	Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes.	Description Logics	2009	DBLP BibTeX RDF
16	Helen Couclelis	The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design.	COSIT	2009	DBLP DOI BibTeX RDF
16	Franz Wotawa	On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems.	CISIS	2009	DBLP DOI BibTeX RDF
16	Guy C. Van Orden	Peirce's abduction and cognition as we know it.	J. Exp. Theor. Artif. Intell.	2008	DBLP DOI BibTeX RDF
16	Carlo Meghini, Yannis Tzitzikas, Nicolas Spyratos	Abduction for Accessing Information Sources.	Fundam. Informaticae	2008	DBLP BibTeX RDF
16	Gerhard Schurz	Patterns of abduction.	Synth.	2008	DBLP DOI BibTeX RDF
16	Marcelo Finger	Using Abduction to Compute Efficient Proofs.	LSFA	2008	DBLP DOI BibTeX RDF
16	Paolo Mancarella, Giacomo Terreni, Francesca Toni	Web Sites Repairing through Abduction.	WWV	2008	DBLP DOI BibTeX RDF
16	Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner	Probabilistic abduction without priors.	Int. J. Approx. Reason.	2008	DBLP DOI BibTeX RDF
16	Gustav Nordh, Bruno Zanuttini	What makes propositional abduction tractable.	Artif. Intell.	2008	DBLP DOI BibTeX RDF
16	Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay	Cut-Based Abduction.	Log. J. IGPL	2008	DBLP DOI BibTeX RDF
16	M. Julia Flores, José A. Gámez 0001, Serafín Moral	Use of Explanation Treesto Describe the State Space of a Probabilistic-Based Abduction Problem.	Innovations in Bayesian Networks	2008	DBLP DOI BibTeX RDF
16	Giada Maggenti, Andrea Bracciali, Paolo Mancarella	Abduction and legal reasoning.	e-Forensics	2008	DBLP DOI BibTeX RDF
16	Irma Sofía Espinosa Peraldí, Atila Kaya, Sylvia Melzer, Ralf Möller 0001	On Ontology Based Abduction for Text Interpretation.	CICLing	2008	DBLP DOI BibTeX RDF
16	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.	AAAI	2008	DBLP BibTeX RDF
16	Marco Gavanelli, Marco Alberti 0001, Evelina Lamma	Integrating Abduction and Constraint Optimization in Constraint Handling Rules.	ECAI	2008	DBLP DOI BibTeX RDF
16	Ildikó Flesch, Peter J. F. Lucas	Combining Abduction with Conflict-based Diagnosis.	ECAI	2008	DBLP DOI BibTeX RDF
16	Akinori Abe	Relationship between human and computational abduction.	SMC	2008	DBLP DOI BibTeX RDF
16	Meghyn Bienvenu	Complexity of Abduction in the EL Family of Lightweight Description Logics.	KR	2008	DBLP BibTeX RDF
16	Curry I. Guinn, William Shipman, Ed Addison	The Parallelization of Membrane Computers to Find Near Optimal Solutions to Cost-Based Abduction.	GEM	2008	DBLP BibTeX RDF
16	Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci, Francesco Colasuonno	Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction.	Int. J. Web Serv. Res.	2007	DBLP DOI BibTeX RDF
16	Lorenzo Magnani	Abduction and chance discovery in science.	Int. J. Knowl. Based Intell. Eng. Syst.	2007	DBLP DOI BibTeX RDF
16	Alexander Bochman	A Causal Theory of Abduction.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
16	Blaz Zupan, Ivan Bratko, Janez Demsar, Peter Juvan, Adam Kuspa, John A. Halter, Gad Shaulsky	Discovery of Genetic Networks Through Abduction and Qualitative Simulation.	Computational Discovery of Scientific Knowledge	2007	DBLP DOI BibTeX RDF
16	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Efficient Datalog Abduction through Bounded Treewidth.	AAAI	2007	DBLP BibTeX RDF
16	Atila Kaya, Sylvia Melzer, Ralf Möller 0001, Sergio Espinosa, Michael Wessel	Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction.	Description Logics	2007	DBLP BibTeX RDF
16	Miki Hermann, Reinhard Pichler	Counting Complexity of Propositional Abduction.	IJCAI	2007	DBLP BibTeX RDF
16	Ashraf M. Abdelbar, Sarah H. Gheita, Heba A. Amer	Exploring the fitness landscape and the run-time behaviour of an iterated local search algorithm for cost-based abduction.	J. Exp. Theor. Artif. Intell.	2006	DBLP DOI BibTeX RDF
16	Dov M. Gabbay, Rolf Nossum, John Woods 0001	Context-dependent Abduction and Relevance.	J. Philos. Log.	2006	DBLP DOI BibTeX RDF
16	Torgeir Knag Fylkesnes	Abducing Abduction.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Giovanni Tuzet	Projectual Abduction.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Markus C. Becker, Francesco Zirpoli	Problem-Solving by Abduction in New Product Development.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Sami Paavola, Kai Hakkarainen, Matti Sintonen	Abduction with Dialogical and Trialogical Means.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera	Model-Baded Abduction via Dual Resolution.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Walter Alexandre Carnielli	Surviving Abduction.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Lorenzo Magnani	Multimodal Abduction: External Semiotic Anchors and Hybrid Representations.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Vivek Bharathan, John R. Josephson	Belief Revision Controlled by Meta-abduction.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Peter Bruza, Richard Cole 0002, Dawei Song 0001, Zeeniya Bari	Towards Operational Abduction from a Cognitive Perspective.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
16	Nadia Creignou, Bruno Zanuttini	A Complete Classification of the Complexity of Propositional Abduction.	SIAM J. Comput.	2006	DBLP DOI BibTeX RDF
16	Ken Satoh, Satoshi Tojo	Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction.	JURIX	2006	DBLP BibTeX RDF
16	Jun Yao, Julius P. A. Dewald	Cortico-muscular Communication during the Generation of Static Shoulder Abduction Torque in Upper Limb Following Stroke.	EMBC	2006	DBLP DOI BibTeX RDF
16	Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti	Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts.	ECAI	2006	DBLP BibTeX RDF
16	Lorenzo Magnani	Abduction and Chance The Extra-Theoretical Dimension of Chance Discovery in Science.	SMC	2006	DBLP DOI BibTeX RDF
16	Fernando Soler-Toscano, Ángel Nepomuceno-Fernández	: Tableaux and Resolution for Finite Abduction.	JELIA	2006	DBLP DOI BibTeX RDF
16	Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner	Probabilistic Abduction without Priors.	KR	2006	DBLP BibTeX RDF
16	Maurizio Atzori	Abduction and Anonymity in Data Mining.		2006	RDF
16	Marc Denecker, Kristof Van Belleghem	Temporal Reasoning with iff-Abduction.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
16	Ashraf M. Abdelbar, Mohamed Hefny	An efficient LP-based admissible heuristic for cost-based abduction.	J. Exp. Theor. Artif. Intell.	2005	DBLP DOI BibTeX RDF
16	Ken Satoh	Speculative Computation and Abduction for an Autonomous Agent.	IEICE Trans. Inf. Syst.	2005	DBLP DOI BibTeX RDF
16	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.	Electron. Commer. Res. Appl.	2005	DBLP DOI BibTeX RDF
16	Murray Shanahan	Perception as Abduction: Turning Sensor Data Into Meaningful Representation.	Cogn. Sci.	2005	DBLP DOI BibTeX RDF
16	Helmut Prendinger, Mitsuru Ishizuka	A creative abduction approach to scientific and knowledge discovery.	Knowl. Based Syst.	2005	DBLP DOI BibTeX RDF
16	Ashraf M. Abdelbar, Mostafa A. El-Hemaly, Emad A. M. Andrews, Donald C. Wunsch II	Recurrent neural networks with backtrack-points and negative reinforcement applied to cost-based abduction.	Neural Networks	2005	DBLP DOI BibTeX RDF
16	Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner	Probabilistic Abduction Without Priors.	Belief Change in Rational Agents	2005	DBLP BibTeX RDF
16	Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton	Abduction and induction for learning models of inhibition in metabolic networks.	ICMLA	2005	DBLP DOI BibTeX RDF
16	Lorenzo Magnani	Abduction and Cognition in Organic and Logical Agents.	We Will Show Them! (2)	2005	DBLP BibTeX RDF
16	Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot	Inference of Gene Relations from Microarray Data by Abduction.	LPNMR	2005	DBLP DOI BibTeX RDF
16	Kathrin Konczak, Ralf Vogel 0001	Abduction and Preferences in Linguistics.	Answer Set Programming	2005	DBLP BibTeX RDF
16	Gustav Nordh, Bruno Zanuttini	Propositional Abduction is Almost Always Hard.	IJCAI	2005	DBLP BibTeX RDF
16	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Abduction with Hypotheses Confirmation.	IJCAI	2005	DBLP BibTeX RDF
16	Hiroshi Kobayashi, Akitaka Uchimura, Yujiro Isihida, Taichi Shiiba, Kazuaki Hiramatsu, Makoto Konami, Taisuke Matsushita, Yutaka Sato	Development of a muscle suit for the upper body - realization of abduction motion.	Adv. Robotics	2004	DBLP DOI BibTeX RDF
16	Ashraf M. Abdelbar	Approximating cost-based abduction is NP-hard .	Artif. Intell.	2004	DBLP DOI BibTeX RDF
16	Fangzhen Lin, Jia-Huai You	Recycling Computed Answers in Rewrite Systems for Abduction	CoRR	2004	DBLP BibTeX RDF
16	José Júlio Alferes, Luís Moniz Pereira, Terrance Swift	Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs.	Theory Pract. Log. Program.	2004	DBLP DOI BibTeX RDF
16	Peter Bruza, Dawei Song 0001, Robert McArthur	Abduction in Semantic Space: Towards a Logic of Discovery.	Log. J. IGPL	2004	DBLP DOI BibTeX RDF
16	Makoto Koshino, Tadashi Okamine, Haruhiko Kimura, Sadaki Hirose	Improving heuristic function of cost-based abduction system using real-time heuristic search.	Syst. Comput. Jpn.	2004	DBLP DOI BibTeX RDF
16	Henning Christiansen 0001, Verónica Dahl	Assumptions and Abduction in Prolog.	WLPE	2004	DBLP BibTeX RDF
16	Konstantine Arkoudas	Specification, Abduction, and Proof.	ATVA	2004	DBLP DOI BibTeX RDF
16	Ken Satoh	"All's well that ends well" - a proposal of global abduction.	NMR	2004	DBLP BibTeX RDF
16	Piero A. Bonatti	Abduction over Unbounded Domains via ASP.	ECAI	2004	DBLP BibTeX RDF
16	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.	ECAI	2004	DBLP BibTeX RDF
16	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Extending Semantic-Based Matchmaking via Concept Abduction and Contraction.	EKAW	2004	DBLP DOI BibTeX RDF
16	Gregory M. Provan	Inferential Complexity Control for Model-Based Abduction.	KR	2004	DBLP BibTeX RDF
16	Alexandra Branzan Albu, Denis Laurendeau, Luc J. Hébert, Hélène Moffet, Marie Dufour, Christian Moisan	Image-Guided Analysis of Shoulder Pathologies: Modelling the 3D Deformation of the Subacromial Space during Arm Flexion and Abduction.	ISMS	2004	DBLP DOI BibTeX RDF