Declarative Problem Solving Using Answer Set Semantics

  • Martin Brain
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)


My dissertation will make the case that answer set semantics can form the basis of powerful, logical NP problem solving tools. The argument is made in two steps. Firstly a logical programming language, AnsProlog CE is proposed and an efficient, parallel implementation is described. This language is then used to solve a variety of diverse real world problems, demonstrating the power and flexibility of this approach.


Logic Program Parallel Implementation Space Shuttle Nonmonotonic Reasoning Stable Model Semantic 


  1. 1.
    Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proceedings of (ICLP 1988), pp. 1070–1080. MIT Press, Cambridge (1988)Google Scholar
  2. 2.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)MATHCrossRefGoogle Scholar
  3. 3.
    Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169–183. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Leone, N., Eiter, T., Faber, W., et al.: Boosting information integration: The infomix system. In: Proceedings of (SEBD 2005), pp. 55–66 (2005)Google Scholar
  5. 5.
    Hietalahti, M., Massacci, F., Niemelä, I.: Des: A challenge problem for nonmonotonic reasoning systems. In: Proceedings of (NMR 2000) (2000)Google Scholar
  6. 6.
    Borchert, P., Anger, C., Schaub, T., Truszczyński, M.: Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS, vol. 2923, pp. 3–7. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Martin Brain
    • 1
  1. 1.Department of Computer ScienceUniversity of BathBathUK

Personalised recommendations