Vitor Nogueira and Salvador Abreu. ISTO: a Language for Temporal Organisational Information Systems
Paulo Moura. Knowledge Representation Using Logtalk Parametric Objects
Cláudio Fernandes, Nuno Lopes, Manuel Monteiro and Salvador Abreu. The Contact-Center Business Analyzer: a case for Persistent Contextual Logic Programming
Theory
João Raimundo and Ricardo Rocha. A Very Compact and Efficient Representation of List Terms for Tabled Logic Programs
Luis Moniz Pereira and Alexandre Miguel Pinto. Inspection Points and Meta-Abduction in Logic Programs
Luis Moniz Pereira and Alexandre Miguel Pinto. Stable Model implementation of Layer Supported Models by program transformation
Johan Wittocx, Broes De Cat and Marc Denecker. Towards Computing Revised Models for FO Theories
Applications
Luis Moniz Pereira and Anh Han The. Elder Care via Intention Recognition and Evolution Prospection
Masanobu Umeda and Yuji Mure. Knowledge Management Strategy and Tactics for Forging Die Design Support
Dietmar Seipel and Joerg Schultz. Searching in Protein State Space
Pedro Salgueiro and Salvador Abreu. Network Monitoring with Constraint Programming: Preliminary Specification and Analysis
Agents
Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira and Panagiota Tsintza. Runtime Verification of Agent Properties
Luis Moniz Pereira and Alexandre Miguel Pinto. Adaptive Reasoning for Cooperative Agents
Databases and Query Languages
Jesus Manuel Almendros-Jimenez. Extending XQuery for Semantic Web Reasoning
Hasan Jamil. An Efficient Logic Programming Approach to Sub-Graph Isomorphic Queries
Valéria Magalhães Pequeno and João Carlos Gomes Moura Pires. Reference Model and Perspective Schemata Inference for Enterprise Data Integration
Irene Rodrigues, Luis Quintano and Lígia Silva Ferreira. Database NL Dialogues question answering as a Constraint Satisfaction Problem
Dietmar Seipel and Andreas M. Boehm. JSquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements