XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain)
Monday 16 |
|||
10:00-11:00 |
Invited talk | ||
11:00-11:30 |
Coffe break | ||
11:30-13:00 |
Extensions I
A Functional Logic Language with Finite Domain Constraints A Logic Language for Database Integration Constructive Negation for Prolog: A Real Implementation |
||
13:00-14:30 |
Lunch | ||
14:30-15:30 |
Distributed Logic
Logic Based Languages to Model and Program Intelligent Agents A Configuration Framework for Distributed Logic Applications |
||
15:30-17:00 |
Applications
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD) Using Constraint Logic Programming to Generate Drills in Mathematics Solving Optimal Location of Traffic Count Posts in CLP(FD) |
||
17:00-17:30 |
Coffe break | ||
17:30-18:30 |
Semantics and Analysis
Optimality in Goal-Dependent Analysis of Sharing A Deterministic Operational Semantics For Functional Logic Programs |
||
20:00 – 21:00 |
City Hall reception | ||
Tuesday 17 |
|||
9:00-10:00 |
Invited talk | ||
10:00-11:00 |
Program Synthesis and Transformation
Compiling Explicit Specifications into Recursive Specifications in Linear Stratified Contexts Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs |
||
11:00-11:30 |
Coffe break | ||
11:30-13:00 |
Extensions II
Modelling the Future with Event Choice DATALOG Combining Crisp and Fuzzy Logic in a Prolog Compiler An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms |
||
13:00-14:30 |
Lunch | ||
15:30- |
Excursion | ||
Wednesday 18 |
|||
9:00-10:00 |
Invited talk | ||
10:00-11:00 |
Foundations
On the Relation between Rank 2 Intersection Types and Simple Types Automation of Aggregate Theories: The Cornerstones of Equational |
||
11:00-11:30 |
Coffe break | ||
11:30-13:00 |
Knowledge Representation and Specification Languages
On Pattern-Matching as Query Facility Towards Temporal Reasoning in ISCO A Language for Updates with Multiple Dimensions |
||
13:00-14:30 |
Lunch | ||
14:30-15:30 |
National Meetings | ||
15:30-16:00 |
Coffe break | ||
16:00-17:00 |
National Meetings | ||
17:30- |
Social Dinner |