TY  - BOOK
AU  - Cabalar
AU  - Son
ED  - International Conference on Logic Programming and Nonmonotonic Reasoning
TI  - Logic programming and nonmonotonic reasoning
T2  - Lecture Notes in Artificial Intelligence
SN  - 978-3-642-40563-1
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag
KW  - Programação em lógica
KW  - Raciocínio não monotónico
KW  - Q334
ER  -