@inproceedings{72a4355802d24960a252dce81a24ede7,
title = "On Semantic Update Operators for Answer-Set Programs",
author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",
year = "2010",
month = jan,
day = "1",
doi = "10.3233/978-1-60750-606-5-957",
language = "Unknown",
isbn = "978-1-60750-605-8",
volume = "215",
pages = "957--962",
editor = "H Coelho and R Studer and M Wooldridge",
booktitle = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
address = "Netherlands",
note = "European Conference on Artificial Intelligence ; Conference date: 01-01-2010",
}