| | | | |
. | 18th International Conference on Applications of Declarative Programming and Knowledge Management | | | |
. | | November 5 | November 6 | November 7 |
. | 09:30 | | Invited Talk - Terrance Swift: Patterns for Applying Tabled Logic Programs to Practical Problems | Invited Talk - António Porto: An Alternative Declarative Approach to Database Interaction and Management |
. | 10:30 | | Break | Break |
. | 11:00 | | Johan Wittocx, Broes De Cat and Marc Denecker: Towards Computing Revised Models for FO Theories | Luis Moniz Pereira and Alexandre Miguel Pinto: Adaptive Reasoning for Cooperative Agents |
. | 11:30 | | Luis Moniz Pereira and Alexandre Miguel Pinto: Inspection Points and Meta-Abduction in Logic Programs | Vitor Nogueira and Salvador Abreu: ISTO: a Language for Temporal Organisational Information Systems |
. | 12:00 | | Masanobu Umeda and Yuji Mure: Knowledge Management Strategy and Tactics for Forging Die Design Support | Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira and Panagiota Tsintza: Runtime Verification of Agent Properties |
. | 12:30 | Reception
Registration | Lunch break | Lunch break |
. | 14:00 | Pedro Salgueiro and Salvador Abreu: Network Monitoring with Constraint Programming: Preliminary Specification and Analysis | Luis Moniz Pereira and Alexandre Miguel Pinto: Stable Model implementation of Layer Supported Models by program transformation | |
. | 14:30 | Valéria
Magalhães Pequeno and João Carlos Gomes Moura Pires: Reference Model
and Perspective Schemata Inference for Enterprise Data Integration | Dietmar Seipel and Joerg Schultz: Searching in Protein State Space | |
. | 15:00 | Cláudio
Fernandes, Nuno Lopes, Manuel Monteiro and Salvador Abreu: The
Contact-Center Business Analyzer: a case for Persistent Contextual
Logic Programming | João Raimundo and Ricardo Rocha: A Very Compact and Efficient Representation of List Terms for Tabled Logic Programs | |
. | 15:30 | Break | Break | |
. | 16:00 | Jesús Manuel Almendros-Jiménez: Extending XQuery for Semantic Web Reasoning | Paulo Moura: Knowledge Representation Using Logtalk Parametric Objects | |
. | 16:30 | Dietmar
Seipel, Andreas Boehm and Markus Froelich: JSquash: Source Code
Analysis of Embedded Database Applications for Determining SQL
Statements | Luis Moniz Pereira and Han The Anh: Elder Care via Intention Recognition and Evolution Prospection | |
. | 17:00 | Irene
Rodrigues, Luis Quintano and Lígia Silva Ferreira: Database NL
Dialogues question answering as a Constraint Satisfaction Problem | | |
. | 17:30 | | | |
. | 18:30 | Conference
Reception | | |
. | 19:00 | | Conference
Dinner | |
. | 20:00 | | | |