Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
16 | Alexander Bochman |
Production Inference, Nonmonotonicity and Abduction. |
AI&M |
2004 |
DBLP BibTeX RDF |
|
16 | Michael Carl, Ecaterina Rascu, Johann Haller |
Using Weighted Abduction to Align Term Variant Translations in Bilingual Texts. |
LREC |
2004 |
DBLP BibTeX RDF |
|
16 | Ioannis Xanthakos |
Semantic integration of information by abduction. |
|
2004 |
RDF |
|
16 | Hans Tompits |
Expressing default abduction problems as quantified Boolean formulas. |
AI Commun. |
2003 |
DBLP BibTeX RDF |
|
16 | Bruno Zanuttini |
New Polynomial Classes for Logic-Based Abduction. |
J. Artif. Intell. Res. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Abduction in Well-Founded Semantics and Generalized Stable Models |
CoRR |
2003 |
DBLP BibTeX RDF |
|
16 | Toshio Itoh |
Abduction for creativity. |
Int. J. Technol. Manag. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
Abduction and Analogy in Chance Discovery. |
Chance Discovery |
2003 |
DBLP BibTeX RDF |
|
16 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni |
Interpreting Abduction in CLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
16 | Ashraf M. Abdelbar, M. Mokhtar |
A k-elitist max-min ant system approach to cost-based abduction. |
IEEE Congress on Evolutionary Computation |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Bobbio, Stefania Montani, Luigi Portinale |
Parametric Dependability Analysis through Probabilistic Horn Abduction. |
UAI |
2003 |
DBLP BibTeX RDF |
|
16 | Horacio L. Arló-Costa |
Iterated abduction and conditional coherence. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Peter J. F. Lucas |
Quality Checking of Medical Guidelines through Logical Abduction. |
SGAI Conf. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
Concept Abduction and Contraction in Description Logics. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
16 | Fangzhen Lin, Jia-Huai You |
Recycling Computed Answers in Rewrite Systems for Abduction. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
16 | Makoto Kikuchi, Ichiro Nagasaka |
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design. |
Applied Informatics |
2003 |
DBLP BibTeX RDF |
|
16 | David Al-Dabass, David J. Evans 0001, Siva Sivayoganathan |
Hierarchical Causal Parameter Abduction in Integral-Hybrid Logic Nets. |
FLAIRS |
2003 |
DBLP BibTeX RDF |
|
16 | Akinori Abe |
The Role of Abduction in Chance Discovery. |
New Gener. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jürg Kohlas, Dritan Berzati, Rolf Haenni |
Probabilistic Argumentation Systems and Abduction. |
Ann. Math. Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Fangzhen Lin, Jia-Huai You |
Abduction in logic programming: A new definition and an abductive procedure based on rewriting. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | John R. Josephson, Susan G. Josephson |
Abduction, Reason and Science: Processes of Discovery and Explanation - Lorenzo Magnani (Ed.), Kluwer Academic/Plenum Publishers, New York, 2001, ISBN 0-306-46514-0. |
Artif. Intell. Medicine |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Atocha Aliseda-Llera |
Abduction, Reason, and Science: A Review. |
AI Mag. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Piero A. Bonatti |
Abduction, ASP and Open Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
16 | Paolo Liberatore, Marco Schaerf |
Compilability of Abduction |
CoRR |
2002 |
DBLP BibTeX RDF |
|
16 | Piero A. Bonatti |
Abduction, ASP and open logic programs. |
NMR |
2002 |
DBLP BibTeX RDF |
|
16 | Ken Satoh |
Speculative computation and abduction for an autonomous agent. |
NMR |
2002 |
DBLP BibTeX RDF |
|
16 | Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello |
Abduction with Penalization in Logic Programming |
CoRR |
2001 |
DBLP BibTeX RDF |
|
16 | Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe |
Coherent Composition of Distributed Knowledge-Bases Through Abduction. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Corcoran, Ian D. Wilson, Owen M. Lewis, J. Andrew Ware |
Data Clustering and Rule Abduction to Facilitate Crime Hot Spot Prediction. |
Fuzzy Days |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Bert Van Nuffelen, Antonis C. Kakas |
A-system: Declarative Programming with Abduction. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
16 | David Pearce 0001, Agustín Valverde |
Abduction in equilibrium logic. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
16 | Fangzhen Lin, Jia-Huai You |
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
16 | Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker |
A-System: Problem Solving through Abduction. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
16 | Ian Ruthven |
Abduction, explanation and relevance feedback. |
|
2001 |
RDF |
|
16 | Kewen Wang 0001 |
Argumentation-based abduction in disjunctive logic programming. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Noboru Iwayama, Ken Satoh |
Computing abduction by using TMS with top-down expectation. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Alvaro del Val |
On some tractable classes in deduction and abduction. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi, Stefano Ferilli |
Multistrategy Theory Revision: Induction and Abduction in INTHELEX. |
Mach. Learn. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas |
ACLP: Integrating Abduction and Constraint Solving |
CoRR |
2000 |
DBLP BibTeX RDF |
|
16 | Maroua Bouzid, Antoni Ligeza |
Temporal Causal Abduction. |
Constraints An Int. J. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Harry Bunt, William Black (eds.) |
Abduction, Belief and Context in Dialogue |
|
2000 |
DBLP DOI BibTeX RDF |
|
16 | Slim Abdennadher, Henning Christiansen 0001 |
An Experimental CLP Platform for Integrity Constraints and Abduction. |
FQAS |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Dov M. Gabbay |
Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures. |
ARW |
2000 |
DBLP BibTeX RDF |
|
16 | Olivier de Mouzon, Didier Dubois, Henri Prade |
Using consistency and abduction based indices in possibilistic causal diagnosis. |
FUZZ-IEEE |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Akinori Abe |
The Role of Abduction in Internet-Based Applications. |
PRICAI |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama |
Speculative Computation by Abduction under Incomplete Communication Environments. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Liberatore, Marco Schaerf |
Compilability of Abduction. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
16 | Alvaro del Val |
The Complexity of Restricted Consequence Finding and Abduction. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
16 | Paolo Liberatore, Francesco M. Donini |
Verification Programs for Abduction. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
16 | Raúl Monroy |
The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ramón Pino Pérez, Carlos Uzcátegui |
Ordering explanations and the structural rules for abduction. |
KR |
2000 |
DBLP BibTeX RDF |
|
16 | Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
Semantics of Communicating Agents Based on Deduction and Abduction. |
Issues in Agent Communication |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Bart Demoen |
Prolog and abduction 4 writing garbage collectors. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
16 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi |
Integrating Induction and Abduction in Logic Programming. |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Katsumi Inoue, Chiaki Sakama |
Computing Extended Abduction Through Transaction Programs. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Robert G. Burton |
A Neurocomputational Approach to Abduction. |
Minds Mach. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Bashar Nuseibeh, Alessandra Russo |
Using Abduction to Evolve Inconsistent Requirements Specification. |
Australas. J. Inf. Syst. |
1999 |
DBLP BibTeX RDF |
|
16 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Well-founded Abduction via Tabled Dual Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
16 | Jacinto A. Dávila |
OPENLOG: A Logic Programming Language Based on Abduction. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Peter Vojtás |
Fuzzy logic abduction. |
EUSFLAT-ESTYLF Joint Conf. |
1999 |
DBLP BibTeX RDF |
|
16 | Antonis C. Kakas, Antonia Michael |
Air-Crew Scheduling through Abduction. |
IEA/AIE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh |
Cost-Based Abduction Using Binary Decision Diagrams. |
IEA/AIE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Agnès Voisard |
Abduction and Deduction in Geologic Hypermaps. |
SSD |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Bo Yi, XianPing Tao, Gianna Cioni, Attilio Colagrossi |
Intuitive minimal abduction in sequent calculi. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ashraf M. Abdelbar |
An Algorithm for Finding MAPs for Belief Networks Through Cost-Based Abduction. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Shengrui Wang, Jifeng Ge |
A unified model for abduction-based reasoning. |
IEEE Trans. Syst. Man Cybern. Part A |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes |
Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS). |
Log. J. IGPL |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard Wetzel, Francesca Toni |
Semantic Query Optimization through Abduction and Constraint Handling. |
FQAS |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ken Satoh |
Using Two Level Abduction to Decide Similarity of Cases. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
16 | Fabrizio Riguzzi |
Integrating Abduction and Induction. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
16 | Régis Sabbadin |
Decision As Abduction? |
ECAI |
1998 |
DBLP BibTeX RDF |
|
16 | Katsumi Inoue, Chiaki Sakama |
Specifying Transactions for Extended Abduction. |
KR |
1998 |
DBLP BibTeX RDF |
|
16 | José Júlio Alferes, Luís Moniz Pereira |
Tabling Abduction. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
16 | Thomas Eiter, Georg Gottlob, Nicola Leone |
Semantics and Complexity of Abduction from Default Theories. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Tim Menzies, Paul Compton |
Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models. |
Artif. Intell. Medicine |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Eiter, Georg Gottlob, Nicola Leone |
Abduction from Logic Programs: Semantics and Complexity. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Akihiro Kubota |
Abduction Machine-1 as wooden furniture. |
Knowl. Based Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, Fabrizio Riguzzi |
Learning with Abduction. |
ILP |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi |
Introducing Abduction into (Extensional) Inductive Logic Programming Systems. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré |
An Efficient Algorithm for Temporal Abduction. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Gilles Défourneaux, Nicolas Peltier |
Analogy and Abduction in Automated Deduction. |
IJCAI (1) |
1997 |
DBLP BibTeX RDF |
|
16 | Ingrid Zukerman, Richard McConachy, Kevin B. Korb |
Using Bayesian Networks for Abduction in Argumentation. |
ICONIP (1) |
1997 |
DBLP BibTeX RDF |
|
16 | Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino |
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Craig Boutilier |
Abduction to Plausible Causes: An Event-Based model of Belief Update. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Eugene Santos Jr., Eugene S. Santos |
Polynomial Solvability of Cost-Based Abduction. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ashok K. Goel 0001, J. Ramanujam |
A neural architecture for a class of abduction problems. |
IEEE Trans. Syst. Man Cybern. Part B |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Shengrui Wang |
An Effective Algorithm for Incompatibility Abduction Problems. |
Int. J. Artif. Intell. Tools |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Kouichi Hirata |
Rule-Generating Abduction for Recursive Prolog. |
Informatica (Slovenia) |
1996 |
DBLP BibTeX RDF |
|
16 | Tim Menzies |
Applications of abduction: knowledge-level modelling. |
Int. J. Hum. Comput. Stud. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Marta Cialdea Mayer, Fiora Pirri |
Abduction is not Deduction-in-Reverse. |
Log. J. IGPL |
1996 |
DBLP DOI BibTeX RDF |
|
16 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
On the Complexity of Abduction. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Hendrik Decker |
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
16 | Jean-François Boulicaut, Christophe Rigotti |
Abduction et déduction de structures d'objets: une intégration multiparadigmes. |
JFPLC |
1996 |
DBLP BibTeX RDF |
|
16 | Marta Cialdea Mayer, Fiora Pirri |
A Study on the Logic of Abduction. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
16 | Tze Ho Fung |
Abduction by deduction. |
|
1996 |
RDF |
|
16 | Ashok K. Goel 0001, John R. Josephson, Olivier Fischer, P. Sadayappan |
Practical abduction: characterization, decomposition and concurrency. |
J. Exp. Theor. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | David B. Leake |
Abduction, experience, and goals: a model of everyday abductive explanation. |
J. Exp. Theor. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Quaresma, José Gabriel Lopes |
Unified Logic Programming Approach to the Abduction of Plans and Intentions in Information-Seeking Dialogues. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|