Yannis Dimopoulos and Antonis Kakas. Abduction and Induction: an AI Perspective. In Proceedings of the ECAI '96 Workshop on Abductive and Inductive Reasoning, pages 68--70, Budapest, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Question Answering Interpretation of Resolution Refutation - Burhans (2002) (Correct)
....interesting, but all intermediate clauses along the branches comprise answers, excepting the root, which is simply the negation of the original question. Abduction is held in sharp contrast to induction [Peirce, 1932] and abductive reasoning proceeds in order to explain particular observations [Dimopoulos and Kakas, 1996] , not to generalize over situations. For this reason, most work on abduction involves reasoning from observed facts to (all ground) abductive hypotheses. There is, however, some work on expanding the notion of abduction in order to support reasoning from general observations to general ....
Yannis Dimopoulos and Antonis Kakas. Abduction and Induction: an AI Perspective. In Proceedings of the ECAI '96 Workshop on Abductive and Inductive Reasoning, pages 68--70, Budapest, 1996.
Subscription Information - Volume Bimonthly Full (Correct)
....compared when they are formulated within the same framework. In the area of NL semantics, suitable candidates for translation into TLS are the sequence semantics for dynamic predicate logic from 644 Typed Logics With States [27] the extension of dynamic predicate logic with procedures from [6], the modalized versions of dynamic predicate logic of [5, 12] and so on. In the area of programming language semantics, static program analysis for while programs is easily performed within TLS. Note, for instance, that partial correctness assertions P S Q are readily translated into TLS ....
....[4] P. Dekker. Transsentential Meditations. PhD thesis, Department of Philosophy, University of Amsterdam, 1993. 5] J. van Eijck and G. Cepparello. Dynamic modal predicate logic. In M. Kanazawa and C.J. Pinon, editors, Dynamics, Polarity and Quantification, pages 251 276. CSLI, Stanford, 1994. [6] J. van Eijck and N. Francez. Verb phrase ellipsis in dynamic semantics. In M. Masuch and L. Polos, editors, Applied Logic: How, What and Why , pages 29 60. Kluwer, Dordrecht, 1995. 10. FURTHER WORK 645 [7] J. van Eijck and H. Kamp. Representing discourse in context. In J. van Benthem and A. ....
[Article contains additional citation context not shown here]
Yannis Dimopoulos & Antonis Kakas, `Abduction and induction: an AI perspective', Proc. ECAI'96 Workshop on Abductive and Inductive Reasoning, pp. 68-70.
Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop - Flach, al. Self-citation (Kakas) (Correct)
No context found.
Yannis Dimopoulos & Antonis Kakas, `Abduction and induction: an AI perspective', Proc. ECAI'96 Workshop on Abductive and Inductive Reasoning, pp. 68-70.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC