Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré |
The Role of Abduction in Database View Updating. |
J. Intell. Inf. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Craig Boutilier, Verónica Becher |
Abduction as Belief Revision. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Shengrui Wang |
Abduction-Based Diagnosis: A Competition-Based Neural Model Simulating Adductive Reasoning. |
J. Parallel Distributed Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Phan Minh Dung, Chandrabose Aravindan |
Knowledge base dynamics, Abduction and Databases updates. |
J. Appl. Non Class. Logics |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré |
On the Role of Abduction. |
ACM Comput. Surv. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Susan Weber McRoy |
Misunderstanding and the negotiation of meaning using abduction. |
Knowl. Based Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Marta Cialdea Mayer, Fiora Pirri |
Propositional Abduction in Modal Logic. |
Log. J. IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Takao Uehara |
Application of abduction to computer bridge. |
Syst. Comput. Jpn. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Nícia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz |
Labelled Abduction. |
SBIA |
1995 |
DBLP DOI BibTeX RDF |
|
16 | T. H. Fung |
Abduction with Clark Completion. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
16 | Carlos Viegas Damásio, Luís Moniz Pereira |
Abduction over 3-Valued Extended Logic Programs. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Shengrui Wang |
An effective algorithm for incompatibility abduction problems. |
ICTAI |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Eiter, Georg Gottlob, Nicola Leone |
Semantics and Complexity of Abduction from Default Theories. |
IJCAI (1) |
1995 |
DBLP BibTeX RDF |
|
16 | Nicolas Chleq |
Contribution à l'étude du raisonnement temporel. Résolution avec contraintes et application à l'abduction en raisonnement temporel. |
|
1995 |
RDF |
|
16 | Wlodek Zadrozny |
Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations). |
J. Exp. Theor. Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Venu Dasigi |
Logical form generation as abduction: Part II. A dual-route parsimonious covering approach. |
Int. J. Intell. Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Venu Dasigi |
Logical form generation as abduction: Part I. Representation of linguistic concepts. |
Int. J. Intell. Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Eugene Santos Jr. |
A Linear Constraint Satisfaction Approach to Cost-Based Abduction. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Eugene Charniak, Solomon Eyal Shimony |
Cost-Based Abduction and MAP Explanation. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Marc Denecker, Danny De Schreye |
On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Fiora Pirri, Clara Pizzuti |
Explaining Incompatibilities in Data Dictionary Design through Abduction. |
Data Knowl. Eng. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Mark E. Stickel |
Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. |
J. Autom. Reason. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Paul O'Rorke |
Abduction and Explanation-Based Learning: Case Studies in Diverse Domains. |
Comput. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giacobazzi |
Characterizing Abstract Program Properties by Abduction. |
GULP-PRODE (1) |
1994 |
DBLP BibTeX RDF |
|
16 | Kouichi Hirata |
Rule-Generating Abduction for Recursive Prolog. |
AII/ALT |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Abduction and Abductive Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
16 | Vladimir Lifschitz, Hudson Turner |
From Disjunctive Programs to Abduction. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Paul O'Rorke |
Focusing on the Most Important Explanations: Decision-Theoretic Horn Abduction. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
16 | Christian Codognet, Philippe Codognet |
Abduction and Concurrent Logic Languages. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
16 | Ken Satoh |
A Top Down Proof Procedure for Default Logic by Using Abduction. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
16 | Bob Goedhart |
Abduction and Uncertainty in Compositional Reasoning. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
16 | Aldo Franco Dragoni, Paolo Puliti |
Mental States Recognition from Speech Acts through Abduction. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
16 | Jörg Gebhardt, Rudolf Kruse |
A Numerical Framework for Possibilistic Abduction. |
IPMU |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, George A. Papadopoulos |
Parallel Abduction in Logic Programming. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
16 | Cristina Ribeiro 0001, António Porto |
Abduction in Temporal Reasoning. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Sheila A. McIlraith |
Generating Tests Using Abduction. |
KR |
1994 |
DBLP BibTeX RDF |
|
16 | Paul Bourgine |
Autonomy, abduction, adaptation. |
CA |
1994 |
DBLP DOI BibTeX RDF |
|
16 | H. Takeda |
Abduction for design. |
Formal Design Methods for CAD |
1994 |
DBLP BibTeX RDF |
|
16 | Yasuharu Den |
Generalized Chart Algorithm: An Efficient Procedure for Cost-Based Abduction. |
ACL |
1994 |
DBLP BibTeX RDF |
|
16 | Eugene Santos Jr. |
Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction. |
J. Exp. Theor. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | David Poole 0001 |
Logic Programming, Abduction and Probability - A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities. |
New Gener. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Wlodek Zadrozny |
On Rules of Abduction. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | David Poole 0001 |
Probabilistic Horn Abduction and Bayesian Networks. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul A. Martin |
Interpretation as Abduction. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch |
Preferring diagnoses by abduction. |
IEEE Trans. Syst. Man Cybern. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Marquis |
Skeptical Abduction. |
Int. J. Artif. Intell. Tools |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Marta Cialdea Mayer, Fiora Pirri |
First order abduction via tableau and sequent calculi. |
Log. J. IGPL |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Maim |
Restricted Abduction in Constraint Logic Programs. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
16 | Craig Boutilier, Verónica Becher |
Abduction As Belief Revision: A Model of Preferred Explanations. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
16 | Kave Eshghi |
A Tractable Class of Abduction Problems. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
16 | Katashi Nagao |
Abduction and Dynamic Preference in Plan-Based Dialogue Understanding. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
16 | Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima |
Bottom-up Abduction by Model Generation. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
16 | Kurt Konolige |
Abduction Versus Closure in Causal Theories. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Marco Botta, Lorenza Saitta |
Use of Causal Models and Abduction in Learning Diagnostic Knowledge. |
Int. J. Man Mach. Stud. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Douglas E. Applet, Martha E. Pollack |
Weighted Abduction for Plan Ascription. |
User Model. User Adapt. Interact. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Eiter, Georg Gottlob |
Complexity Results for Logic-Based Abduction. |
Structural Complexity and Recursion-theoretic methods in Logic-Programming |
1992 |
DBLP BibTeX RDF |
|
16 | Eugene Charniak, Eugene Santos Jr. |
Dynamic MAP Calculations for Abduction. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
16 | Bradley L. Richards, Ina Kraan, Benjamin Kuipers |
Automatic Abduction of Qualitative Models. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
16 | Annika Wærn |
Reactive Abduction. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
16 | Enrico Maim |
Abduction and Constraint Logic Programming. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
16 | Didier Dubois, Henri Prade |
Possibilistic Abduction. |
IPMU |
1992 |
DBLP DOI BibTeX RDF |
|
16 | David Poole 0001 |
Logic Programming, Abduction and Probability. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
16 | Marc Denecker, Danny De Schreye |
On the Duality of Abduction and Model Generation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
16 | Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski |
Abduction in Logic Programming with Equality. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
16 | Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson |
The Computational Complexity of Abduction. |
Artif. Intell. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Fischer, Ashok K. Goel 0001, John R. Svirbely, Jack W. Smith |
The role of essential explanation in abduction. |
Artif. Intell. Medicine |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Luca Console, Daniele Theseider Dupré, Pietro Torasso |
On the Relationship between Abduction and Deduction. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Fiora Pirri, Clara Pizzuti |
Querying Incomplete Knowledge Bases with Abduction. |
DEXA |
1991 |
DBLP BibTeX RDF |
|
16 | David Poole 0001 |
Representing Bayesian Networks Within Probabilistic Horn Abduction. |
UAI |
1991 |
DBLP BibTeX RDF |
|
16 | Dov M. Gabbay |
Abduction in Labelled Deductive Systems - A Conceptual Abstract. |
ECSQARU |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Ken Satoh, Noboru Iwayama |
Computing Abduction by Using the TMS. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
16 | Hwee Tou Ng, Raymond J. Mooney |
An Efficient First-Order Horn-Clause Abduction System Based on the ATMS. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
16 | Pierre Marquis |
Extending abduction from propositional to first-order logic. |
FAIR |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré |
Object-Level Abduction for View Updates. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
16 | Pierre Marquis |
Mechanizing skeptical abduction and its applications to artificial intelligence. |
ICTAI |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Hendrik Decker |
Consistency Checking by Abduction. |
Grundlagen von Datenbanken |
1991 |
DBLP BibTeX RDF |
|
16 | Tom Bylander |
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability. |
KR |
1991 |
DBLP BibTeX RDF |
|
16 | Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino |
Negation as Failure and Constraints through Abduction and Defaults. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Marco Botta, S. Ravotto, Lorenza Saitta, S. B. Sperotto |
Improving Learning Using Causality and Abduction. |
ML |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Venu Dasigi |
Parsing = Parsimonious Covering? (Abduction in Logical Form Generation). |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
16 | David Poole 0001 |
Representing Diagnostic Knowledge for Probabilistic Horn Abduction. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
16 | Douglas E. Appelt, Jerry R. Hobbs |
Making Abduction More Efficient. |
HLT |
1990 |
DBLP BibTeX RDF |
|
16 | François Bry |
Intensional Updates: Abduction via Deduction. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
16 | Eugene Charniak, Solomon Eyal Shimony |
Probabilistic Semantics for Cost Based Abduction. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Knowledge Assimilation and Abduction. |
Truth Maintenance Systems (ECAI Workshop) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Generalized Stable Models: A Semantics for Abduction. |
ECAI |
1990 |
DBLP BibTeX RDF |
|
16 | Jerry R. Hobbs, Megumi Kameyama |
Translation by Abduction. |
COLING |
1990 |
DBLP BibTeX RDF |
|
16 | Peter Norvig, Robert Wilensky |
A Critical Evaluation of Commensurable Abduction Models for Semantic Interpretation. |
COLING |
1990 |
DBLP BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Database Updates through Abduction. |
VLDB |
1990 |
DBLP BibTeX RDF |
|
16 | John R. Josephson, M. Beckman, R. Fox, A. Krishnamurthy, T. Patten, L. Feth, B. Chandrasekaran 0001 |
Pilot Project on Speech Recognition using Layered Abduction and Multiple Knowledge Types. |
HLT (2) |
1989 |
DBLP BibTeX RDF |
|
16 | Kave Eshghi, Robert A. Kowalski |
Abduction Compared with Negation by Failure. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
16 | Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson |
Some Results Concerning the Computational Complexity of Abduction. |
KR |
1989 |
DBLP BibTeX RDF |
|
16 | Paul O'Rorke, Steven Morris, David Schulenburg |
Theory Formation by Abduction: Initial Results of a Case Study Based on the Chemical Revolution. |
ML |
1989 |
DBLP BibTeX RDF |
|
16 | Murray Shanahan |
Prediction is Deduction but Explanation is Abduction. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
16 | Hector J. Levesque |
A Knowledge-Level Account of Abduction. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
16 | Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, Douglas Edwards |
Interpretation as Abduction. |
ACL |
1988 |
DBLP BibTeX RDF |
|
12 | Caecilia Charbonnier, Lazhari Assassi, Pascal Volino, Nadia Magnenat-Thalmann |
Motion study of the hip joint in extreme postures. |
Vis. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Extreme motion, Hip osteoarthritis, Motion capture, Physically-based simulation |
12 | Verónica Dahl, Baohua Gu, Erez Maharshak |
A Hyprolog Parsing Methodology for Property Grammars. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
Hyprolog, Semantic Property Grammars, parsing, text retrieval, concept extraction |
12 | Akinori Abe |
Cognitive Chance Discovery. |
HCI (5) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Azzurra Chiri, Francesco Giovacchini, Nicola Vitiello, Emanuele Cattin, Stefano Roccella, Fabrizio Vecchi, Maria Chiara Carrozza |
HANDEXOS: Towards an exoskeleton device for the rehabilitation of the hand. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|