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:
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!
|
Similar Items
-
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings /
by: Alferes, José Jülio. editor., et al.
Published: (1996) -
Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers /
by: Nielsen, Mogens. editor., et al.
Published: (1998) -
Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers /
by: Nielsen, Mogens. editor., et al.
Published: (1998) -
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
by: Galmiche, Didier. editor., et al.
Published: (1997) -
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
by: Galmiche, Didier. editor., et al.
Published: (1997)