TY - BOOK ID - 2611402 TI - Logics in artificial intelligence. Proceedings of the European workshop, JELIA'96, Evora, Portugal, September/October 1996 AU - JÚLIO ALFERES, José AU - PEREIRA, Moniz L. AU - Orlowska, Ewa PY - 1996 VL - 1126 SN - 3540616306 3540706437 9783540616306 PB - Berlin [etc.] : Springer-Verlag, DB - UniCat KW - Artificial intelligence KW - Logic, Symbolic and mathematical KW - Congresses. KW - Congresses KW - Logic [Symbolic and mathematical ] KW - Artificial intelligence. KW - Computer network architectures. KW - Computer science. KW - Artificial Intelligence. KW - Computer System Implementation. KW - Mathematical Logic and Formal Languages. KW - Informatics KW - Science KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Artificial intelligence - Congresses. KW - Logic, Symbolic and mathematical - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:2611402 AB - 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. ER -