TY - BOOK ID - 219246 TI - Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings AU - Wansing, H. AU - Lutz, Carsten AU - Holldobler, Steffen AU - JELIA 2008 PY - 2008 SN - 3540878033 3540878025 PB - Berlin, Germany : Springer, DB - UniCat KW - Artificial intelligence KW - Logic, Symbolic and mathematical KW - Information Technology KW - Artificial Intelligence KW - Artificial intelligence. KW - Computer science. KW - Artificial Intelligence. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Mathematical Logic and Formal Languages. KW - Informatics KW - Science 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 - Programming languages (Electronic computers). KW - Computer programming. KW - Mathematical logic. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Programming UR - https://www.unicat.be/uniCat?func=search&query=sysid:219246 AB - This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic. ER -