Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Andreas Pfandler, Stefan Rümmele, Stefan Szeider |
Backdoors to Abduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.5961, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | David L. Poole |
Representing Bayesian Networks within Probabilistic Horn Abduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.5738, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Arpita Chakraborty, Amit Konar, Nikhil R. Pal, Lakhmi C. Jain |
Extending the Contraposition Property of Propositional Logic for Fuzzy Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 21(4), pp. 719-734, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Luis Estrada-González |
Remarks on some general features of abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 23(1), pp. 181-197, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ari Saptawijaya, Luís Moniz Pereira |
Tabled Abduction in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 13(4-5-Online-Supplemen), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Chiaki Sakama, Katsumi Inoue |
Abduction, unpredictability and Garden of Eden. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 21(6), pp. 980-998, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani |
Is abduction ignorance-preserving? Conventions, models and fictions in science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 21(6), pp. 882-914, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gianluca Caterina, Rocco Gangle |
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 21(6), pp. 1028-1043, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Koichi Furukawa, Keita Kinjo, Tomonobu Ozaki, Makoto Haraguchi |
On Skill Acquisition Support by Analogical Rule Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIP ![In: Information Search, Integration, and Personalization - International Workshop, ISIP 2013, Bangkok, Thailand, September 16-18, 2013. Revised Selected Papers, pp. 71-83, 2013, Springer, 978-3-319-08731-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda |
On Minimality and Integrity Constraints in Probabilistic Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, pp. 759-775, 2013, Springer, 978-3-642-45220-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Cognitive Chance Discovery: From abduction to affordance and curation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI*CC ![In: IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2013, New York, NY, USA, July 16-18, 2013, pp. 308-314, 2013, IEEE Computer Society, 978-1-4799-0781-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Kazeto Yamamoto, Naoya Inoue, Yotaro Watanabe, Naoaki Okazaki, Kentaro Inui |
Discriminative Learning of First-Order Weighted Abduction from Partial Discourse Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing (1) ![In: Computational Linguistics and Intelligent Text Processing - 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I, pp. 545-558, 2013, Springer, 978-3-642-37246-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | P. Spagnol, Christian Klauer, Fabio Previdi, Jörg Raisch, Thomas Schauer |
Modeling and online-identification of electrically stimulated antagonistic muscles for horizontal shoulder abduction and adduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 12th European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013, pp. 3979-3984, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chiaki Sakama |
Abduction in Argumentation Frameworks and Its Use in Debate Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, pp. 285-303, 2013, Springer, 978-3-319-10060-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin |
Bi-Abduction with Pure Properties for Specification Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 107-123, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ekaterina Ovchinnikova, Andrew S. Gordon, Jerry R. Hobbs |
Abduction for Discourse Interpretation: A Probabilistic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSSP ![In: Proceedings of the Joint Symposium on Semantic Processing. Textual Inference and Structures in Corpora, JSSP 2013, Trento, Italy, November 20-22, 2013, pp. 42-50, 2013, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Boyang Li 0002, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv |
Synthesis of Circular Compositional Program Proofs via Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 370-384, 2013, Springer, 978-3-642-36741-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ari Saptawijaya, Luís Moniz Pereira |
Towards Practical Tabled Abduction in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings, pp. 223-234, 2013, Springer, 978-3-642-40668-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Schmidt 0001, Michal Wrona |
The Complexity of Abduction for Equality Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy, pp. 615-633, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-60-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Flavio Zelazek |
Dual Aspects of Abduction and Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIC@AI*IA ![In: Proceedings of the First International Workshop on Artificial Intelligence and Cognition (AIC 2013) An official workshop of the 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Torino, Italy, December 3, 2013., pp. 112-117, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Christoph Wernhard |
Abduction in Logic Programming as Second-Order Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 103-119, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Pfandler, Stefan Rümmele, Stefan Szeider |
Backdoors to Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 1046-1052, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Anahita Nafissi |
Applying Markov logics for controlling abox abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
16 | Richard J. Ormerod |
On abduction: a response to Mingers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 63(5), pp. 696-697, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | John Mingers |
Abduction: the missing link between deduction and induction. A comment on Ormerod's 'rational inference: deductive, inductive and probabilistic thinking'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 63(6), pp. 860-861, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan |
Towards Practical ABox Abduction in Large Description Logic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Semantic Web Inf. Syst. ![In: Int. J. Semantic Web Inf. Syst. 8(2), pp. 1-33, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001 |
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 64(4), pp. 447-462, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Shakarian, John P. Dickerson, V. S. Subrahmanian |
Adversarial Geospatial Abduction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Intell. Syst. Technol. ![In: ACM Trans. Intell. Syst. Technol. 3(2), pp. 34:1-34:35, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Bobbio, Stefania Montani, Luigi Portinale |
Parametric Dependability Analysis through Probabilistic Horn Abduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.2446, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | John Woods |
Cognitive Economics and the Logic of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 5(1), pp. 148-161, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001 |
Complexity Classifications for Propositional Abduction in Post's Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 22(5), pp. 1145-1170, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo Finger |
Towards automated first-order abduction: the cut-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(2), pp. 370-387, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani, Walter Alexandre Carnielli, Claudio Pizzi |
Special Issue: Formal Representations in Model-based Reasoning and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(2), pp. 367-369, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Peter D. Bruza, Kirsty Kitto, Brentyn J. Ramm, Laurianne Sitbon, Dawei Song 0001, Simon P. Blomberg |
Quantum-like non-separability of concept combinations, emergent associates and abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(2), pp. 445-457, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque |
Tableaux for structural abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(2), pp. 388-399, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | María G. Navarro, Noemí de Haro-Garcia |
Cognitive Abduction and the Study of Visual Culture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Philosophy and Cognitive Science ![In: Philosophy and Cognitive Science - Western & Eastern Studies, pp. 205-220, 2012, Springer, 978-3-642-29927-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Claudio Pizzi |
A Proposal on Belief, Abduction and Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Philosophy and Cognitive Science ![In: Philosophy and Cognitive Science - Western & Eastern Studies, pp. 173-184, 2012, Springer, 978-3-642-29927-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Cognitive Chance Discovery: From Abduction to Affordance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Philosophy and Cognitive Science ![In: Philosophy and Cognitive Science - Western & Eastern Studies, pp. 155-172, 2012, Springer, 978-3-642-29927-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Valerio Genovese, Deepak Garg 0001, Daniele Rispoli |
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012, pp. 139-153, 2012, IEEE Computer Society, 978-1-4673-1918-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Matko Botincan, Mike Dodds, Suresh Jagannathan |
Resource-sensitive synchronization inference by abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 309-322, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma |
Deon + : Abduction and Constraints for Normative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic Programs, Norms and Action ![In: Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, pp. 308-328, 2012, Springer, 978-3-642-29413-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ralf Klabunde, Sebastian Reuße, Björn Schlünder |
Abduction in Games for a Flexible Approach to Discourse Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing (2) ![In: Computational Linguistics and Intelligent Text Processing - 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II, pp. 13-24, 2012, Springer, 978-3-642-28600-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yanwei Ma, Tianlong Gu, Binbin Xu, Liang Chang 0003 |
An ABox Abduction Algorithm for the Description Logic ALCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing VI - 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012. Proceedings, pp. 125-130, 2012, Springer, 978-3-642-32890-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Claudiu Pozna, Radu-Emil Precup |
A general formulation of abduction algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogInfoCom ![In: IEEE 3rd International Conference on Cognitive Infocommunications, CogInfoCom 2012, Kosice, Slovakia, December 2-5, 2012, pp. 573-578, 2012, IEEE, 978-1-4673-5187-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ken Halland, Katarina Britz |
ABox abduction in ALC using a DL tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: 2012 South African Institute of Computer Scientists and Information Technologists Conference, SAICSIT '12, Pretoria, South Africa, October 1-3, 2012, pp. 51-58, 2012, ACM, 978-1-4503-1308-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele |
The Parameterized Complexity of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., pp. 743-749, 2012, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Chance discovery and black swan: from the viewpoint of abduction and affordance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Advances in Knowledge-Based and Intelligent Information and Engineering Systems - 16th Annual KES Conference, San Sebastian, Spain, 10-12 September 2012, pp. 1638-1645, 2012, IOS Press, 978-1-61499-104-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Naoya Inoue, Ekaterina Ovchinnikova, Kentaro Inui, Jerry R. Hobbs |
Coreference Resolution with ILP-based Weighted Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: COLING 2012, 24th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, 8-15 December 2012, Mumbai, India, pp. 1291-1308, 2012, Indian Institute of Technology Bombay. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Naoya Inoue, Kentaro Inui |
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 281-293, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ken Halland, Katarina Britz |
Naive ABox abduction in ALC using a DL tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov |
The Definability Abduction Problem for Data Exchange - (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 217-220, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michele Ruta, Eugenio Di Sciascio, Floriano Scioscia |
Concept abduction and contraction in semantic-based P2P environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intell. Agent Syst. ![In: Web Intell. Agent Syst. 9(3), pp. 179-207, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Masakazu Ishihata, Taisuke Sato |
Bayesian inference for statistical abduction using Markov chain Monte Carlo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACML ![In: Proceedings of the 3rd Asian Conference on Machine Learning, ACML 2011, Taoyuan, Taiwan, November 13-15, 2011, pp. 81-96, 2011, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Daniel G. Campos |
On the distinction between Peirce's abduction and Lipton's Inference to the best explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 180(3), pp. 419-442, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Taisuke Sato, Masakazu Ishihata, Katsumi Inoue |
Constraint-based probabilistic modeling for statistical abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 83(2), pp. 241-264, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kweku-Muata Osei-Bryson, Ojelanki K. Ngwenyama |
Using decision tree modelling to support Peircian abduction in IS research: a systematic approach for generating and evaluating hypotheses for systematic theory development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. J. ![In: Inf. Syst. J. 21(5), pp. 407-440, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Shakarian, V. S. Subrahmanian, Maria Luisa Sapino |
GAPs: Geospatial Abduction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Intell. Syst. Technol. ![In: ACM Trans. Intell. Syst. Technol. 3(1), pp. 7:1-7:27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Compositional Shape Analysis by Means of Bi-Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 58(6), pp. 26:1-26:66, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
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) |
Int. J. Agric. Environ. Inf. Syst. ![In: Int. J. Agric. Environ. Inf. Syst. 2(1), pp. 63-82, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cassiano Terra Rodrigues |
The Method of Scientific Discovery in Peirce's Philosophy: Deduction, Induction, and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 5(1), pp. 127-164, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Zanuttini |
New Polynomial Classes for Logic-Based Abduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1106.5263, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Katsumi Inoue, Chiaki Sakama, Lena Wiese |
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.5825, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Szymon Klarman, Ulle Endriss, Stefan Schlobach |
ABox Abduction in the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 46(1), pp. 43-80, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt |
Diagnosing and correcting design inconsistencies in source code with logical abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(12), pp. 1113-1129, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Stathis Psillos |
An Explorer upon Untrodden Ground: Peirce on Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic ![In: Inductive Logic, pp. 117-151, 2011, Elsevier, 978-0-444-52936-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Shakarian, V. S. Subrahmanian |
Region-Based Geospatial Abduction with Counter-IED Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Counterterrorism and Open Source Intelligence ![In: Counterterrorism and Open Source Intelligence, pp. 105-142, 2011, Springer, 978-3-7091-0387-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | John Woods |
Abduction and Proof: A Criminal Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Approaches to Legal Rationality ![In: Approaches to Legal Rationality, pp. 217-238, 2011, Springer, 978-90-481-9587-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Louis-Alexis Allen Demers, Clément Gosselin |
Kinematic design of a planar and spherical mechanism for the abduction of the fingers of an anthropomorphic robotic Hand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2011, Shanghai, China, 9-13 May 2011, pp. 5350-5356, 2011, IEEE. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Lukasz Stafiniak |
Joint Constraint Abduction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011., pp. 15-20, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Yiyun Lan, Jun Yao, Julius P. A. Dewald |
The impact of shoulder abduction loading on EMG-based intention detection of hand opening and closing after stroke. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2011, Boston, MA, USA, August 30 - Sept. 3, 2011, pp. 4136-4139, 2011, IEEE, 978-1-4244-4121-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tanapon Tantisripreecha, Nuanwan Soonthornphisaj |
Creating Rules Using Abduction for Legal Reasoning by Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS (Workshops) ![In: Business Information Systems Workshops - BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011. Revised Papers, pp. 282-293, 2011, Springer, 978-3-642-25369-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Martin Kuba |
Automated trust negotiation in identity federations using OWL-based abduction of missing credentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 6th International Conference for Internet Technology and Secured Transactions, ICITST 2011, Abu Dhabi, UAE, December 11-14, 2011, pp. 164-169, 2011, IEEE, 978-1-908320-00-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Cristian Molinaro, Amy Sliva, V. S. Subrahmanian |
Abduction in Annotated Probabilistic Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA, pp. 240-250, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-31-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | James Blythe, Jerry R. Hobbs, Pedro M. Domingos, Rohit J. Kate, Raymond J. Mooney |
Implementing Weighted Abduction in Markov Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the Ninth International Conference on Computational Semantics, IWCS 2011, January 12-14, 2011, Oxford, UK, 2011, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Naoya Inoue, Kentaro Inui |
ILP-Based Reasoning for Weighted Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Plan, Activity, and Intent Recognition ![In: Plan, Activity, and Intent Recognition, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 07, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan |
Towards Practical ABox Abduction in Large OWL DL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, pp. 1160-1165, 2011, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin A. Kent, Erik D. Engeberg |
Robotic hand biomimicry: The effect of finger force and position abduction feedback during contour interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: 2011 IEEE International Conference on Robotics and Biomimetics, ROBIO 2011, Karon Beach, Thailand, December 7-11, 2011, pp. 650-655, 2011, IEEE, 978-1-4577-2136-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn |
The Complexity of Abduction for Separated Heap Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings, pp. 25-42, 2011, Springer, 978-3-642-23701-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Grégoire Lejay, Katsumi Inoue, Andrei Doncescu |
Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011, Biopolis, Singapore, March 22-25, 2011, pp. 495-500, 2011, IEEE Computer Society, 978-0-7695-4338-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Samy Sá, João F. L. Alcântara |
Abduction-Based Search for Cooperative Answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 208-224, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jamal Atif, Céline Hudelot, Isabelle Bloch |
Abduction in Description Logics using Formal Concept Analysis and Mathematical Morphology: Application to Image Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLA ![In: Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, Nancy, France, October 17-20, 2011, pp. 405-408, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Thomas Hubauer, Steffen Lamparter, Michael Pirker |
Relaxed Abduction: Robust Information Interpretation for Incomplete Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Diego Calvanese, Magdalena Ortiz 0001, Mantas Simkus, Giorgio Stefanoni |
The Complexity of Conjunctive Query Abduction in DL-Lite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Chiaki Sakama |
Dishonest Reasoning by Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 1063-1064, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Emad A. M. Andrews, Anthony J. Bonner |
Explaining Genetic Knock-Out Effects Using Cost-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 1635-1640, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jacob Crossman, Michael Quist, Richard Frederiksen, Pat McLaughlin |
Top-down abduction for behavior detection in GMTI data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: Proceedings of the 14th International Conference on Information Fusion, FUSION 2011, Chicago, Illinois, USA, July 5-8, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0267-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Samy Sá, João F. L. Alcântara |
Abduction guided query relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, pp. 1275-1276, 2011, IFAAMAS, 978-0-9826571-5-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Samy Sá |
Group decision making in multiagent systems with abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, pp. 1369-1370, 2011, IFAAMAS, 978-0-9826571-5-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
Programming mental state abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, pp. 301-308, 2011, IFAAMAS, 978-0-9826571-5-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Saratha Sathasivam |
Abduction in Neuro Symbolic Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIC-TA ![In: Sixth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2011, Penang, Malaysia, September 27-29, 2011, pp. 357-361, 2011, IEEE Computer Society, 978-1-4577-1092-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas |
Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Machine Learning ![In: Encyclopedia of Machine Learning, pp. 3-9, 2010, Springer, 978-0-387-30768-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Imtiaz A. Khan, Mohd. Asghar |
Ergonomic evaluation of the angle of abduction in a computer numerically controlled electro discharge machine environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 12(4), pp. 263-269, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Miki Hermann, Reinhard Pichler |
Counting complexity of propositional abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 76(7), pp. 634-649, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001 |
Complexity Classifications for Propositional Abduction in Post's Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.4923, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Tractable database design and datalog abduction through bounded treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 35(3), pp. 278-298, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nabila Khodeir, Nayer M. Wanas, Nevin Mahmoud Darwish, Nadia Hegazy |
Inferring the Differential Student Model in a Probabilistic Domain Using Abduction inference in Bayesian networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDM ![In: Educational Data Mining 2010, The 3rd International Conference on Educational Data Mining, Pittsburgh, PA, USA, June 11-13, 2010. Proceedings, pp. 299-300, 2010, www.educationaldatamining.org, 978-0-615-37529-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Viet-Hoang Vu, Nhan Le Thanh |
Concept abduction for semantic matchmaking in distributed and modular ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OM ![In: Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), Shanghai, China, November 7, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Aruna Chakraborty, Amit Konar, Atulya K. Nagar |
A structured approach to fuzzy abduction based on contraposition property of propositional logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2010, IEEE International Conference on Fuzzy Systems, Barcelona, Spain, 18-23 July, 2010, Proceedings, pp. 1-8, 2010, IEEE, 978-1-4244-6919-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
Towards Efficient Multi-agent Abduction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADS ![In: Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers, pp. 19-38, 2010, Springer, 978-3-642-22722-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
Abduction of distributed theories through local interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 901-906, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|