We just added some references to the literature to the workspaces, notably, a pdf copy of our work on CDNL to support this part of the course.

Organization

  • C. Baral (2003). Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
  • M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2012). Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers.
  • M. Gelfond and Y. Kahl (2014). Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press.
  • V. Lifschitz (2019). Answer Set Programming. Springer-Verlag.

Introduction

  • M. Gelfond and V. Lifschitz (1990). “Logic Programs with Classical Negation”. In: Proceedings of the Seventh International Conference on Logic Programming (ICLP’90). Ed. by D. Warren and P. Szeredi. MIT Press, pp. 579–597. pdf

Solving

  • M. Gebser, B. Kaufmann, and T. Schaub (2012). “Conflict-Driven Answer Set Solving: From Theory to Practice”. In: Artificial Intelligence 187-188, pp. 52–89. pdf