Invited Paper |
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand |
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1: |
Integrating Constraint Solving into Proof Planning / Erica Melis ; Jürgen Zimmer ; Tobias Muller |
Termination of Constraint Contextual Rewriting / Alessandro Armando ; Silvio Ranise |
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination / Gilles Dowek |
Normal Forms and Proofs in Combined Modal and Temporal Logics / U. Hustadt ; C. Dixon ; R. A. Schmidt ; M. FisherSession 2: |
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic / Paqui Lucio |
Handling Differential Equations with Constraints for Decision Support / Jorge Cruz ; Pedro BarahonaSession 3: |
Non-trivial Symbolic Computations in Proof Planning / Volker Sorge |
Integrating Computer Algebra and Reasoning through the Type System of Aldor / Erik Poll ; Simon Thompson |
Combinations of Model Checking and Theorem Proving / Tomás E. Uribe |
Compiling Multi-paradigm Declarative Programs into Prolog / Sergio Antoy ; Michael HanusSession 4: |
Modular Redundancy for Theorem Proving / Miquel Bofill ; Guillem Godoy ; Robert Nieuwenhuis ; Albert Rubio |
Composing and Controlling Search in Reasoning Theories Using Mappings / Alessandro Coglio ; Fausto Giunchiglia ; José Meseguer ; Carolyn L. Talcott |
Why Combined Decision Problems Are Often Intractable / Klaus U. SchulzInvited Paper: |
Session 5 |
Congruence Closure Modulo Associativity and Commutativity / L. Bachmair ; I. V. Ramakrishnan ; A. Tiwari ; L. Vigneron |
Combining Equational Theories Sharing Non-Collapse-Free Constructors / Franz Baader ; Cesare Tinelli |
Comparing Expressiveness of Set Constructor Symbols / Agostino Dovier ; Carla Piazza ; Alberto Policriti |
Author Index |
Invited Paper |
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand |
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1: |