BACK TO INDEX

Publications about 'logic programming'
Books and proceedings
  1. Shan-Hwei Nienhuys-Cheng and Ronald de Wolf. Foundations of Inductive Logic Programming. Springer-Verlag, New York, 1997. Keyword(s): inductive logic programming. [bibtex-entry]


  2. Stephen Muggleton, editor. Inductive Logic Programming, volume 38 of The APIC Series. Academic Press, 1992. Keyword(s): inductive logic programming. [bibtex-entry]


  3. John Wylie Lloyd. Foundations of Logic Programming. Springer-Verlag, New York, NY, USA, 1987. Keyword(s): logic programming. [bibtex-entry]


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


Thesis
  1. Phuong Nguyen. Inductive Logic Programming. PhD thesis, The University of New South Wales, 2001. Keyword(s): logic programming, inductive reasoning. [bibtex-entry]


Articles in journal or book chapters
  1. Luc De Raedt and Kristian Kersting. Probabilistic Inductive Logic Programming. In Luc De Raedt, Paolo Frasconi, Kristian Kersting, and Stephen Muggleton, editors, Probabilistic Inductive Logic Programming - Theory and Applications, Lecture Notes in Computer Science, pages 1-27. Springer, 2008. Keyword(s): inductive logic programming. [bibtex-entry]


  2. Jiefei Ma, Alessandra Russo, Krysia Broda, and Keith Clark. DARE: A System for Distributed Abductive Reasoning. Autonomous Agents and Multi-Agent Systems, 16(3):271-297, 2008. Keyword(s): abductive logic programming, multi-agent learning, distributed problem solving. [bibtex-entry]


  3. Jochen Burghardt. E-Generalization using Grammars. Artificial Intelligence, 165(1):1-35, 2005. Keyword(s): inductive logic programming. [bibtex-entry]


  4. 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]


  5. 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]


  6. David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, and Jorgen Fischer Nilsson. Synthesis of Programs in Computational Logic. Lecture Notes in Computer Science, 3049:30-65, 2004. Keyword(s): program synthesis, logic programming, survey. [bibtex-entry]


  7. Alejandro Guerra-Hernández, Amal El Fallah-Seghrouchni, and Henry Soldano. Learning in BDI Multi-Agent Systems. Lecture Notes in Computer Science, 3259:218-233, 2004. Keyword(s): multi-agent learning, BDI architecture, inductive logic programming, high relevance. [bibtex-entry]


  8. Marina De Vos and Dirk Vermeir. Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artificial Intelligence, 42(1-3):103-139, 2004. Keyword(s): multi-agent system, answer set programming. [bibtex-entry]


  9. Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, and Paolo Torroni. Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Annals of Mathematics and Artificial Intelligence, 37(1):65-91, 2003. Keyword(s): abductive logic programming, multi-agent system, multi-agent coordination. [bibtex-entry]


  10. Peter van Roy, Per Brand, Denys Duchier, Seif Haridi, Christian Schulte, and Martin Henz. Logic Programming in the Context of Multiparadigm Programming: the Oz Experience. Theory and Practice of Logic Programming, 3:717-763, 2003. Keyword(s): logic programming, multi-agent system. [bibtex-entry]


  11. Marc Denecker and Antonis C. Kakas. Abduction in Logic Programming. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pages 402-436. Springer-Verlag, London, UK, 2002. Keyword(s): logic programming, inductive logic programming, inductive reasoning, survey. [bibtex-entry]


  12. Peter Flach and Nada Lavrac. Learning in Clausal Logic: A Perspective on Inductive Logic Programming. In Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I. Springer-Verlag, 2002. Keyword(s): inductive logic programming, inductive reasoning. [bibtex-entry]


  13. Robert A. Kowalski. Directions for Logic Programming. In Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I, pages 26-32. Springer-Verlag, 2002. Keyword(s): logic programming, inductive reasoning. [bibtex-entry]


  14. Vladimir Lifschitz. Answer Set Programming and Plan Generation. Artificial Intelligence, 138(1-2):39-54, 2002. Keyword(s): logic programming, answer set programming. [bibtex-entry]


  15. 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]


  16. Dimitar Kazakov and Daniel Kudenko. Machine Learning and Inductive Logic Programming for Multi-agent Systems. In M. Luck, V. Marik, and O. Stepankova, editors, Multi-Agent Systems and Applications, volume 2086, pages 246-270. Springer, 2001. Keyword(s): multi-agent system, machine learning, inductive logic programming, high relevance. [bibtex-entry]


  17. Eduardo Alonso, Mark D'Inverno, Daniel Kudenko, Michael Luck, and Jason Noble. Learning in Multi-Agent Systems. Knowledge Engineering Review, 16(3):277-284, 2001. Keyword(s): machine learning, multi-agent system, inductive logic programming, explanation-based reasoning, social learning, high relevance. [bibtex-entry]


  18. Eduardo Alonso and Daniel Kudenko. Machine Learning for Logic-Based Multi-agent Systems. Lecture Notes in Computer Science, 1871, 2001. Keyword(s): multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming. [bibtex-entry]


  19. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 33(3):374-425, 2001. Keyword(s): logic programming. [bibtex-entry]


  20. Chiaki Sakama. Nonmonotonic Inductive Logic Programming. Lecture Notes in Computer Science, 2173:62-80, 2001. Keyword(s): inductive logic programming, nonmonotonic logic. [bibtex-entry]


  21. Ashwin Srinivasan. Extracting Context-Sensitive Models in Inductive Logic Programming. Machine Learning, 44(3):301-324, 2001. Keyword(s): machine learning, inductive logic programming. [bibtex-entry]


  22. Victor W. Marek and Mirosaw Truszczynski. Stable Models and an Alternative Logic Programming Paradigm. In Krzysztof R. Apt, David S. Warren, and Mirek Truszczynski, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer-Verlag, New York, 1999. Keyword(s): nonmonotonic logic, logic programming, answer set programming. [bibtex-entry]


  23. Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating Induction and Abduction in Logic Programming. Information Sciences, 116(1):25-54, 1999. Keyword(s): logic programming, inductive logic programming, inductive reasoning. [bibtex-entry]


  24. Stephen Muggleton. Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artificial Intelligence, 114(1-2):283-296, 1999. Keyword(s): inductive logic programming. [bibtex-entry]


  25. Ilkka Niemelä. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence, 25(3):241-273, 1999. Keyword(s): logic programming, nonmonotonic logic, answer set programming. [bibtex-entry]


  26. Chiaki Sakama. Some Properties of Inverse Resolution in Normal Logic Programs. Lecture Notes in Computer Science, 1634(1999):279-290, 1999. Keyword(s): inductive logic programming. [bibtex-entry]


  27. V. S. Subrahmanian. Nonmonotonic Logic Programming. IEEE Transactions on Knowledge and Data Engineering, 11(1):143-152, 1999. Keyword(s): model theory. [bibtex-entry]


  28. 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]


  29. Gerhard Brewka and Jürgen Dix. Knowledge Representation with Logic Programs. Lecture Notes in Computer Science, 1471:1-102, 1998. Keyword(s): logic programming, knowledge representation, nonmonotonic logic. [bibtex-entry]


  30. Antonio Brogi, Evelina Lamma, Paolo Mancarella, and Paola Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theoretical Computer Science, 184(1-2):1-59, 1997. Keyword(s): logic programming, nonmonotonic logic. [bibtex-entry]


  31. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. Golog: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming, 31(1-3):59-83, 1997. Keyword(s): situation calculus, agent programming language. [bibtex-entry]


  32. Alain Colmerauer and Philippe Roussel. The Birth of Prolog. In Thomas J. Bergin and Richard G. Gibson, editors, History of programming languages---II, pages 331-367. ACM, 1996. Keyword(s): logic programming. [bibtex-entry]


  33. 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]


  34. Stephen Muggleton. Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13:245-286, 1995. Keyword(s): inductive logic programming. [bibtex-entry]


  35. Chitta Baral and Michael Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19/20:73-148, 1994. Keyword(s): logic programming, knowledge representation, nonmonotonic logic. [bibtex-entry]


  36. Yves Deville and Kung-Kiu Lau. Logic Program Synthesis. Journal of Logic Programming, 19/20:321-350, 1994. Keyword(s): program synthesis, logic programming, survey. [bibtex-entry]


  37. Jörg-Uwe Kietz and Saso Dzeroski. Inductive Logic Programming and Learnability. SIGART Bulletin, 5(1):22-32, 1994. Keyword(s): inductive learning, inductive logic programming. [bibtex-entry]


  38. Raymond J. Mooney and John M. Zelle. Integrating ILP and EBL. SIGART Bulletin, 5(1):12-21, 1994. Keyword(s): inductive logic programming, explanation-based reasoning, machine learning. [bibtex-entry]


  39. Stephen Muggleton and Luc De Raedt. Inductive Logic Programming: Theory and Methods. Journal of Logic Programming, 19/20:629-679, 1994. Keyword(s): inductive logic programming. [bibtex-entry]


  40. Stephen Muggleton. Inductive Logic Programming. In Stephen Muggleton, editor, Inductive Logic Programming, volume 38 of The APIC Series, pages 1-27. Academic Press, 1992. Keyword(s): inductive logic programming. [bibtex-entry]


  41. Stephen Muggleton and C. Feng. Efficient Induction in Logic Programs. In Stephen Muggleton, editor, Inductive Logic Programming, pages 281-298. Academic Press, 1992. Keyword(s): inductive logic programming. [bibtex-entry]


  42. Antonis C. Kakas, Robert A. Kowalski, and Francesca Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1992. Keyword(s): abductive logic programming. [bibtex-entry]


  43. Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9(3/4):365-386, 1991. Keyword(s): nonmonotonic logic, logic programming, answer set programming. [bibtex-entry]


  44. J. R. Quinlan. Learning Logical Definitions from Relations. Machine Learning, 5(3):239-266, 1990. Keyword(s): machine learning, inductive logic programming. [bibtex-entry]


  45. Krzysztof R. Apt and M. H. van Emden. Contributions to the Theory of Logic Programming. Journal of the ACM, 29(3):841-862, 1982. Keyword(s): logic programming. [bibtex-entry]


  46. Robert Kowalski. Predicate Logic as Programming Language. Proceedings IFIP Congress 1974, pp 569-574, 1974. Keyword(s): logic programming. [bibtex-entry]


  47. Robert Kowalski and Donald Kuehner. Linear Resolution with Selection Function. Artificial Intelligence, 2:227-260, 1971. Keyword(s): logic programming. [bibtex-entry]


  48. G. D. Plotkin. A Note on Inductive Generalization. Machine Intelligence, 5:153-163, 1969. Keyword(s): inductive logic programming. [bibtex-entry]


  49. J. A. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM, 12(1):23-41, 1965. Keyword(s): logic programming. [bibtex-entry]


  50. Alan Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42(2):230-265, 1937. Keyword(s): logic programming. [bibtex-entry]


  51. Alonzo Church. A Note on the Entscheidungsproblem. Journal of Symbolic Logic, 1(1):40-41, 1936. Keyword(s): logic programming. [bibtex-entry]


Conference articles
  1. Jian Huang and Adrian R. Pearce. Collaborative Inductive Logic Programming for Path Planning. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, Hyderabad, India, pages 1327-1332, 2007. Keyword(s): multi-agent learning, collaborative problem solving. [bibtex-entry]


  2. Jian Huang and Adrian R. Pearce. Toward Inductive Logic Programming for Collaborative Problem Solving. In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), Hong Kong, China, pages 284-290, 2006. IEEE Computer Society. Keyword(s): multi-agent learning, collaborative problem solving. [bibtex-entry]


  3. Alejandro Guerra-Hernández, Amal El Fallah-Seghrouchni, and Henry Soldano. Distributed Learning in Intentional BDI Multi-Agent Systems. In Mexican International Conference in Computer Science, Colima, México, 2004. IEEE Computer Society Press. Keyword(s): multi-agent learning, BDI architecture, inductive logic programming, high relevance. [bibtex-entry]


  4. T. I. Wang and K. L. Clark. Distributed Logic Programming Using Mobile Agents. In 18th International Conference on Advanced Information Networking and Applications, volume 2, pages 137-142, 2004. Keyword(s): distributed knowledge system. [bibtex-entry]


  5. Eric Martin, Phuong Nguyen, Arun Sharma, and Frank Stephan. Learning in Logic with RichProlog. In ICLP '02: Proceedings of the 18th International Conference on Logic Programming, pages 239-254, 2002. Springer-Verlag. Keyword(s): logic programming, inductive reasoning. [bibtex-entry]


  6. Tzone I Wang and Chien Chao Wang. Mobile Agents for Distributed Logic Programming. In Proceedings of the Ninth International Conference on Parallel and Distributed Systems, pages 177-182, 2002. Keyword(s): distributed knowledge system. [bibtex-entry]


  7. Eric Martin, Arun Sharma, and Frank Stephan. A General Theory of Deduction, Induction, and Learning. In DS '01: Proceedings of the 4th International Conference on Discovery Science, pages 228-242, 2001. Springer-Verlag. Keyword(s): logic programming, inductive reasoning. [bibtex-entry]


  8. Eduardo Alonso and Daniel Kudenko. Logic-based Multi-Agent Systems for Conflict Simulations: A Preliminary Report on Architecture and Implementation. In The Third Workshop of the UK Special Interest Group on Multi-Agetnt Systems, 2000. Keyword(s): multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming. [bibtex-entry]


  9. David Lorenzo and Ramon P. Otero. Using a ILP algorithm to learn Logic Programs for Reasoning about Actions. In J. Cussens and A. Frisch, editors, Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, pages 163-171, 2000. Keyword(s): situation calculus, inductive logic programming. [bibtex-entry]


  10. Hayato Ohwada, Hiroyuki Nishiyama, and Fumio Mizoguchi. Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment. In 10th International Conference on Inductive Logic Programming, pages 165-173, 2000. Springer-Verlag. Keyword(s): inductive logic programming, distributed problem solving. [bibtex-entry]


  11. Eduardo Alonso and Daniel Kudenko. Machine Learning Techniques for Adaptive Logic-Based Multi-Agent Systems A Preliminary Report. In The Second Workshop of the UK Special Interest Group on Multi-Agetnt Systems, 1999. Keyword(s): multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming. [bibtex-entry]


  12. 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]


  13. Raymond J. Mooney. Integrating Abduction and Induction in Machine Learning. In Working Notes of the IJCAI-97 Workshop on Abduction and Induction in AI, Nagoya, Japan, pages 37-42, 1997. Keyword(s): machine learning, inductive logic programming, inductive reasoning. [bibtex-entry]


  14. Marc Denecker, Bern Martens, and Luc De Raedt. On the Difference between Abduction and Induction: A Model Theoretic Perspective. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, pages 19-22, 1996. Keyword(s): logic programming, inductive logic programming, inductive reasoning. [bibtex-entry]


  15. F. Esposito, E. Lamma, D. Malerba, P. Mello, M. Milano, F. Riguzzi, and G. Semeraro. Learning abductive logic programs. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, 1996. Keyword(s): inductive reasoning, inductive logic programming. [bibtex-entry]


  16. Luc Dehaspe and Luc De Raedt. Parallel Inductive Logic Programming. In MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases, 1995. Keyword(s): inductive logic programming, distributed problem solving. [bibtex-entry]


  17. Mehmet Ali Orgun and Wanli Ma. An Overview of Temporal and Modal Logic Programming. In ICTL'94: The 1st International Conference on Temporal Logic, 1994. Springer-Verlag. Keyword(s): modal logic, temporal logic, agent programming language, survey. [bibtex-entry]


  18. Claude Sammut. The Origins of Inductive Logic Programming: A Prehistoric Tale. In S. Muggleton, editor, Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 127-148, 1993. J. Stefan Institute. Keyword(s): inductive logic programming. [bibtex-entry]


  19. Stephen Muggleton. Duce, an Oracle-Based Approach to Constructive Induction. In Proc. Tenth International Joint Conference on Artificial Intelligence, pages 287-292, 1989. Morgan Kaufmann. Keyword(s): inductive logic programming. [bibtex-entry]


  20. Stephen Muggleton and W. Buntine. Machine Invention of First-Order Predicates by Inverting Resolution. In Procceding of the Fifth International Conference on Machine Learning, pages 339-352, 1988. Morgan Kaufmann. Keyword(s): inductive logic programming. [bibtex-entry]


Internal reports
  1. Linh Anh Nguyen. The Modal Logic Programming System MProlog: Theory, Design, and Implementation. Technical report, 2005. Keyword(s): modal logic. [bibtex-entry]


  2. Linh Anh Nguyen. Multimodal Logic Programming and Its Applications to Modal Deductive Database. Technical report, 2003. Keyword(s): modal logic. [bibtex-entry]


Miscellaneous
  1. Ashwin Srinivasan. The Aleph Manual, 2004. Keyword(s): inductive logic programming. [bibtex-entry]



BACK TO INDEX



Disclaimer:

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.



Last modified: Tue Mar 10 15:56:31 2009
Author: jhua.

This document was translated from BibTEX by bibtex2html