Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|