Skip to main content
Springer Nature Link
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 1996

Overview

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)

Included in the following conference series:

Conference proceedings info: JELIA 1996.

  • 3880 Accesses

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

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.

Similar content being viewed by others

Keywords

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Hyper tableaux

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

  3. An algorithm for the retrieval of unifiers from discrimination trees

    • Hans de Nivelle
    Pages 18-33

  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

  9. A modal action logic based framework for organization specification and analysis

    • Filipe Santos, José Carmo
    Pages 119-133

  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

  14. Semi-representability of default theories in rational default logic

    • Artur Mikitiuk
    Pages 192-207

  15. A query answering algorithm for Lukaszewicz' general open default theory

    • Viorica Ciorba
    Pages 208-223

  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

  19. An abductive framework for negation in disjunctive logic programming

    • Chandrabose Aravindan
    Pages 252-267

  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

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

Publish with us

Policies and ethics

Back to top