Choose an application

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

APPLICATIONS AND INNOVATIONS IN INTELLIGENT SYSTEMS XII The papers in this volume are the refereed application papers presented at AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2004. The papers present new and innovative developments in the field, divided into sections on Synthesis and Prediction, Scheduling and Search, Diagnosis and Monitoring, Classification and Design, and Analysis and Evaluation. This is the twelfth volume in the Applications and Innovations series. The series serves as a key reference on the use of AI Technology to enable organisations to solve complex problems and gain significant business benefits. The Technical Stream papers are published as a companion volume under the title Research and Development in Intelligent Systems XXI.

Expert systems (Computer science) --- Intelligent control systems --- Artificial intelligence --- Information Technology --- Artificial Intelligence --- Artificial intelligence. --- Artificial Intelligence. --- 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

Choose an application

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

Many approaches in the field of nonmonotonic and ""commonsense"" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic program

Nonmonotonic reasoning. --- Artificial intelligence. --- 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 --- Non-monotonic reasoning --- Reasoning --- Nonmonotonic reasoning --- E-books

Choose an application

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

The field of Artificial Intelligence in Education includes research and researchers from many areas of technology and social science. This study aims to open opportunities for the cross-fertilization of information and ideas from researchers in the many fields that make up this interdisciplinary research area.

Artificial intelligence --- Intelligent tutoring systems --- 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 --- Educational applications --- Conferences - Meetings

Choose an application

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

Artificial intelligence. --- Cognitive neuroscience. --- Emotions. --- Robots. --- Experimentele psychologie --- motivatie en emotie --- motivatie en emotie. --- Artificial intelligence --- Cognitive neuroscience --- Emotions --- Robots --- Automata --- Automatons --- Manipulators (Mechanism) --- Robotics --- Mecha (Vehicles) --- Feelings --- Human emotions --- Passions --- Psychology --- Affect (Psychology) --- Affective neuroscience --- Apathy --- Pathognomy --- Cognitive neuropsychology --- Cognitive science --- Neuropsychology --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

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

These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in Barcelona (Spain), July 6-8, 2005. The ECSQARU conferences are biennial and have become a major forum for advances in the theory and practice of r- soning under uncertainty. The ?rst ECSQARU conference was held in Marseille (1991), and after in Granada (1993), Fribourg (1995), Bonn (1997), London (1999), Toulouse (2001) and Aalborg (2003). The papers gathered in this volume were selected out of 130 submissions, after a strict review process by the members of the Program Committee, to be presented at ECSQARU 2005. In addition, the conference included invited lectures by three outstanding researchers in the area, Seraf´ ?n Moral (Imprecise Probabilities), Rudolf Kruse (Graphical Models in Planning) and J´ erˆ ome Lang (Social Choice). Moreover, the application of uncertainty models to real-world problems was addressed at ECSQARU 2005 by a special session devoted to s- cessful industrial applications, organized by Rudolf Kruse. Both invited lectures and papers of the special session contribute to this volume. On the whole, the programme of the conference provided a broad, rich and up-to-date perspective of the current high-level research in the area which is re?ected in the contents of this volume. IwouldliketowarmlythankthemembersoftheProgramCommitteeandthe additional referees for their valuable work, the invited speakers and the invited session organizer.

Artificial intelligence. --- Mathematical logic. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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