This book on AI research and development presents a wide range of topics of interest, including automated reasoning: theorem proving, reasoning about action and change, reasoning about time and space, constraint satisfaction, reasoning on uncertainty and with fuzzy sets, analogy and induction, machine learning. Logics for AI: logics for knowledge, belief and intention, multi-valued logics, modal and temporal logics, epistemic logics, fuzzy logics. Languages, structures and algorithms for AI: logic programming, inductive logic programming, constraint programming, multi-agent systems, connectionist systems, genetic algorithms, parallel processing for AI. Knowledge-based systems: languages and systems for representing knowledge, object-based knowledge representation systems, knowledge acquisition, validation of knowledge-based systems. Natural language processing: syntax, semantics, discourse, speech recognition and understanding, natural language generation, natural language front ends. Perception and action: computer vision, object recognition, stereo vision, active vision, robotics systems, robot programming, robot motion planning, mobile robotics, behavior-based reactive robots. Principles of AI applications: AI for decision systems, AI in education, AI in engineering design, AI in manufacturing control, AI in medicine, AI in molecular biology, AI in environmental sciences.