Debugging in A-Prolog: A Logical Approach

  • Mauricio Osorio
  • Juan Antonio Navarro
  • José Arrazola
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2401)

Abstract

A-Prolog, Answer Set Programming or Stable Model Programming, is an important outcome of the theoretical work on Nonmonotonic Reasoning and AI applications of Logic Programming in the last 15 years. In the full version of this paper we study interesting applications of logic in the field of answer sets.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Mauricio Osorio
    • 1
  • Juan Antonio Navarro
    • 1
  • José Arrazola
    • 1
  1. 1.CENTIAUniversidad de las AméricasPueblaMéxico

Personalised recommendations