Papers in proceedings

• Luís Moniz Pereira and Alexandre Miguel Pinto, Adaptive Reasoning for Cooperative Agents, in: Salvador Abreu and Dietmar Siepel (eds), 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Évora, Portugal, November 2009.
• Irene Rodrigues, Luis Quintano and Lígia Ferreira, Database NL Dialogues question answering as a Constraint Satisfaction Problem, Proceedings of the 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Univ. Évora, November 2009.
• Luís Moniz Pereira and Han The Anh, Elder Care via Intention Recognition and Evolution Prospection, in: Salvador Abreu and Dietmar Siepel (eds), 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Univ. Évora, Évora, Portugal, ISBN 978-972-8688-62-2, Pag. 5-20, (url), November 2009.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Inspection Points and Meta-Abduction in Logic Programs, in: Salvador Abreu and Dietmar Siepel (eds), 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), November 2009.
• Luís Moniz Pereira and Han The Anh, Intention Recognition with Evolution Prospection and Causal Bayesian Networks, in: Zita Vale and Ana Madureira (eds), Procs. Intl. Symp. on Computational Intelligence for Engineering Systems, CD-ROM, ISEP - Instituto Superior de Engenharia do Porto, Porto, ISBN 978-9728688-62-2, (url), Invited Talk http://centria.di.fct.unl.pt/~lmp/publications/online-papers/IR-EPA-CBNs.pdf, November 2009.
• Vitor Nogueira and Salvador Abreu, ISTO: a Language for Temporal Organisational Information Systems Using a Logic Programming Language with Persistence and Contexts, in: Salvador Abreu and Deitmar Seipel (eds), Proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2009), November 2009.
• I Rodrigues, Luis Quintano and L. Ferreira, NL Database Dialogue Question-Answering as a Constraint Satisfaction Problem, 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Univ. Évora, November 2009.
• Valéria Magalhães Pequeno and João Moura Pires, Reference Model and Perspective Schemata Inference for Enterprise Data Integration, 18th International Conference on Applications of Declarative Programming and Knowledge Management, Évora, Portugal, November 2009.
• S. Costantini, P. Dell'Acqua, Luís Moniz Pereira and P. Tsintza, Runtime Verification of Agent Properties, in: Salvador Abreu and Dietmar Siepel (eds), 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Univ. Évora, Évora, Portugal, Pag. 257-271, (url), November 2009.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Stable Model implementation of Layer Supported Models by program transformation, in: Salvador Abreu and Dietmar Siepel (eds), 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Évora, Portugal, November 2009.