Robust Equivalence Models for Semantic Updates of Answer-Set Programs

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

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

@inproceedings{6ab0019cfdb245f0ab706293934d93c0,

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

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

year = "2012",

month = jan,

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",

note = "null ; Conference date: 01-01-2012",

}

TY - GEN

T1 - Robust Equivalence Models for Semantic Updates of Answer-Set Programs

AU - Leite, João Alexandre Carvalho Pinheiro

PY - 2012/1/1

Y1 - 2012/1/1

M3 - Conference contribution

SN - 978-1-57735-560-1

SP - 158

EP - 168

BT - Knowledge Representation and Reasoning Conference

A2 - Brewka, G

A2 - Eiter, T

A2 - McIlraith, SA

PB - AAAI Press

Y2 - 1 January 2012

ER -