Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence --- Logic, Symbolic and mathematical --- Intelligence artificielle --- Logique symbolique et mathématique --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- 681.3*I2 --- 681.3*F41 --- 681.3*D16 --- Artificial intelligence. AI --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Programming techniques: Logic programming --- Information Technology --- Artificial Intelligence --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*I2 Artificial intelligence. AI --- Computer science. --- Computer programming. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Artificial Intelligence. --- JELIA

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logics provide a formal basis, and key descriptive notation, for the study and dev- opment of applications and systems in Arti?cial Intelligence (AI). With the depth and maturity of formalisms, methodologies,and systems today, such logics are increasingly important. The European Conference on Logics in Arti?cial Intelligence (or Journees ´ Europeennes ´ sur la Logique en Intelligence Arti?cielle JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this ?eld. Since then, JELIA has been organised biennially, with - glish as of?cial language, and with proceedings published in Springer's Lecture Notes in Arti?cial Intelligence. Previousmeetingstookplace in Roscoff,France(1988),Ams- ´ terdam,Netherlands(1990),Berlin,Germany(1992),York,UK (1994),Evora,Portugal (1996), Dagstuhl, Germany (1998), Malaga, ´ Spain (2000), Cosenza, Italy (2002), and Lisbon, Portugal (2004). The increasing interest in this forum, its international level with growing parti- pation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI. JELIA 2006constitutedtheTenthInternationalConferenceonLogicsinArti?cial Intelligence, and was held in Liverpool (UK) in September 2006. As with previous JELIA conf- ences, the aim of JELIA 2006 was to bring together active researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature. We received a total of 96 submissions, comprising 77 regular papers and 19 tool - scriptions.

Mathematical logic --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- programmeren (informatica) --- wiskunde --- logica --- robots