1. Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983. Keyword(s): logic programming, deductive-inductive system. [bibtex-entry]

1. Mirco Nanni, Alessandra Raffaetà, Chiara Renso, and Franco Turini. Deductive and Inductive Reasoning on Spatio-Temporal Data. Lecture Notes in Computer Science, 3392:98-115, 2005. Keyword(s): deductive-inductive system, inductive reasoning. [bibtex-entry]



2. Joke Meheus. Adaptive Logics and the Integration of Induction and Deduction. In F. Stadler, editor, Induction and Deduction in the Sciences, volume 11 of Vienna Circle Institute Yearbook, pages 93-120. Kluwer, 2004. Keyword(s): deductive-inductive system. [bibtex-entry]



3. Silvio do Lago Pereira and Leliane Nunes de Barros. High-Level Robot Programming: An Abductive Approach Using Event Calculus. In Advances in Artificial Intelligence - SBIA 2004, volume 3171 of Lecture Notes in Computer Science, pages 73-82. Springer, 2004. Keyword(s): planning, event calculus, deductive-inductive system, abductive logic programming. [bibtex-entry]



4. Silvio do Lago Pereira and Leliane Nunes de Barros. Planning with Abduction A Logical Framework to Explore Extensions to Classical Planning. In Advances in Artificial Intelligence - SBIA 2004, volume 3171, pages 62-72. Springer, 2004. Keyword(s): planning, event calculus, deductive-inductive system, abductive logic programming. [bibtex-entry]



5. Samir Chopra and Eric Martin. Generalized Logical Consequence: Making Room for Induction in the Logic of Science. Journal of Philosophical Logic, 31(3):245-280, 2002. Keyword(s): deductive-inductive system, inductive reasoning. [bibtex-entry]



6. Luc De Raedt. A Perspective on Inductive Databases. SIGKDD Explorations Newsletter, 4(2):69-77, 2002. Keyword(s): inductive logic programming, deductive-inductive system. [bibtex-entry]



7. Peter A. Flach. From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases. In Burkhard Freitag, Hendrik Decker, Michael Kifer, and Andrei Voronkov, editors, Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, pages 356-387. Springer-Verlag, 1998. Keyword(s): inductive logic programming, deductive-inductive system. [bibtex-entry]



8. Lode Missiaen, Maurice Bruynooghe, and Marc Denecker. CHICA, An Abductive Planning System Based on Event Calculus. Journal of Logic and Computation, 5(5):579-602, 1995. Keyword(s): planning, event calculus, deductive-inductive system, abductive logic programming. [bibtex-entry]



9. Saso Dzeroski and Nada Lavrac. Inductive Learning in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 5(6):939-949, 1993. Keyword(s): deductive-inductive system, inductive reasoning. [bibtex-entry]

1. Marcelo A. T. Aragão and Alvaro A. A. Fernandes. Inductive-Deductive Databases for Knowledge Management. In Workshop on Knowledge Management and Organizational Memories, 15th ECAI, pages 11-19, 2002. Keyword(s): deductive-inductive system. [bibtex-entry]



2. Alvaro A. A. Fernandes. Combining Inductive and Deductive Inference in Knowledge Management Tasks. In Proceedings of the 11th International Workshop on Database and Expert Systems Applications, pages 1109-1114, 2000. IEEE Computer Society. Keyword(s): deductive-inductive system. [bibtex-entry]



3. Nico Jacobs, Kurt Driessens, and Luc De Raedt. Using ILP-Systems for Verification and Validation of Multi-agent Systems. In ILP '98: Proceedings of the 8th International Workshop on Inductive Logic Programming, pages 145-154, 1998. Springer-Verlag. Keyword(s): inductive logic programming, deductive-inductive system, multi-agent system. [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html