Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Reinhard Pichler, Stefan Woltran |
The Complexity of Handling Minimal Solutions in Logic-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 895-900, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UniDL ![In: Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio |
Non-standard inference services for mobile computing: concept abduction via m-OODBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, June 20-23, 2010, pp. 210-221, 2010, Esculapio Editore, 978-88-7488-369-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Akinori Abe |
Abduction dealing with potential values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010, pp. 1279-1285, 2010, IEEE, 978-1-4244-6588-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10, 2010., pp. 51-62, 2010, IOS Press, 978-1-60750-618-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing - 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010. Proceedings, pp. 268-282, 2010, Springer, 978-3-642-16575-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming - 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers, pp. 114-129, 2010, Springer, 978-3-642-21294-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001 |
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Thomas Hubauer, Steffen Lamparter, Michael Pirker |
Automata-Based Abduction for Tractable Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Clément Hurlin, Hélène Kirchner |
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, pp. 157-175, 2010, Springer, 978-3-642-19750-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings, pp. 182-194, 2010, Springer, 978-3-642-15917-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Fernando Soler-Toscano, Fernando R. Velázquez-Quesada |
Abduction for (Non-Omniscient) Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MALLOW ![In: Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
Towards Efficient Multi-Agent Abduction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MALLOW ![In: Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Yasuo Kudo, Tetsuya Murai, Seiki Akama |
A granularity-based framework of deduction, induction, and abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 50(8), pp. 1215-1226, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 25(3), pp. 549-555, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001 |
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0912.3134, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera |
Abduction via C-tableaux and delta-resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 19(2), pp. 211-225, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Biol. Eng. Comput. ![In: Medical Biol. Eng. Comput. 47(5), pp. 557-563, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, Peter A. Flach |
Abduction and Induction in Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 7(3), pp. 251, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chiaki Sakama, Katsumi Inoue |
Equivalence issues in abduction and induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 7(3), pp. 318-328, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel |
Using abduction and induction for operational requirements elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 7(3), pp. 275-288, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani, Emanuele Bardone |
Seeking Chances through Interface Design. The Role of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009, pp. 1714-1719, 2009, IEEE, 978-1-4244-2794-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima |
Discovering Rules by Meta-level Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers, pp. 49-64, 2009, Springer, 978-3-642-13839-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Peter D. Bruza, Alistair Barros, Matthias Kaiser |
Augmenting Web Service Discovery by Cognitive Semantics and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2009 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2009, Milan, Italy, 15-18 September 2009, Main Conference Proceedings, pp. 403-410, 2009, IEEE Computer Society, 978-0-7695-3801-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2009 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2009, Milan, Italy, 15-18 September 2009, Main Conference Proceedings, pp. 145-148, 2009, IEEE Computer Society, 978-0-7695-3801-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Helen Couclelis |
The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings, pp. 342-356, 2009, Springer, 978-3-642-03831-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Franz Wotawa |
On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: 2009 International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2009, Fukuoka, Japan, March 16-19, 2009, pp. 1160-1165, 2009, IEEE Computer Society, 978-0-7695-3575-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Guy C. Van Orden |
Peirce's abduction and cognition as we know it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 20(3), pp. 219-229, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Carlo Meghini, Yannis Tzitzikas, Nicolas Spyratos |
Abduction for Accessing Information Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 83(4), pp. 355-387, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Gerhard Schurz |
Patterns of abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 164(2), pp. 201-234, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo Finger |
Using Abduction to Compute Efficient Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 39-49, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Mancarella, Giacomo Terreni, Francesca Toni |
Web Sites Repairing through Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 137-152, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
Probabilistic abduction without priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 47(3), pp. 333-351, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Gustav Nordh, Bruno Zanuttini |
What makes propositional abduction tractable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 172(10), pp. 1245-1284, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay |
Cut-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 16(6), pp. 537-560, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Bayesian Networks ![In: Innovations in Bayesian Networks: Theory and Applications, pp. 251-280, 2008, Springer, 978-3-540-85065-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Giada Maggenti, Andrea Bracciali, Paolo Mancarella |
Abduction and legal reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Forensics ![In: 1st International ICST Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia, E-FORENSICS 2008, Adelaide, Australia, January 21-23, 2008, pp. 33, 2008, ICST/ACM, 978-963-9799-19-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings, pp. 194-205, 2008, Springer, 978-3-540-78134-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, pp. 1541-1546, 2008, AAAI Press, 978-1-57735-368-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Marco Gavanelli, Marco Alberti 0001, Evelina Lamma |
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 903-904, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ildikó Flesch, Peter J. F. Lucas |
Combining Abduction with Conflict-based Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 807-808, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Relationship between human and computational abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008, pp. 318-323, 2008, IEEE, 978-1-4244-2383-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Meghyn Bienvenu |
Complexity of Abduction in the EL Family of Lightweight Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 220-230, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEM ![In: Proceedings of the 2008 International Conference on Genetic and Evolutionary Methods, GEM 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 241-247, 2008, CSREA Press, 1-60132-069-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Serv. Res. ![In: Int. J. Web Serv. Res. 4(3), pp. 85-112, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani |
Abduction and chance discovery in science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Knowl. Based Intell. Eng. Syst. ![In: Int. J. Knowl. Based Intell. Eng. Syst. 11(5), pp. 273-279, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Bochman |
A Causal Theory of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 17(5), pp. 851-869, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Discovery of Scientific Knowledge ![In: Computational Discovery of Scientific Knowledge, Introduction, Techniques, and Applications in Environmental and Life Sciences, pp. 228-247, 2007, Springer, 978-3-540-73919-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Efficient Datalog Abduction through Bounded Treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pp. 1626-1631, 2007, AAAI Press, 978-1-57735-323-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Miki Hermann, Reinhard Pichler |
Counting Complexity of Propositional Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 417-422, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 18(3), pp. 365-386, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dov M. Gabbay, Rolf Nossum, John Woods 0001 |
Context-dependent Abduction and Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 35(1), pp. 65-81, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Torgeir Knag Fylkesnes |
Abducing Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 179-187, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Giovanni Tuzet |
Projectual Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 151-160, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Markus C. Becker, Francesco Zirpoli |
Problem-Solving by Abduction in New Product Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 379-390, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sami Paavola, Kai Hakkarainen, Matti Sintonen |
Abduction with Dialogical and Trialogical Means. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 137-150, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera |
Model-Baded Abduction via Dual Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 305-319, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Walter Alexandre Carnielli |
Surviving Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 237-256, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani |
Multimodal Abduction: External Semiotic Anchors and Hybrid Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 107-136, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Vivek Bharathan, John R. Josephson |
Belief Revision Controlled by Meta-abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 271-285, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Peter Bruza, Richard Cole 0002, Dawei Song 0001, Zeeniya Bari |
Towards Operational Abduction from a Cognitive Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(2), pp. 161-177, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Creignou, Bruno Zanuttini |
A Complete Classification of the Complexity of Propositional Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 36(1), pp. 207-229, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2006: The Nineteenth Annual Conference on Legal Knowledge and Information Systems, Paris, France, 7-9 December 2006, pp. 163-168, 2006, IOS Press, 978-1-58603-698-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 28th International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2006, New York City, NY, USA, August 30 - September 3, 2006, Main Volume, pp. 181-184, 2006, IEEE, 1-4244-0032-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 737-738, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Lorenzo Magnani |
Abduction and Chance The Extra-Theoretical Dimension of Chance Discovery in Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Taipei, Taiwan, October 8-11, 2006, pp. 1747-1753, 2006, IEEE, 1-4244-0099-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Fernando Soler-Toscano, Ángel Nepomuceno-Fernández |
: Tableaux and Resolution for Finite Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 511-514, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
Probabilistic Abduction without Priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 420-430, 2006, AAAI Press, 978-1-57735-271-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Maurizio Atzori |
Abduction and Anonymity in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
16 | Marc Denecker, Kristof Van Belleghem |
Temporal Reasoning with iff-Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 343-373, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Ashraf M. Abdelbar, Mohamed Hefny |
An efficient LP-based admissible heuristic for cost-based abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 17(3), pp. 297-303, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Ken Satoh |
Speculative Computation and Abduction for an Autonomous Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 88-D(9), pp. 2031-2038, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. Appl. ![In: Electron. Commer. Res. Appl. 4(4), pp. 345-361, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Murray Shanahan |
Perception as Abduction: Turning Sensor Data Into Meaningful Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 29(1), pp. 103-134, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Helmut Prendinger, Mitsuru Ishizuka |
A creative abduction approach to scientific and knowledge discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 18(7), pp. 321-326, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 18(5-6), pp. 755-764, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
Probabilistic Abduction Without Priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Change in Rational Agents ![In: Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLA ![In: Fourth International Conference on Machine Learning and Applications, ICMLA 2005, Los Angeles, California, USA, 15-17 December 2005, 2005, IEEE Computer Society, 0-7695-2495-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani |
Abduction and Cognition in Organic and Logical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
We Will Show Them! (2) ![In: We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, pp. 225-258, 2005, College Publications, 1-904987-26-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot |
Inference of Gene Relations from Microarray Data by Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 389-393, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Kathrin Konczak, Ralf Vogel 0001 |
Abduction and Preferences in Linguistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Answer Set Programming ![In: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Gustav Nordh, Bruno Zanuttini |
Propositional Abduction is Almost Always Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, pp. 534-539, 2005, Professional Book Center, 0938075934. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Abduction with Hypotheses Confirmation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, pp. 1545-1546, 2005, Professional Book Center, 0938075934. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Robotics ![In: Adv. Robotics 18(5), pp. 497-513, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ashraf M. Abdelbar |
Approximating cost-based abduction is NP-hard . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 159(1-2), pp. 231-239, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Fangzhen Lin, Jia-Huai You |
Recycling Computed Answers in Rewrite Systems for Abduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0402033, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 4(4), pp. 383-428, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Peter Bruza, Dawei Song 0001, Robert McArthur |
Abduction in Semantic Space: Towards a Logic of Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 12(2), pp. 97-109, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 35(6), pp. 89-97, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Henning Christiansen 0001, Verónica Dahl |
Assumptions and Abduction in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Konstantine Arkoudas |
Specification, Abduction, and Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 294-309, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ken Satoh |
"All's well that ends well" - a proposal of global abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 360-367, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Piero A. Bonatti |
Abduction over Unbounded Domains via ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 288-292, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 975-976, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Engineering Knowledge in the Age of the Semantic Web, 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004, Proceedings, pp. 307-320, 2004, Springer, 3-540-23340-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Gregory M. Provan |
Inferential Complexity Control for Model-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 415-426, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMS ![In: Medical Simulation: International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004. Proceedings, pp. 193-202, 2004, Springer, 3-540-22186-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|