Book titles in this series

  1. Frontiers of Combining Systems

    First International Workshop, Munich, March 1996

    Editors:
    • F. Baader
    • K.U. Schulz
    • Copyright: 1996

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  2. Advances in Temporal Logic

    Editors:
    • Howard Barringer
    • Michael Fisher
    • Dov M. Gabbay
    • Graham Gough
    • Copyright: 2000

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  3. Automated Model Building

    Authors:
    • Ricardo Caferra
    • Alexander Leitsch
    • Nicolas Peltier
    • Copyright: 2004

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  4. The Death of Argument

    Fallacies in Agent Based Reasoning

    Authors:
    • J.H. Woods
    • Copyright: 2004

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  7. What is Negation?

    Editors:
    • Dov M. Gabbay
    • Heinrich Wansing
    • Copyright: 1999

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  8. Abduction and Induction

    Essays on their Relation and Integration

    Editors:
    • P.A. Flach
    • Antonis Hadjiantonis
    • Copyright: 2000

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Publish with us

Submission guidelines
Open access publishing
Policies and ethics
Contact the Publishing Editor
Ties Nijssen
Download book proposal form