Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /

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.

Saved in:
Bibliographic Details
Main Authors: Alferes, José Jülio. editor., Pereira, Luís Moniz. editor., Orlowska, Ewa. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
Subjects:Computer science., Architecture, Computer., Mathematical logic., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Computer System Implementation., Mathematical Logic and Formal Languages.,
Online Access:http://dx.doi.org/10.1007/3-540-61630-6
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:220993
record_format koha
spelling KOHA-OAI-TEST:2209932018-07-30T23:59:03ZLogics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings / Alferes, José Jülio. editor. Pereira, Luís Moniz. editor. Orlowska, Ewa. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1996.engThis 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.Hyper tableaux -- An algorithm for the retrieval of unifiers from discrimination trees -- Building proofs or counterexamples by analogy in a resolution framework -- What you always wanted to know about rigid E-unification -- Labelled proofs for quantified modal logic -- A uniform tableaux method for nonmonotonic modal logics -- Design and implementation of diagnostic strategies using modal logic -- A modal action logic based framework for organization specification and analysis -- McCarthy's idea -- Strong and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes nonmonotonicity monotonous -- Ordering-based representations of rational inference -- Semi-representability of default theories in rational default logic -- A query answering algorithm for Lukaszewicz' general open default theory -- Infinitary default logic for specification of nonmonotonic reasoning -- A system for computing constrained default logic extensions -- The Oz programming model -- An abductive framework for negation in disjunctive logic programming -- Characterizing D-WFS: Confluence and iterated GCWA -- Modules and specifications -- Logic programming with integrity constraints -- Temporal reasoning over linear discrete time -- Similarity saturation for first order linear temporal logic with UNLESS -- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions -- Informational logic for automated reasoning -- Extensions for open default theories via the domain closure assumption -- Revising and updating using a back-up semantics -- A simple signed system for paraconsistent reasoning.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.Computer science.Architecture, Computer.Mathematical logic.Artificial intelligence.Computer Science.Artificial Intelligence (incl. Robotics).Computer System Implementation.Mathematical Logic and Formal Languages.Springer eBookshttp://dx.doi.org/10.1007/3-540-61630-6URN:ISBN:9783540706434
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer System Implementation.
Mathematical Logic and Formal Languages.
Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer System Implementation.
Mathematical Logic and Formal Languages.
spellingShingle Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer System Implementation.
Mathematical Logic and Formal Languages.
Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer System Implementation.
Mathematical Logic and Formal Languages.
Alferes, José Jülio. editor.
Pereira, Luís Moniz. editor.
Orlowska, Ewa. editor.
SpringerLink (Online service)
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /
description 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.
format Texto
topic_facet Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer System Implementation.
Mathematical Logic and Formal Languages.
author Alferes, José Jülio. editor.
Pereira, Luís Moniz. editor.
Orlowska, Ewa. editor.
SpringerLink (Online service)
author_facet Alferes, José Jülio. editor.
Pereira, Luís Moniz. editor.
Orlowska, Ewa. editor.
SpringerLink (Online service)
author_sort Alferes, José Jülio. editor.
title Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /
title_short Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /
title_full Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /
title_fullStr Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /
title_full_unstemmed Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /
title_sort logics in artificial intelligence [electronic resource] : european workshop, jelia '96 évora, portugal september 30 – october 3, 1996 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1996
url http://dx.doi.org/10.1007/3-540-61630-6
work_keys_str_mv AT alferesjosejulioeditor logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia96evoraportugalseptember30october31996proceedings
AT pereiraluismonizeditor logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia96evoraportugalseptember30october31996proceedings
AT orlowskaewaeditor logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia96evoraportugalseptember30october31996proceedings
AT springerlinkonlineservice logicsinartificialintelligenceelectronicresourceeuropeanworkshopjelia96evoraportugalseptember30october31996proceedings
_version_ 1756270239235964928