Skip to main content
SpringerLink
Log in
Book cover

Logics in AI

European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. J. Eijck
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 478)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Download chapter PDF

  2. Commonsense entailment: A modal theory of nonmonotonic reasoning

    • Nicholas Asher, Michael Morreau
    Pages 1-30

  3. Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators

    • J. Michael Dunn
    Pages 31-51

  4. Belief revision and nonmonotonic logic: Two sides of the same coin?

    • Peter Gärdenfors
    Pages 52-54

  5. Two theories of dynamic semantics

    • Jeroen Groenendijk, Martin Stokhof
    Pages 55-64

  6. What is a Horn clause in partial logic?

    • Tore Langholm
    Pages 65-77

  7. Semantic interpretation as higher-order deduction

    • Fernando C. N. Pereira
    Pages 78-96

  8. Action logic and pure induction

    • Vaughan Pratt
    Pages 97-120

  9. Loop checking and negation

    • Roland N. Bol
    Pages 121-138

  10. On generative capacity of the Lambek calculus

    • Wojciech Buszkowski
    Pages 139-152

  11. Extending resolution for model construction

    • Ricardo Caferra, Nicolas Zabel
    Pages 153-169

  12. A first order logic of truth, knowledge and belief

    • Nick Davies
    Pages 170-179

  13. The optimal model of a program with negation

    • J. P. Delahaye, V. Thibau
    Pages 180-195

  14. NM3 — A three-valued cumulative non-monotonic formalism

    • Patrick Doherty
    Pages 196-211

  15. Constructive matching — A methodology for inductive theorem proving

    • Marta Fraňová
    Pages 212-226

  16. Deductive inference operations

    • Michael Freund, Daniel Lehmann
    Pages 227-233

  17. A constraint logic approach to modal deduction

    • Alan M. Frisch, Richard B. Scherl
    Pages 234-250

  18. Dynamic semantics and VP-ellipsis

    • Claire Gardent
    Pages 251-266

  19. Systems for knowledge and beliefs

    • Wiebe van der Hoek
    Pages 267-281

  20. Awareness, negation and Logical omniscience

    • Zhisheng Huang, Karen Kwast
    Pages 282-300
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation