Produktnummer:
1839f7ef7b72e4488ead85d58b5ae4c519
Themengebiete: | AI Logics Automatisches Schließen KI-Logiken Logic Programming Mathematical Logics Nicht-Klassische Logiken Non-classical Logics artificial intelligence automated reasoning nonmonotonic reasoning |
---|---|
Veröffentlichungsdatum: | 28.08.1996 |
EAN: | 9783540616306 |
Sprache: | Englisch |
Seitenzahl: | 426 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Alferes, Jose Julio Moniz Pereira, Luis Orlowska, Eva |
Verlag: | Springer Berlin |
Untertitel: | European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings |
Produktinformationen "Logics in Artificial Intelligence"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen