© 2000

Formal Aspects of Context

  • Pierre Bonzon
  • Marcos Cavalcanti
  • Rolf Nossum

Part of the Applied Logic Series book series (APLS, volume 20)

Table of contents

  1. Front Matter
    Pages i-x
  2. Alessandro Cimatti, Luciano Serafini
    Pages 65-83
  3. Paul Piwek, Emiel Krahmer
    Pages 85-106
  4. Vagan Y. Terziyan, Seppo Puuronen
    Pages 107-126
  5. Leendert W. N. van der Torre, Yao-Hua Tan
    Pages 143-160
  6. Fausto Giunchiglia, Chiara Ghidini
    Pages 161-174
  7. Luciano Serafini, Chiara Ghidini
    Pages 175-192
  8. Dov M. Gabbay, Rolf T. Nossum
    Pages 193-209
  9. Back Matter
    Pages 211-216

About this book


We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi­ cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con­ ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address.


calculus deontic logic modeling natural language semantics

Editors and affiliations

  • Pierre Bonzon
    • 1
  • Marcos Cavalcanti
    • 2
  • Rolf Nossum
    • 3
  1. 1.Université de LausanneSwitzerland
  2. 2.Universidade Federal do Rio de JaneiroBrazil
  3. 3.Agder CollegeKristiansandDenmark

Bibliographic information

  • Book Title Formal Aspects of Context
  • Editors Pierre Bonzon
    Marcos Cavalcanti
    Rolf Nossum
  • Series Title Applied Logic Series
  • DOI
  • Copyright Information Springer Science+Business Media B.V. 2000
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-0-7923-6350-7
  • Softcover ISBN 978-90-481-5472-2
  • eBook ISBN 978-94-015-9397-7
  • Series ISSN 1386-2790
  • Edition Number 1
  • Number of Pages X, 216
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logic
    Artificial Intelligence
    Mathematical Logic and Foundations
  • Buy this book on publisher's site