Skip to main content
SpringerLink
Log in

Logics in AI

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

  • Conference proceedings
  • © 1992

Overview

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)

Included in the following conference series:

Conference proceedings info: JELIA 1992.

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 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. A modal theory of arrows. Arrow logics I

    • Dimiter Vakarelov
    Pages 1-24

  3. Knowledge without modality: A simplified framework for chronological ignorance

    • Craig MacNish
    Pages 25-35

  4. Design complete sequential calculus for continuous fixpoint temporal logic

    • Regimantas Pliuškevičius
    Pages 36-51

  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

  10. Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report)

    • Hans Rott
    Pages 139-153

  11. A framework for default logics

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

  12. A conceptualization of preferences in non-monotonic proof theory

    • Anthony Hunter
    Pages 174-188

  13. Reasoning with defeasible arguments: Examples and applications

    • Gerard Vreeswijk
    Pages 189-211

  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

  17. Tableau-based theorem proving and synthesis of λ-terms in the intuitionistic logic

    • Oliver Bittel
    Pages 262-278

  18. A constructive type system based on data terms

    • Hans-Joachim Goltz
    Pages 279-303

  19. An ordered resolution and paramodulation calculus for finite many-valued logics

    • Nicolas Zabel
    Pages 304-318

  20. An efficient constraint language for polymorphic order-sorted resolution

    • Christian Prehofer
    Pages 319-338
Back to top

Other volumes

  1. Logics in AI

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation