1. Dov M. Gabbay and Franz Guenthner. Handbook of philosophical logic . Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: logic, modal logic, model theory, kripke structures, honours reading, epistemic logic. [abstract] [download paper ] [bibtex-entry]



2. Kim Marriott and P. J. Stuckey. Programming with constraints : an introduction. MIT Press, Cambridge, Mass., 1998.
   Note: 97040549 Kim Marriott and Peter J. Stuckey. Includes bibliographical references and index. 1. Constraints -- 2. Simplification, Optimization and Implication -- 3. Finite Constraint Domains -- 4. Constraint Logic Programs -- 5. Simple Modelling -- 6. Using Data Structures -- 7. Controlling Search -- 8. Modelling with Finite Domain Constraints -- 9. Advanced Programming Techniques -- 10. CLP Systems -- 11. Constraint Databases -- 12. Other Constraint Programming Languages.
   Keywords: logic programming, constraint satisfaction, graph theory, honours reading. [bibtex-entry]



3. Dov M. Gabbay, Christopher John Hogger, and J. A. Robinson. Handbook of logic in artificial intelligence and logic programming. Clarendon Press ; Oxford University Press, Oxford Oxford ; New York, 1993.
   Note: 92023358 //r98 edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. Includes bibliographical references and indexes. v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming.
   Keywords: logic programming, artificial intelligence, epistemic logic, honours reading, proof theory, nonmonotonic reasoning. [bibtex-entry]



4. John Wylie Lloyd. Foundations of Logic Programming. Springer-Verlag, New York, NY, USA, 1987.
   Keywords: logic programming, honours reading. [bibtex-entry]



5. Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.
   Keywords: logic programming, inductive logic programming, honours reading. [bibtex-entry]

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.
   Keywords: inductive logic programming, logic programming, honours reading. [bibtex-entry]



2. Chiaki Sakama and Katsumi Inoue. Coordination in Answer Set Programming. ACM Transactions on Computational Logic, 9(2):1--30, 2008.
   Keywords: logic programming, answer set programming, honours reading. [bibtex-entry]



3. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, and Dirk Vermeir. Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. In Computational Logic in Multi-Agent Systems (CLIMA VII), volume 4371 of Lecture Notes in Computer Science, pages 20--40. Springer, 2007.
   Keywords: logic programming, answer set programming, honours reading. [bibtex-entry]



4. 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.
   Keywords: answer set programming, logic programming, agent programming languages, honours reading. [bibtex-entry]



5. C. Areces, H. de Nivelle, and M. de Rijke. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, 11(5):717--736, 2001.
   Keywords: hybrid logic, modal logic, proof theory, logic programming, agent programming languages, honours reading. [abstract] [bibtex-entry]



6. D. Cabeza and M. Hermenegildo. Distributed WWW programming using (Ciao-) Prolog and the PiLLoW library. Theory and Practice of Logic Programming, 1:251--282, 2001.
   Keywords: agent programming languages, honours reading, logic programming. [abstract] [download paper ] [bibtex-entry]



7. Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating Induction and Abduction in Logic Programming. Information Sciences, 116(1):25--54, 1999.
   Keywords: logic programming, inductive logic programming, abductive logic programming, honours reading. [bibtex-entry]



8. Ilkka Niemela. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence, 25(3):241--273, 1999.
   Keywords: logic programming, nonmonotonic logic, constraint satisfaction, honours reading. [bibtex-entry]



9. V. S. Subrahmanian. Nonmonotonic Logic Programming. IEEE Transactions on Knowledge and Data Engineering, 11(1):143--152, 1999.
   Keywords: nonmonotonic logic, logic programming, honours reading. [bibtex-entry]



10. Gerhard Brewka and Jurgen Dix. Knowledge Representation with Logic Programs. Lecture Notes in Computer Science, 1471:1--102, 1998.
    Keywords: logic programming, honours reading. [bibtex-entry]



11. 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.
    Keywords: logic programming, nonmonotonic logic, honours reading. [bibtex-entry]



12. 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.
    Keywords: logic programming, honours reading. [bibtex-entry]



13. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of mercury, an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3):17--64, 1996.
    Note: Times Cited: 29 Article English Cited References Count: 36 Vt295.
    Keywords: logic programming, honours reading. [abstract] [download paper ] [bibtex-entry]



14. Chitta Baral and Michael Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19/20:73--148, 1994.
    Keywords: logic programming, honours reading. [bibtex-entry]



15. Yves Deville and Kung-Kiu Lau. Logic Program Synthesis. Journal of Logic Programming, 19/20:321--350, 1994.
    Keywords: logic programming, inductive logic programming, honours reading. [bibtex-entry]

1. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF Proof Procedure for Abductive Logic Programming with Constraints. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 266--278, 2004. Springer Verlag.
   Keywords: modal logic, logic programming, honours reading, agent programming languages, inductive logic programming. [abstract] [bibtex-entry]



2. Maarten Marien, David Gilis, and Marc Denecker. On the Relation Between ID-Logic and Answer Set Programming. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 108--120, 2004. Springer Verlag.
   Keywords: modal logic, logic programming, honours reading, agent programming languages. [abstract] [bibtex-entry]



3. Linh Anh Nguyen. The Modal Logic Programming System MProlog. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 266--278, 2004. Springer Verlag.
   Keywords: modal logic, logic programming, honours reading, agent programming languages. [bibtex-entry]



4. Z Somogyi and F. Henderson. The implementation technology of the Mercury debugger. In Tenth Workshop on Logic Programming Environments, Las Cruces, New Mexico, November (1999), pages 35--49, 1999.
   Keywords: logic programming, honours reading. [bibtex-entry]



5. Daniel Cabeza and Manuel V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System.. In APPIA-GULP-PRODE 1996, pages 67--78, 1996.
   Keywords: agent programming languages, honours reading, logic programming. [bibtex-entry]

1. Michael Genesereth and Nathaniel Love. General Game Playing: Game Description Language Specification. Technical Report March 15 2005, Stanford University, 2005.
   Keywords: logic programming, honours reading. [abstract] [download paper ] [bibtex-entry]



2. Linh Anh Nguyen. The Modal Logic Programming System MProlog: Theory, Design, and Implementation. Technical report, 2005.
   Keywords: modal logic, logic programming, honours reading, agent programming languages. [bibtex-entry]



3. Don Batory. The LEAPS Algorithms. Technical Report TR-94-29, Department of Computer Sciences, The University of Texas, 1993.
   Keywords: logic programming, logistics, honours reading, expert systems. [abstract] [bibtex-entry]

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.