Robust Equivalence Models for Semantic Updates of Answer-Set Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)
Original languageUnknown
Title of host publicationKnowledge Representation and Reasoning Conference
EditorsG Brewka, T Eiter, SA McIlraith
PublisherAAAI Press
Pages158-168
ISBN (Print)978-1-57735-560-1
Publication statusPublished - 1 Jan 2012
EventPrinciples of Knowledge Representation and Reasoning (KR) -
Duration: 1 Jan 2012 → …

Conference

ConferencePrinciples of Knowledge Representation and Reasoning (KR)
Period1/01/12 → …

Cite this

Leite, J. A. C. P. (2012). Robust Equivalence Models for Semantic Updates of Answer-Set Programs. In G. Brewka, T. Eiter, & SA. McIlraith (Eds.), Knowledge Representation and Reasoning Conference (pp. 158-168). AAAI Press.