Choose an application

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

This book gives an in-depth treatment of the latest results in a selection of core topics of AI. Its aim is to make available to students and practitioners active in AI those results in a form suitable for people who are already informed about the basics of AI. The treatment is in tutorial form, and the material originates from the series of Advanced Courses in AI that are regularly offered by the European Coordinating Committee for AI. The topics treated are Learning Systems, Planning, Automated Deduction, Qualitative Reasoning, Knowledge Engineering, Natural Language Understanding, and AI Programming. Through reading this book the interested reader will gain a clearer understanding and better perspective of a rapidly evolving field.

Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*I2 --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 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 --- planning --- Machine learning --- Qualitative Reasoning --- Theorem Proving --- Rewriting System --- Lncs --- Artificial intelligence --- Lnia

Choose an application

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

Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*F31 --- 681.3*F41 --- 681.3*I23 --- 681.3*I24 --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 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} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (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*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Logic, Symbolic and mathematical. --- Computer science. --- Artificial intelligence. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- 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 --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic --- Theorem Proving --- Artificial intelligence --- Rewriting System --- Lncs