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

Logics in Artificial Intelligence

European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

Editors:

  1. José Jülio Alferes
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luís Moniz Pereira
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ewa Orlowska
    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 1126)

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

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 (28 papers)

  1. Front Matter

    PDF

  2. Hyper tableaux

    • Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä
    Pages 1-17

  4. Building proofs or counterexamples by analogy in a resolution framework

    • Christophe Bourely, Gilles Défourneaux, Nicolas Peltier
    Pages 34-49

  5. What you always wanted to know about rigid E-unification

    • Anatoli Degtyarev, Andrei Voronkov
    Pages 50-69

  6. Labelled proofs for quantified modal logic

    • Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo
    Pages 70-86

  7. A uniform tableaux method for nonmonotonic modal logics

    • Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati
    Pages 87-103

  8. Design and implementation of diagnostic strategies using modal logic

    • Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder
    Pages 104-118

  10. McCarthy's idea

    • Michael R. Genesereth
    Pages 134-142

  11. Strong and explicit negation in non-monotonic reasoning and logic programming

    • José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Pages 143-163

  12. Only persistence makes nonmonotonicity monotonous

    • Joeri Engelfriet
    Pages 164-175

  13. Ordering-based representations of rational inference

    • Konstantinos Georgatos
    Pages 176-191

  16. Infinitary default logic for specification of nonmonotonic reasoning

    • Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Mirosław Truszczyński
    Pages 224-236

  17. A system for computing constrained default logic extensions

    • G. Antoniou, A. P. Courtney, J. Ernst, M. A. Williams
    Pages 237-250

  18. The Oz programming model

    • Gert Smolka
    Pages 251-251

  20. Characterizing D-WFS: Confluence and iterated GCWA

    • Stefan Brass, Jürgen Dix
    Pages 268-283
Back to top

Other Volumes

  1. Logics in Artificial Intelligence

Back to top

About this book

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996.
The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Logics in Artificial Intelligence

  • Book Subtitle: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

  • Editors: José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-61630-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1996

  • Softcover ISBN: 978-3-540-61630-6Published: 28 August 1996

  • eBook ISBN: 978-3-540-70643-4Published: 14 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 426

  • Topics: Artificial Intelligence, Computer System Implementation, Mathematical Logic and Formal Languages

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