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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 4(3), pp. 261-280, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Craig Boutilier, Verónica Becher |
Abduction as Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 77(1), pp. 43-94, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Shengrui Wang |
Abduction-Based Diagnosis: A Competition-Based Neural Model Simulating Adductive Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 24(2), pp. 202-212, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Phan Minh Dung, Chandrabose Aravindan |
Knowledge base dynamics, Abduction and Databases updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(1), pp. 51-76, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré |
On the Role of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 27(3), pp. 353-355, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Susan Weber McRoy |
Misunderstanding and the negotiation of meaning using abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 8(2-3), pp. 126-134, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Marta Cialdea Mayer, Fiora Pirri |
Propositional Abduction in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 3(6), pp. 907-919, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Takao Uehara |
Application of abduction to computer bridge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 26(9), pp. 23-33, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Nícia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz |
Labelled Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings, pp. 91-100, 1995, Springer, 3-540-60436-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | T. H. Fung |
Abduction with Clark Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 817, 1995, MIT Press, 0-262-69177-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Carlos Viegas Damásio, Luís Moniz Pereira |
Abduction over 3-Valued Extended Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings, pp. 29-42, 1995, Springer, 3-540-59487-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Shengrui Wang |
An effective algorithm for incompatibility abduction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995, pp. 90-97, 1995, IEEE Computer Society, 0-8186-7312-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Eiter, Georg Gottlob, Nicola Leone |
Semantics and Complexity of Abduction from Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI (1) ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 870-877, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Nicolas Chleq |
Contribution à l'étude du raisonnement temporel. Résolution avec contraintes et application à l'abduction en raisonnement temporel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
16 | Wlodek Zadrozny |
Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 6(2), pp. 147-162, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Venu Dasigi |
Logical form generation as abduction: Part II. A dual-route parsimonious covering approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 9(7), pp. 609-651, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Venu Dasigi |
Logical form generation as abduction: Part I. Representation of linguistic concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 9(7), pp. 571-608, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Eugene Santos Jr. |
A Linear Constraint Satisfaction Approach to Cost-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 65(1), pp. 1-28, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Eugene Charniak, Solomon Eyal Shimony |
Cost-Based Abduction and MAP Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 66(2), pp. 345-374, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 122(1&2), pp. 225-262, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Fiora Pirri, Clara Pizzuti |
Explaining Incompatibilities in Data Dictionary Design through Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 13(2), pp. 101-139, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Mark E. Stickel |
Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 13(2), pp. 189-210, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Paul O'Rorke |
Abduction and Explanation-Based Learning: Case Studies in Diverse Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 10, pp. 295-33, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giacobazzi |
Characterizing Abstract Program Properties by Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE (1) ![In: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1, pp. 77-91, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Kouichi Hirata |
Rule-Generating Abduction for Recursive Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AII/ALT ![In: Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings, pp. 121-136, 1994, Springer, 3-540-58520-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Abduction and Abductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, pp. 18-19, 1994, MIT Press, 0-262-72022-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Vladimir Lifschitz, Hudson Turner |
From Disjunctive Programs to Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMELP ![In: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, pp. 23-42, 1994, Springer, 3-540-59467-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Paul O'Rorke |
Focusing on the Most Important Explanations: Decision-Theoretic Horn Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1., pp. 275-280, 1994, AAAI Press / The MIT Press, 0-262-61102-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Christian Codognet, Philippe Codognet |
Abduction and Concurrent Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994., pp. 75-79, 1994, John Wiley and Sons, Chichester. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Ken Satoh |
A Top Down Proof Procedure for Default Logic by Using Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994., pp. 65-69, 1994, John Wiley and Sons, Chichester. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Bob Goedhart |
Abduction and Uncertainty in Compositional Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994., pp. 70-74, 1994, John Wiley and Sons, Chichester. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Aldo Franco Dragoni, Paolo Puliti |
Mental States Recognition from Speech Acts through Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994., pp. 183-187, 1994, John Wiley and Sons, Chichester. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Jörg Gebhardt, Rudolf Kruse |
A Numerical Framework for Possibilistic Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU ![In: Advances in Intelligent Computing - IPMU'94, 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994, Selected Papers, pp. 281-291, 1994, Springer, 3-540-60116-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, George A. Papadopoulos |
Parallel Abduction in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 214-224, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Cristina Ribeiro 0001, António Porto |
Abduction in Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTL ![In: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, pp. 349-364, 1994, Springer, 3-540-58241-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Sheila A. McIlraith |
Generating Tests Using Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994., pp. 449-460, 1994, Morgan Kaufmann, 1-55860-328-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Paul Bourgine |
Autonomy, abduction, adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1994, CA 1994, Geneva, Switzerland, May 25-28, 1994, pp. 104-111, 1994, IEEE, 0-8186-6240-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | H. Takeda |
Abduction for design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Design Methods for CAD ![In: Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994, pp. 221-243, 1994, Elsevier, 0-444-81970-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Yasuharu Den |
Generalized Chart Algorithm: An Efficient Procedure for Cost-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 32nd Annual Meeting of the Association for Computational Linguistics, 27-30 June 1994, New Mexico State University, Las Cruces, New Mexico, USA, Proceedings., pp. 218-225, 1994, Morgan Kaufmann Publishers / ACL. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Eugene Santos Jr. |
Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 5(4), pp. 359-390, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 11(3), pp. 377-400, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Wlodek Zadrozny |
On Rules of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 9(3-4), pp. 387-420, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | David Poole 0001 |
Probabilistic Horn Abduction and Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 64(1), pp. 81-129, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul A. Martin |
Interpretation as Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 63(1-2), pp. 69-142, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch |
Preferring diagnoses by abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 23(3), pp. 792-808, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Marquis |
Skeptical Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 2(4), pp. 511-540, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Marta Cialdea Mayer, Fiora Pirri |
First order abduction via tableau and sequent calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 1(1), pp. 99-117, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Maim |
Restricted Abduction in Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA, pp. 222-224, 1993, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Craig Boutilier, Verónica Becher |
Abduction As Belief Revision: A Model of Preferred Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993., pp. 642-648, 1993, AAAI Press / The MIT Press, 0-262-51071-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Kave Eshghi |
A Tractable Class of Abduction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 3-8, 1993, Morgan Kaufmann, 1-55860-300-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Katashi Nagao |
Abduction and Dynamic Preference in Plan-Based Dialogue Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 1186-1192, 1993, Morgan Kaufmann, 1-55860-300-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima |
Bottom-up Abduction by Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 102-108, 1993, Morgan Kaufmann, 1-55860-300-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Kurt Konolige |
Abduction Versus Closure in Causal Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 53(2-3), pp. 255-272, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Marco Botta, Lorenza Saitta |
Use of Causal Models and Abduction in Learning Diagnostic Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 36(2), pp. 289-307, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Douglas E. Applet, Martha E. Pollack |
Weighted Abduction for Plan Ascription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 2(1-2), pp. 1-25, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Eiter, Georg Gottlob |
Complexity Results for Logic-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Structural Complexity and Recursion-theoretic methods in Logic-Programming ![In: Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992, pp. 29-44, 1992, Mathematical Sciences Institute, Cornell University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Eugene Charniak, Eugene Santos Jr. |
Dynamic MAP Calculations for Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, USA, July 12-16, 1992., pp. 552-557, 1992, AAAI Press / The MIT Press, 0-262-51063-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Bradley L. Richards, Ina Kraan, Benjamin Kuipers |
Automatic Abduction of Qualitative Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, USA, July 12-16, 1992., pp. 723-728, 1992, AAAI Press / The MIT Press, 0-262-51063-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Annika Wærn |
Reactive Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings., pp. 159-163, 1992, John Wiley and Sons, 9780471936084. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Enrico Maim |
Abduction and Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings., pp. 149-153, 1992, John Wiley and Sons, 9780471936084. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Didier Dubois, Henri Prade |
Possibilistic Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU ![In: IPMU '92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings, pp. 3-12, 1992, Springer, 3-540-56735-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | David Poole 0001 |
Logic Programming, Abduction and Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 530-538, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Marc Denecker, Danny De Schreye |
On the Duality of Abduction and Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 650-657, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski |
Abduction in Logic Programming with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 539-545, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson |
The Computational Complexity of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 49(1-3), pp. 25-60, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 3(4), pp. 181-191, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Luca Console, Daniele Theseider Dupré, Pietro Torasso |
On the Relationship between Abduction and Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 1(5), pp. 661-690, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Fiora Pirri, Clara Pizzuti |
Querying Incomplete Knowledge Bases with Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Proceedings of the International Conference on Database and Expert Systems Applications, Berlin, Germany, 1991., pp. 400-405, 1991, Springer-Verlag, Wien, 3-211-82301-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | David Poole 0001 |
Representing Bayesian Networks Within Probabilistic Horn Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, University of California at Los Angeles, Los Angeles, CA, USA, July 13-15, 1991, pp. 271-278, 1991, Morgan Kaufmann, 1-55860-203-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Dov M. Gabbay |
Abduction in Labelled Deductive Systems - A Conceptual Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings, pp. 3-11, 1991, Springer, 3-540-54659-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Ken Satoh, Noboru Iwayama |
Computing Abduction by Using the TMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, pp. 505-518, 1991, MIT Press, 0-262-56058-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Hwee Tou Ng, Raymond J. Mooney |
An Efficient First-Order Horn-Clause Abduction System Based on the ATMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Volume 1., pp. 494-499, 1991, AAAI Press / The MIT Press, 0-262-51059-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Pierre Marquis |
Extending abduction from propositional to first-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAIR ![In: Fundamentals of Artificial Intelligence Research, International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings, pp. 141-155, 1991, Springer, 3-540-54507-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré |
Object-Level Abduction for View Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAISD ![In: Second International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1991, September 9-11, 1991, Aiguablava, Costa Brava, Catalonia, Proceedings., pp. 114-127, 1991, Universitat Politecnica de Catalunya (UPC). The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Pierre Marquis |
Mechanizing skeptical abduction and its applications to artificial intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991, pp. 300-307, 1991, IEEE Computer Society, 0-8186-2300-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Hendrik Decker |
Consistency Checking by Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: Kurzfassungen des 3. GI-Workshops `Grundlagen von Datenbanken`, GvD 1991, Volkse (bei Braunschweig), 21.-25.5.1991, pp. 23, 1991, ETH Zürich. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Tom Bylander |
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991., pp. 70-77, 1991, Morgan Kaufmann, 1-55860-165-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino |
Negation as Failure and Constraints through Abduction and Defaults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings, pp. 78-87, 1991, Springer, 3-540-54712-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Marco Botta, S. Ravotto, Lorenza Saitta, S. B. Sperotto |
Improving Learning Using Causality and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the Eighth International Workshop (ML91), Northwestern University, Evanston, Illinois, USA, pp. 480-484, 1991, Morgan Kaufmann, 1-55860-200-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Venu Dasigi |
Parsing = Parsimonious Covering? (Abduction in Logical Form Generation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 1031-1038, 1991, Morgan Kaufmann, 1-55860-160-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | David Poole 0001 |
Representing Diagnostic Knowledge for Probabilistic Horn Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 1129-1137, 1991, Morgan Kaufmann, 1-55860-160-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Douglas E. Appelt, Jerry R. Hobbs |
Making Abduction More Efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT ![In: Speech and Natural Language: Proceedings of a Workshop Held at Hidden Valley, Pennsylvania, USA, June 24-27, 1990, 1990, Morgan Kaufmann, 1-55860-157-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | François Bry |
Intensional Updates: Abduction via Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 561-575, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Eugene Charniak, Solomon Eyal Shimony |
Probabilistic Semantics for Cost Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes., pp. 106-111, 1990, AAAI Press / The MIT Press, 0-262-51057-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Knowledge Assimilation and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 54-70, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Generalized Stable Models: A Semantics for Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 9th European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, 1990., pp. 385-391, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Jerry R. Hobbs, Megumi Kameyama |
Translation by Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 13th International Conference on Computational Linguistics, COLING 1990, University of Helsinki, Finland, August 20-25, 1990, pp. 155-161, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Peter Norvig, Robert Wilensky |
A Critical Evaluation of Commensurable Abduction Models for Semantic Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 13th International Conference on Computational Linguistics, COLING 1990, University of Helsinki, Finland, August 20-25, 1990, pp. 225-230, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Antonis C. Kakas, Paolo Mancarella |
Database Updates through Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings., pp. 650-661, 1990, Morgan Kaufmann, 1-55860-149-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT (2) ![In: Speech and Natural Language: Proceedings of a Workshop Held at Cape Cod, Massachusetts, USA, HLT 1989, October 15-18, 1989, 1989, ACL. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
16 | Kave Eshghi, Robert A. Kowalski |
Abduction Compared with Negation by Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 234-254, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
16 | Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson |
Some Results Concerning the Computational Complexity of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989., pp. 44-54, 1989, Morgan Kaufmann, 1-55860-032-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), Cornell University, Ithaca, New York, USA, June 26-27, 1989, pp. 266-271, 1989, Morgan Kaufmann, 1-55860-036-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
16 | Murray Shanahan |
Prediction is Deduction but Explanation is Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989, pp. 1055-1060, 1989, Morgan Kaufmann, 1-55860-094-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
16 | Hector J. Levesque |
A Knowledge-Level Account of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989, pp. 1061-1067, 1989, Morgan Kaufmann, 1-55860-094-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
16 | Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, Douglas Edwards |
Interpretation as Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 26th Annual Meeting of the Association for Computational Linguistics, 7-10 June 1988, State Univerity of New York at Buffalo, Buffalo, New York, USA, Proceedings., pp. 95-103, 1988, ACL. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
12 | Caecilia Charbonnier, Lazhari Assassi, Pascal Volino, Nadia Magnenat-Thalmann |
Motion study of the hip joint in extreme postures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(9), pp. 873-882, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 480-487, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hyprolog, Semantic Property Grammars, parsing, text retrieval, concept extraction |
12 | Akinori Abe |
Cognitive Chance Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human-Computer Interaction. Addressing Diversity, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I, pp. 315-323, 2009, Springer, 978-3-642-02706-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1106-1111, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|