Choose an application

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

Logic, Symbolic and mathematical

Choose an application

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

This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.

Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computers --- informatica --- software engineering --- KI (kunstmatige intelligentie) --- computerkunde --- AI (artificiële intelligentie)

Choose an application

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

Logic, Symbolic and mathematical --- Computer science --- Logique symbolique et mathématique --- Informatique --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Mathematical Theory --- Mechanical Engineering --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Information Technology --- Artificial Intelligence --- Computer science. --- Computer programming. --- Software engineering. --- Computers. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Software Engineering. --- 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 --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication

Choose an application

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

Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computers --- informatica --- software engineering --- KI (kunstmatige intelligentie) --- computerkunde

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