Papers in proceedings

• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Reasoning with Uncertainty in Continuous Domains, Integrated Uncertainty Management and Applications, Advances in Intelligent and Soft Computing, Springer, Vol. 68, ISBN 978-3-642-11959-0, Pag. 357-369, April 2010.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic Constraints for Reliability Problems, Proceedings of the 2010 ACM Symposium on Applied Computing, ACM, ISBN 978-1-60558-639, Pag. 2055-2060, March 2010.
• S. Docio, T. Gon{\c c}alves and Paulo Quaresma, Identificación automática de idioma en textos multilingües, Procceedings of the XXXIX Simposio Internacional de la Sociedad Española de Lingüística, February 2010.
• Ana Sofia Gomes, José Júlio Alferes and Terrance Swift, Implementing Query Answering for Hybrid MKNF Knowledge Bases, in: Manuel Carro and Ricardo Peña (eds), Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Lecture Notes in Computer Science, Springer, Vol. 5937, ISBN 978-3-642-11502-8, Pag. 25-39, January 2010.
• Gonçalo Lopes and Luís Moniz Pereira, Prospective Storytelling Agents, in: Manuel Carro and R. Peña (eds), Procs. 12th Intl. Symp. Practical Aspects of Declarative Languages (PADL'10), LNCS, Springer, Vol. 5937, Pag. 294-296, http://centria.di.fct.unl.pt/~lmp/publications/online-papers/storytelling.pdf, January 2010.
• Pedro Salgueiro and Salvador Abreu, A DSL for intrusion detection based on constraint programming, Proceedings of the 3rd international conference on Security of information and networks (SIN 2010), ACM, 2010.
• Jesse Alama, Josef Urban, Piotr Rudnicki and Herman Geuvers, A wiki for Mizar: Motivation, Considerations, and Initial Prototype, in: Serge Autexier (eds), Intelligent Computer Mathematics, Lecture Note in Computer Science, Springer, Vol. 6167, Pag. 455-469, 2010.
• Gregory Wheeler, AGM Belief Revision in Monotone Modal Logics, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-16), (Short paper), (url), 2010.
• Cássia Trojahn dos Santos, Paulo Quaresma and Renata Vieira, An API for Multi-lingual Ontology Matching, LREC, 2010.
• Reinhard Kahle and Isabel Oitavem, An applicative theory for PH, in: Steffen van Bakel, Stefano Berardi and Ulrich Berger (eds), Classical Logic and Computation 2010, Federated MFCS & CSL Conference, Brno, Pag. 51-67, 2010.