Robust Equivalence Models for Semantic Updates of Answer-Set Programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Unknown
Title of host publication	Knowledge Representation and Reasoning Conference
Editors	G Brewka, T Eiter, SA McIlraith
Publisher	AAAI Press
Pages	158-168
ISBN (Print)	978-1-57735-560-1
Publication status	Published - 1 Jan 2012
Event	Principles of Knowledge Representation and Reasoning (KR) - Duration: 1 Jan 2012 → …

Conference	Principles of Knowledge Representation and Reasoning (KR)
Period	1/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.

@inproceedings{6ab0019cfdb245f0ab706293934d93c0,

title = "Robust Equivalence Models for Semantic Updates of Answer-Set Programs",

author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",

year = "2012",

month = "1",

day = "1",

language = "Unknown",

isbn = "978-1-57735-560-1",

pages = "158--168",

editor = "G Brewka and T Eiter and SA McIlraith",

booktitle = "Knowledge Representation and Reasoning Conference",

publisher = "AAAI Press",

}