Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Andreas Pfandler, Stefan Rümmele, Stefan Szeider |
Backdoors to Abduction |
CoRR |
2013 |
DBLP BibTeX RDF |
|
16 | David L. Poole |
Representing Bayesian Networks within Probabilistic Horn Abduction |
CoRR |
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. |
IEEE Trans. Fuzzy Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Luis Estrada-González |
Remarks on some general features of abduction. |
J. Log. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ari Saptawijaya, Luís Moniz Pereira |
Tabled Abduction in Logic Programs. |
Theory Pract. Log. Program. |
2013 |
DBLP BibTeX RDF |
|
16 | Chiaki Sakama, Katsumi Inoue |
Abduction, unpredictability and Garden of Eden. |
Log. J. IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani |
Is abduction ignorance-preserving? Conventions, models and fictions in science. |
Log. J. IGPL |
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. |
Log. J. IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Koichi Furukawa, Keita Kinjo, Tomonobu Ozaki, Makoto Haraguchi |
On Skill Acquisition Support by Analogical Rule Abduction. |
ISIP |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda |
On Minimality and Integrity Constraints in Probabilistic Abduction. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Cognitive Chance Discovery: From abduction to affordance and curation. |
ICCI*CC |
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. |
CICLing (1) |
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. |
ECC |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chiaki Sakama |
Abduction in Argumentation Frameworks and Its Use in Debate Games. |
JSAI-isAI Workshops |
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. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ekaterina Ovchinnikova, Andrew S. Gordon, Jerry R. Hobbs |
Abduction for Discourse Interpretation: A Probabilistic Framework. |
JSSP |
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. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ari Saptawijaya, Luís Moniz Pereira |
Towards Practical Tabled Abduction in Logic Programs. |
EPIA |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Schmidt 0001, Michal Wrona |
The Complexity of Abduction for Equality Constraint Languages. |
CSL |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Flavio Zelazek |
Dual Aspects of Abduction and Induction. |
AIC@AI*IA |
2013 |
DBLP BibTeX RDF |
|
16 | Christoph Wernhard |
Abduction in Logic Programming as Second-Order Quantifier Elimination. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Pfandler, Stefan Rümmele, Stefan Szeider |
Backdoors to Abduction. |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
16 | Anahita Nafissi |
Applying Markov logics for controlling abox abduction. |
|
2013 |
RDF |
|
16 | Richard J. Ormerod |
On abduction: a response to Mingers. |
J. Oper. Res. Soc. |
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'. |
J. Oper. Res. Soc. |
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. |
Int. J. Semantic Web Inf. Syst. |
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. |
Comput. Math. Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Shakarian, John P. Dickerson, V. S. Subrahmanian |
Adversarial Geospatial Abduction Problems. |
ACM Trans. Intell. Syst. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Bobbio, Stefania Montani, Luigi Portinale |
Parametric Dependability Analysis through Probabilistic Horn Abduction |
CoRR |
2012 |
DBLP BibTeX RDF |
|
16 | John Woods |
Cognitive Economics and the Logic of Abduction. |
Rev. Symb. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001 |
Complexity Classifications for Propositional Abduction in Post's Framework. |
J. Log. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo Finger |
Towards automated first-order abduction: the cut-based approach. |
Log. J. IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Magnani, Walter Alexandre Carnielli, Claudio Pizzi |
Special Issue: Formal Representations in Model-based Reasoning and Abduction. |
Log. J. IGPL |
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. |
Log. J. IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque |
Tableaux for structural abduction. |
Log. J. IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
16 | María G. Navarro, Noemí de Haro-Garcia |
Cognitive Abduction and the Study of Visual Culture. |
Philosophy and Cognitive Science |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Claudio Pizzi |
A Proposal on Belief, Abduction and Interpretation. |
Philosophy and Cognitive Science |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Cognitive Chance Discovery: From Abduction to Affordance. |
Philosophy and Cognitive Science |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Valerio Genovese, Deepak Garg 0001, Daniele Rispoli |
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. |
CSF |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Matko Botincan, Mike Dodds, Suresh Jagannathan |
Resource-sensitive synchronization inference by abduction. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma |
Deon + : Abduction and Constraints for Normative Reasoning. |
Logic Programs, Norms and Action |
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. |
CICLing (2) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yanwei Ma, Tianlong Gu, Binbin Xu, Liang Chang 0003 |
An ABox Abduction Algorithm for the Description Logic ALCI. |
Intelligent Information Processing |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Claudiu Pozna, Radu-Emil Precup |
A general formulation of abduction algorithms. |
CogInfoCom |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ken Halland, Katarina Britz |
ABox abduction in ALC using a DL tableau. |
SAICSIT |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele |
The Parameterized Complexity of Abduction. |
AAAI |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Chance discovery and black swan: from the viewpoint of abduction and affordance. |
KES |
2012 |
DBLP BibTeX RDF |
|
16 | Naoya Inoue, Ekaterina Ovchinnikova, Kentaro Inui, Jerry R. Hobbs |
Coreference Resolution with ILP-based Weighted Abduction. |
COLING |
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. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ken Halland, Katarina Britz |
Naive ABox abduction in ALC using a DL tableau. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
16 | Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov |
The Definability Abduction Problem for Data Exchange - (Abstract). |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michele Ruta, Eugenio Di Sciascio, Floriano Scioscia |
Concept abduction and contraction in semantic-based P2P environments. |
Web Intell. Agent Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Masakazu Ishihata, Taisuke Sato |
Bayesian inference for statistical abduction using Markov chain Monte Carlo. |
ACML |
2011 |
DBLP BibTeX RDF |
|
16 | Daniel G. Campos |
On the distinction between Peirce's abduction and Lipton's Inference to the best explanation. |
Synth. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Taisuke Sato, Masakazu Ishihata, Katsumi Inoue |
Constraint-based probabilistic modeling for statistical abduction. |
Mach. Learn. |
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. |
Inf. Syst. J. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Shakarian, V. S. Subrahmanian, Maria Luisa Sapino |
GAPs: Geospatial Abduction Problems. |
ACM Trans. Intell. Syst. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Compositional Shape Analysis by Means of Bi-Abduction. |
J. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Franz Wotawa |
On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. |
Int. J. Agric. Environ. Inf. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cassiano Terra Rodrigues |
The Method of Scientific Discovery in Peirce's Philosophy: Deduction, Induction, and Abduction. |
Logica Universalis |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Zanuttini |
New Polynomial Classes for Logic-Based Abduction |
CoRR |
2011 |
DBLP BibTeX RDF |
|
16 | Katsumi Inoue, Chiaki Sakama, Lena Wiese |
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction |
CoRR |
2011 |
DBLP BibTeX RDF |
|
16 | Szymon Klarman, Ulle Endriss, Stefan Schlobach |
ABox Abduction in the Description Logic ALC. |
J. Autom. Reason. |
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. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Stathis Psillos |
An Explorer upon Untrodden Ground: Peirce on Abduction. |
Inductive Logic |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Shakarian, V. S. Subrahmanian |
Region-Based Geospatial Abduction with Counter-IED Applications. |
Counterterrorism and Open Source Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
16 | John Woods |
Abduction and Proof: A Criminal Paradox. |
Approaches to Legal Rationality |
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. |
ICRA |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Lukasz Stafiniak |
Joint Constraint Abduction Problems. |
UNIF |
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. |
EMBC |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tanapon Tantisripreecha, Nuanwan Soonthornphisaj |
Creating Rules Using Abduction for Legal Reasoning by Logic Programming. |
BIS (Workshops) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Martin Kuba |
Automated trust negotiation in identity federations using OWL-based abduction of missing credentials. |
ICITST |
2011 |
DBLP BibTeX RDF |
|
16 | Cristian Molinaro, Amy Sliva, V. S. Subrahmanian |
Abduction in Annotated Probabilistic Temporal Logic. |
ICLP (Technical Communications) |
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. |
ICWS |
2011 |
DBLP BibTeX RDF |
|
16 | Naoya Inoue, Kentaro Inui |
ILP-Based Reasoning for Weighted Abduction. |
Plan, Activity, and Intent Recognition |
2011 |
DBLP BibTeX RDF |
|
16 | Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan |
Towards Practical ABox Abduction in Large OWL DL Ontologies. |
AAAI |
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. |
ROBIO |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn |
The Complexity of Abduction for Separated Heap Abstractions. |
SAS |
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. |
AINA Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Samy Sá, João F. L. Alcântara |
Abduction-Based Search for Cooperative Answers. |
CLIMA |
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. |
CLA |
2011 |
DBLP BibTeX RDF |
|
16 | Thomas Hubauer, Steffen Lamparter, Michael Pirker |
Relaxed Abduction: Robust Information Interpretation for Incomplete Models. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
16 | Diego Calvanese, Magdalena Ortiz 0001, Mantas Simkus, Giorgio Stefanoni |
The Complexity of Conjunctive Query Abduction in DL-Lite. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
16 | Chiaki Sakama |
Dishonest Reasoning by Abduction. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Emad A. M. Andrews, Anthony J. Bonner |
Explaining Genetic Knock-Out Effects Using Cost-Based Abduction. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jacob Crossman, Michael Quist, Richard Frederiksen, Pat McLaughlin |
Top-down abduction for behavior detection in GMTI data. |
FUSION |
2011 |
DBLP BibTeX RDF |
|
16 | Samy Sá, João F. L. Alcântara |
Abduction guided query relaxation. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
16 | Samy Sá |
Group decision making in multiagent systems with abduction. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
16 | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
Programming mental state abduction. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
16 | Saratha Sathasivam |
Abduction in Neuro Symbolic Integration. |
BIC-TA |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas |
Abduction. |
Encyclopedia of Machine Learning |
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. |
Cogn. Technol. Work. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Miki Hermann, Reinhard Pichler |
Counting complexity of propositional abduction. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001 |
Complexity Classifications for Propositional Abduction in Post's Framework |
CoRR |
2010 |
DBLP BibTeX RDF |
|
16 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Tractable database design and datalog abduction through bounded treewidth. |
Inf. Syst. |
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. |
EDM |
2010 |
DBLP BibTeX RDF |
|
16 | Viet-Hoang Vu, Nhan Le Thanh |
Concept abduction for semantic matchmaking in distributed and modular ontologies. |
OM |
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. |
FUZZ-IEEE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
Towards Efficient Multi-agent Abduction Protocols. |
LADS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
Abduction of distributed theories through local interactions. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|