Logics in artificial intelligence : 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 rel...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1996]
|
| Series: | Lecture notes in computer science ;
1126. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | "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."--PUBLISHER'S WEBSITE. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (ix, 416 pages) : illustrations |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 3540616306 9783540616306 |