Annamaria Bria |
|
||||
|
|||||
|
|
|
|||
|
Conference
and Workshop Articles A. Bria, W.
Faber, N. Leone, “Normal Form Nested Programs”. Fundamenta
Informaticae 2009. Accepted for publication.
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver Proceedings of the 10th International Conference
on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009).
September 2009. Springer Verlag. Accepted for publication.
“nfn2dlp: A compiler for Normal Form Nested Programs.” Proceedings of the 24th Italian Conference on
Computational Logic (CILC 2009). June 2009. Editors: Marco
Gavanelli and Fabrizio Riguzzi URI: http://www.ing.unife.it/eventi/cilc09/papers/cilc09_submission_25.pdf Annamaria Bria, Wolfgang Faber, and Nicola Leone. “Normal Form Nested
Programs.” Proceedings of the 11th European Conference
on Logics in Artificial Intelligence (JELIA 2008). September 2008. Springer
Verlag. Editors: Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing.
ISBN: 978-3-540-87802-5.
“Normal Form Nested Programs.” Proceedings of the 23rd Italian Conference on
Computational Logic (CILC 2008). July 2008. Editor:
Andrea Formisano. URI: http://www.dipmat.unipg.it/CILC08/25_BriaFaberLeone.pdf. |
|
|||