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.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Stable versus Layered Logic Program Semantics, Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, Apizaco, Tlaxcala, México, (url), Proceedings at http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/, November 2009.
• Cláudio Fernandes, Nuno Lopes, Manuel Monteiro and Salvador Abreu, The Contact-Center Business Analyzer: a case for Persistent Contextual Logic Programming, Proceedings of the 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Univ. Évora, November 2009.
• Anastasia Analyti, Grigoris Antoniou and Carlos Viegas Damásio, A Formal Theory for Modular ERDF Ontologies, in: Axel Polleres and Terrance Swift (eds), Web Reasoning and Rule Systems, Third International Conference, RR 2009, Lecture Notes in Computer Science, Springer, Chantilly, VA, USA, Vol. 5837, ISBN 978-3-642-05081-7, Pag. 212-226, (url), October 2009.
• Nuno Marques, An Extension of the Core Method for Continuous Values: Learning with Probabilities, in: Luís Seabra Lopes, Nuno Lau, P. Mariano and Luís Rocha (eds), New Trends in Artificial Intelligence - Proceedings of 14th Portuguese Conference on Artificial Intelligence, Aveiro, ISBN 978-972-96895-4-3, Pag. 319-328, (url), October 2009.
• Pedro Salgueiro and Salvador Abreu, Constraint-Based DSL for Computer Network Monitoring, Doctoral Symposium on Artificial Intelligence (SDIA 2009), Univ. de Aveiro, October 2009.
• Luís Moniz Pereira and Han The Anh, Intention Recognition via Causal Bayes Networks plus Plan Generation, in: L. Seabra Lopes, Nuno Lau, P. Mariano and L. Rocha (eds), 14th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'09), LNAI, Springer, Vol. 5816, Pag. 138-149, (url), October 2009.
• José Júlio Alferes, Matthias Knorr and Terrance Swift, Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling, in: A. Bernstein (eds), International Semantic Web Conference 2009, Lecture Notes in Computer Science, Springer, Vol. 5823, ISBN 978-3-642-04929-3, Pag. 1-16, October 2009.
• Nuno Miranda, Ricardo Raminhos, Pedro Seabra, José Saias, Teresa Gonçalves and Paulo Quaresma, Standardisation of Hotel Descriptions, in: Luís Seabra Lopes, Nuno Lau, Pedro Mariano and Luís Rocha (eds), EPIA'09, 14th Portuguese Conference on Artificial Intelligence - New Trends in Artificial Intelligence, Aveiro, Portugal, ISBN 978-972-96895-4-3, Pag. 537-540, October 2009.
• Han The Anh, Carroline D. P. Kencana Ramli and Carlos Viegas Damásio, Tabling for P-log probabilistic query evaluation., in: L. Seabra Lopes, Nuno Lau, P. Mariano and L. M. Rocha (eds), New Trends in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Proceedings, Univ. de Aveiro, Pag. 115-126, October 2009.
• Susana Nascimento and Pedro Franco, Unsupervised Fuzzy Clustering for the Segmentation and Annotation of Upwelling Regions in Sea Surface Temperature Images, in: J. Gama (eds), Discovery Science, LNCS 5808, Springer-Verlag, Vol. 5808/2009, Pag. 212-226, (url), October 2009.
• Valéria Magalhães Pequeno, Salvador Abreu and João Moura Pires, Using a Contextual Logic Programming Language to Acess Data in Warehousing Systems, EPIA'09:14th Portuguese Conference on Artificial Intelligence, October 2009.
• Nuno Miranda, Ricardo Raminhos, Pedro Seabra, José Saias, Teresa Gonçalves and Paulo Quaresma, Automatic knowledge extraction from tourism textual descriptions applied to e-marketing and product promotion, ICTDM-09, International Conference on Tourism Development and Management, ISBN:, Kos Island, Greece, September 2009.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Layer Supported Models of Logic Programs, Procs. 10th LPNMR, LNCS, Springer, September 2009.
• Salvador Abreu, Vitor Nogueira and Daniel Diaz, On Structuring Contextual Logic Programming, Proceedings of the Conference on Compilers, Related Technologies and Applications (CoRTA 2009), September 2009.
• Susana Nascimento and Pedro Franco, Segmentation of Upwelling Regions in Sea Surface Temperature Images via Unsupervised Fuzzy Clustering, in: H. Yin and E. Corchado (eds), Proc. of the Intelligent Data Engineering and Automated Learning - IDEAL 2009,, LNCS 5788, Springer-Verlag, Burgos, Spain, Vol. 5788, ISBN 978-3-642-04393-2, ISSN 0302-9743, Pag. 543–553, (url), September 2009.
• Boris Mirkin, Susana Nascimento and Luís Moniz Pereira, Visualization of activities of organizations based on a taxonomy of the substantive field, All-Russian conference “Mathematical methods for pattern recognition (MMRO14)”, Pag. 151-153, (in Russian), September 2009.
• Marco Correia and Pedro Barahona, Type parametric compilation of algebraic constraints, in: L. Seabra Lopes and Nuno Lau (eds), Progress in Artificial Intelligence, Lecture Notes in Computer Science, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 201-212, August 2009.
• Terrance Swift, Alexandre Miguel Pinto and Luís Moniz Pereira, Incremental Answer Completion in XSB-Prolog, in: David S. Warren and Patricia M. Hill (eds), Procs. 25th ICLP, LNCS, Springer-Verlag, Vol. 5649, Pag. 519-524, July 2009.
• Teresa Gonçalves and Paulo Quaresma, Using graph-kernels to represent semantic information in text classification, in: Petra Perner (eds), Machine Learning and Data Mining in Pattern Recognition, Lecture Notes in Artificial Intelligence LNCS/LNAI, Springer, Vol. 5632, Pag. 632-646, July 2009.
• R. Gonçalves and C. Caleiro, Algebraic Valuations as Behavioral Logical Matrices, in: H. Ono, M. Kanazawa and R. de Queiroz (eds), 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, Lecture Notes in Artificial Intelligence, Springer, Berlin / Heidelberg, Vol. 5514/2009, ISBN 978-3-642-02260-9, ISSN 0302-9743, Pag. 13-25, (url), June 2009.
• Nuno Marques and, Probabilistic Representations of Symbols in Neuro-Symbolic Systems, Book of abstracts of the 23rd European Conference on Operatios Research, Association of European Operational Research Societies (EURO), Bonn, Germany, Pag. 136, June 2009.
• Valéria Magalhães Pequeno and João Moura Pires, Using Perspective Schemata to Model the ETL Process, ICMIS 2009 :Intl. Conf. on Management Information Systems, World Academy of Science, Engineering and Technology, Paris, Pag. 332-339, (url), June 2009.
• Cássia Trojahn, Paulo Quaresma and Renata Vieira, An Argumentation Framework based on strength for Ontology Mapping, in: Iyad Rawan and Pavlos Moraitis (eds), Argumentation in MultiAgents Systems - Fifth International Workshop ArgMAS, Revised Selected and Invited Papers, Springer, Vol. 5384, Pag. 57-71, May 2009.
• Cássia Trojahn, Paulo Quaresma, Renata Vieira and Antoine Isaac, Comparing Argumentation Frameworks for Composite Ontology Matching, Sixth International Workshop on Argumentatin in MultiAgents Systems - International Conference on Autonomous Agents and Multiagent Systems (ArgMas-AAMAS), Budapest, Hungary, Pag. 1-16, May 2009.
• Luís Moniz Pereira and Han The Anh, Evolution Prospection, in: K. Nakamatsu (eds), Procs. First KES Intl. Symp. on Intelligent Decision Technologies - KES-IDT'09, Engineering Series, Springer, Himeji, Japan, April 2009.
• Luís Moniz Pereira and Carroline D. P. Kencana Ramli, Modelling Probabilistic Causation in Decision Making, in: K. Nakamatsu (eds), Procs. First KES Intl. Symp. on Intelligent Decision Technologies - KES-IDT'09, Engineering Series, Springer, Himeji, Japan, April 2009.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Side-Effect Inspection for Decision Making, in: K. Nakamatsu (eds), Procs. First KES Intl. Symp. on Intelligent Decision Technologies - KES-IDT'09, Engineering Series, Springer, Himeji, Japan, Vol. 199, Pag. 139-150, April 2009.
• Helena Barbas and Nuno Correia, The Making of an Interactive Digital Narrative - InStory, in: Jeanne Schreurs (eds), Euromedia'2009 - Fifteenth annual Scientific Conference on Web Technology, New Media, Communication and Telematics Theory, Methods Tools and Applications, Eurosis-ETI, Ghent, Pag. 35-41, peer reviewed (3) and accepted for publication;, April 2009.
• Ning Chen and Nuno Marques, A batch learning vector quantization algorithm for categorical data, Proceedings International Conference on Agents and Artificial Intelligence. ICAART 2009, Springer, (url), January 2009.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Layered Models Top-Down Querying of Normal Logic Programs, Proceedings of the Practical Aspects of Declarative Languages (PADL'09), LNCS, Springer, (url), January 2009.
• Luís Moniz Pereira, P. Dell'Acqua and Gonçalo Lopes, On Preferring and Inspecting Abductive Models, Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL'09), LNCS, Springer, (url), January 2009.
• João Moura, Paulo Chainho and Carlos Viegas Damásio, Semantically Enabled Framework for User Centric Profile Description, Search and Match, Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Revised Selected Papers, Lecture Notes in Computer Science, Springer, Vienna, Austria, Vol. 4907, ISBN 978-3-540-93850-7, Pag. 326-335, (url), January 2009.
• José Júlio Alferes, Alfredo Gabaldon and João Alexandre Leite, A Logic Programming System for Evolving Programs with Temporal Operators, in: Luís Seabra Lopes, Nuno Lau, Pedro Mariano and Luís Mateus Rocha (eds), Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 101-112, 2009.
• Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter, A Novel Architecture for Situation Awareness Systems, 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'09), Lecture Notes in Computer Science, Springer-Verlag, Vol. 5607/2009, ISBN 978-3-642-02715-4, Pag. 77–92, 2009.
• Alfredo Gabaldon, Activity Recognition with Intended Actions, 21st International Joint Conference on Artificial Intelligence, AAAI Press, ISBN 978-1-57735-426-0, 2009.
• Luís Mingote and Francisco Azevedo, Colored Nonograms: An Integer Linear Programming Approach, in: Luís Seabra Lopes, Nuno Lau, Pedro Mariano and Luís Rocha (eds), Progress in Artificial Intelligence: Proceedings of the 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), LNAI, Springer, Vol. 5816, ISBN 978-3-642-04685-8, ISSN 0302-9743, Pag. 213-224, 2009.
• Olivier Perriquet and Pedro Barahona, Constraint-based strategy for pairwise RNA secondary structure prediction, in: L. Seabra Lopes and Nuno Lau (eds), Progress in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 86-97, 2009.
• José Júlio Alferes, Michael Eckert and Wolfgang May, Evolution and Reactivity in the Semantic Web, in: François Bry and Jan Maluszynski (eds), Semantic Techniques for the Web, The REWERSE Perspective, Lecture Notes in Computer Science, Springer, Vol. 5500, ISBN 978-3-642-04580-6, Pag. 161-200, 2009.
• Marco Alberti, Massimiliano Cattafi, Marco Gavanelli and Evelina Lamma, Exploiting Semantic Technology in Computational Logic-based Service Contracting, in: Marco Gavanelli and Fabrizio Riguzzi (eds), CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, 2009.
• T. Kajiyama, Davide D’Alimonte, José C. Cunha and G. Zibordi, High-Performance Ocean Color Monte Carlo Simulation in the Geo-Info Project, Proc. PPAM 2009, LNCS, Springer, 2009.
• Olivier Perriquet and Pedro Barahona, Improved heuristic for pairwise RNA secondary structure prediction, Proceedings of NETTAB 2009, 2009.
• Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma, Federico Chesani, Marco Montali, Paola Mello and Paolo Torroni, Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture, in: Paul Hofmann (eds), ICWS 2009: 2009 IEEE International Conference on Web Services, IEEE Computer Society Press, ISBN 978-0-7695-3709-2, Pag. 254-261, (url), 2009.
• Marco Gavanelli, Marco Alberti and Evelina Lamma, Integration of abductive reasoning and constraint optimization in {SCIFF, in: Patricia M. Hill and David S. Warren (eds), 25th International Conference on Logic Programming (ICLP 2009), Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, Vol. 5649, ISBN 978-3-642-02845-8, ISSN 0302-9743, Pag. 387-401, (url), 2009.
• Mehdi Dastani, Amal El Fallah-Seghrouchni, João Alexandre Leite and Paolo Torroni, Introductory Essay of LADS'009, in: Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Alexandre Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni and Rineke Verbrugge (eds), Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009, CEUR Workshop Proceedings, CEUR-WS.org, Vol. 494, 2009.
• Ruben Duarte Viegas and Francisco Azevedo, Lazy Constraint Imposing for Improving the Path Constraint, in: Andrea Corradini (eds), Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009), Università di Pisa, Pag. 113-124, 2009.
• Jan Willem Romeijn, Rolf Haenni, Gregory Wheeler and Jon Williamson, Logical Relations in a Statistical Problem, in: Benedikt Lowe, Eric Pacuit and Jan Willem Romeijn (eds), Foundations of the Formal Sciences VI: Reasoning about probabilities and probabilistic reasoning, Studies in Logic, College Publications, London, Pag. 49-79, 2009.
• João Alexandre Leite, José Júlio Alferes and Belopeta Mito, Resource allocation with answer-set programming, in: Carles Sierra, Cristiano Castelfranchi, Keith S. Decker and Jaime Simão Sichman (eds), 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, IFAAMAS, ISBN 978-0-9817381-6-1, Pag. 649-656, 2009.