Loading...
Please wait, while we are loading the content...
Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
| Content Provider | Springer-eBooks |
|---|---|
| Editor | Alferes, José Jülio Pereira, Luís Moniz Orlowska, Ewa |
| Copyright Year | 1996 |
| Abstract | 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. |
| File Format | |
| ISBN | 9783540706434 |
| Language | English |
| Publisher | SpringerLink Springer eBooks |
| Access Restriction | Subscribed |
| Subject Keyword | Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages |
| Content Type | Text |
| Resource Type | Book |