Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

Logics in AI

European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings

Editors:

  1. D. Pearce
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. G. Wagner
    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 633)

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

Conference series link(s): JELIA: European Conference on Logics in Artificial Intelligence

Conference proceedings info: JELIA 1992.

Sections

Buy it now

Softcover Book USD 54.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

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

Table of contents (23 papers)

  1. Front Matter

    PDF

  2. A modal theory of arrows. Arrow logics I

    • Dimiter Vakarelov
    Pages 1-24

  5. Logical omniscience and classical logic

    • Reinhard Muskens
    Pages 52-64

  6. Weak implication: Theory and applications

    • Karen L. Kwast, Sieger van Denneheuvel
    Pages 65-83

  7. Deriving inference rules for terminological logics

    • Véronique Royer, J. Joachim Quantz
    Pages 84-105

  8. Linear proofs and linear logic

    • Bertram Fronhöfer
    Pages 106-125

  9. Relevance and revision

    • Emil Weydert
    Pages 126-138

  11. A framework for default logics

    • Christine Froidevaux, Jérôme Mengin
    Pages 154-173

  14. About deductive generalization

    • Ph. Besnard, E. Grégoire
    Pages 212-231

  15. Transition systems and dynamic semantics

    • Tim Fernando
    Pages 232-251

  16. Declarative semantics for inconsistent database programs

    • Marion Sarkis Mircheva
    Pages 252-261

  18. A constructive type system based on data terms

    • Hans-Joachim Goltz
    Pages 279-303
Back to top

Other Volumes

  1. Logics in AI

Back to top

About this book

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.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

Search

Navigation