© 1995

Automated Practical Reasoning

Algebraic Approaches

  • Jochen Pfalzgraf
  • Dongming Wang

Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Jochen Pfalzgraf, Dongming Wang
    Pages 1-5
  3. Jochen Pfalzgraf
    Pages 39-51
  4. Jochen Pfalzgraf, Karel Stokkermans
    Pages 53-80
  5. Thomas J. Weigert
    Pages 203-220
  6. Back Matter
    Pages 221-227

About this book


This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason­ ing). Naturally, the MEDLAR Project was and is the focal point for our institute whose main objective is the combination of foundational research in the area of symbolic computation and possible applications thereof for high-tech industrial projects. I am grateful to the director of the MEDLAR project, Jim Cunningham, for his enthusiasm, profound expertise, and continuous effort to manage a fruitful cooperation between various European working groups in the area of the project and for giving us the opportunity to be part of this challenging endeavor. I also acknowledge and feel indebted to Jochen Pfalzgraf for managing the RISC part of the MEDLAR project and to both him and Dongming Wang for editing this volume and organizing the refereeing process.


Reasoning algorithm algorithms computer computer algebra geometry logic modeling proving robot robotics theorem proving

Editors and affiliations

  • Jochen Pfalzgraf
    • 1
  • Dongming Wang
    • 2
  1. 1.Research Institute for Symbolic ComputationJohannes-Kepler-University LinzLinzAustria
  2. 2.Laboratoire d’Informatique Fondamentale et d’Intelligence ArtificielleInstitut National Polytechnique de GrenobleGrenobleFrance

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment