Advertisement

Table of contents

  1. Front Matter
  2. Nicholas Asher, Michael Morreau
    Pages 1-30
  3. Jeroen Groenendijk, Martin Stokhof
    Pages 55-64
  4. Tore Langholm
    Pages 65-77
  5. Fernando C. N. Pereira
    Pages 78-96
  6. Vaughan Pratt
    Pages 97-120
  7. Roland N. Bol
    Pages 121-138
  8. Wojciech Buszkowski
    Pages 139-152
  9. Ricardo Caferra, Nicolas Zabel
    Pages 153-169
  10. J. P. Delahaye, V. Thibau
    Pages 180-195
  11. Michael Freund, Daniel Lehmann
    Pages 227-233
  12. Alan M. Frisch, Richard B. Scherl
    Pages 234-250
  13. Claire Gardent
    Pages 251-266
  14. Wiebe van der Hoek
    Pages 267-281
  15. Zhisheng Huang, Karen Kwast
    Pages 282-300
  16. E. Laenens, D. Vermeir
    Pages 317-332
  17. Zdravko Markov, Christo Dichev
    Pages 366-385
  18. Philippe Mathieu, Jean-Paul Delahaye
    Pages 386-398
  19. J. -J.Ch. Meyer, W. van der Hoek
    Pages 399-411
  20. Reinhard Muskens
    Pages 412-427
  21. Ilkka Niemelä
    Pages 428-443
  22. Munindar P. Singh, Nicholas M. Asher
    Pages 472-486
  23. Gerard Vreeswijk
    Pages 516-525
  24. Emil Weydert
    Pages 526-543
  25. Cees Witteveen
    Pages 544-561
  26. Back Matter

About these proceedings

Introduction

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.

Keywords

Automat artificial intelligence automated theorem proving computer intelligence logic natural language programming proving semantics theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0018429
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53686-4
  • Online ISBN 978-3-540-46982-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site