A Road Map of Updating in ASP

  title={A Road Map of Updating in ASP},
  author={Juan Carlos Acosta Guadarrama},
As one of the major and traditional topics of Artificial Intelligence over many years, knowledge representation and reasoning has proved to be a strong theoretical framework for Logic Programming to manage dynamic knowledge bases. In this report, we go through current and some of those past proposals to update ASP programs, by analysing their features and identifying challenges to represent correct evolving knowledge. 

From This Paper

Topics from this paper.
3 Citations
22 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 22 references

Irrelevance of syntax in updating answer set programs

  • Mauricio Osorio, Fernando Zacarías
  • In Proceedings of the Fourth Mexican…
  • 2003

The complexity of logic program updates

  • Yan Zhang
  • Proceedings of the 14th Australian Joint…
  • 2001

Przymusinski . Dynamic updates of non - monotonic knowledge bases

  • José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, C Teodor
  • Journal of Logic Programming
  • 1999

Similar Papers

Loading similar papers…