Advertisement

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-7091-6604-8
  • Copyright Information Springer-Verlag/Wien 1995
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-82600-3
  • Online ISBN 978-3-7091-6604-8
  • Series Print ISSN 0943-853X
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
IT & Software
Telecommunications
Law
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering