|
|
|
|
 |
|
Frontiers of
Combining Systems
FroCoS'98
October 2-4,
1998
ILLC, University of
Amsterdam
Scientific Program
- 09:30-09:45, Introduction
- Maarten de Rijke and Dov Gabbay
- 09:45-10:45, Session 1: Theorem Proving and Rewriting 1
-
Chair: Aart Middeldorp
| 09:45 |
Pushing the Frontiers of Combining Rewrite Systems Farther
Outwards |
|
Jürgen Giesl and Enno Ohlebusch
|
| 10:15 |
Computer Arithmetic: Logic, Calculus and Rewriting |
|
Marco Benini, Dirk Nowotka, and Carl Pulley
|
- Break
-
- 11:00-12:00, Session 2: Logics 1
-
Chair: Dov Gabbay
| 11:00 |
Temporalizing Description Logics |
|
Frank Wolter and Michael Zakharyaschev
|
| 11:30 |
A Hybrid Language for the
Analysis of Aspectual and
Temporal Phenomena in Natural Language |
|
Ralf Naumann
|
- Lunch
-
- 13:30-14:30, Session 3: Systems
-
Chair: David Basin
| 13:30 |
Iterative Dialogue and Automated Proofs |
|
Konrad Slind and Richard Boulton
|
| 14:00 |
The Constraint Solver Collaboration Language of Bali |
|
Eric Monfroy
|
- Break
-
- 14:45-15:45, Session 4: Constraints 1
-
Chair: Krzysztof Apt
| 14:45 |
Optimisation Techniques for Combining Constraint Solvers |
|
Stephan Kepser and Jörn Richts
|
| 15:15 |
A Generic Approach to Combining Stochastic Algorithms with
Systematic Constraint Solvers |
|
Steven Prestwich
|
- Break
-
- 16:00-17:00, Invited Talk
-
Chair: Christophe Ringeissen
Krzysztof Apt (CWI, Amsterdam; University of Amsterdam):
Programming in Alma-0, or Imperative and Declarative Programming
Reconciled
- 09:30-10:30, Invited Talk
-
Chair: Amilcar Sernadas
Andrzej Tarlecki (Warsaw University; Polish Academy of Sciences):
Towards Heterogeneous Specifications
- Break
-
- 10:45-12:15, Session 5: Logics 2
-
Chair: Andrzej Tarlecki
| 10:45 |
A Recipe for the Complexity Analysis of Non-Classical Logics |
|
David Basin and Luca Vigano
|
| 11:15 |
Weakly Associative Arrow Logic and Infinite Counting Modalities |
|
Agnes Kurucz
|
| 11:45 |
Categorial Fibring of Logics with Terms and Binding Operators |
|
Amilcar Sernadas, Cristina Sernadas, Carlos Caleiro, and Till
Mossakowski
|
- Lunch
-
- 13:30-14:30, Session 6: Theorem Proving and Rewriting 2
-
Chair: Klaus Schulz
| 13:30 |
Combining WS1S and HOL |
|
David Basin and Stefan Friedrich
|
| 14:00 |
Church-Rosser Property for Conditional
Rewriting Systems with
Built-in Predicates as Premises |
|
Mauricio Ayala Rincon
|
- Break
-
- 14:45-15:45, Session 7: Constraints 2
-
Chair: Douglas J. Howe
| 14:45 |
Negation in Combining Constraint Systems |
|
Stephan Kepser
|
| 15:15 |
Integration of Linear Arithmetic and Goal-Oriented Resolution for
Software Reasoning |
|
Allen Goldberg and Tie-Chung Wang
|
- Break
-
- 16:00-17:00, Invited Talk
-
Chair: Jacques Calmet
Claude Kirchner (LORIA - INRIA):
Combining First and Higher-order computations using $\rho$-calculus:
Towards a Semantics of ELAN
- Break
-
- 18:00, Conference Dinner
-
- 09:30-10:30, Invited Talk
-
Chair: Claude Kirchner
Douglas J. Howe (Bell Labs):
Toward Sharing Libraries of Mathematics between Theorem Provers
- Break
-
- 10:45-11:45, Session 8: Logics 3
-
Chair: Maarten de Rijke
| 10:45 |
Distributed First-Order Logic |
|
Chiara Ghidini and Luciano Serafini
|
| 11:15 |
Combining Semantical and Syntactical Theory Reasoning |
|
Uwe Petermann
|
- Break
-
- 12:00-12:30, Business Meeting
-
- Lunch
-
|
|
|