搜索结果

关于"机器学习与人工智能"为您找到1814个相关结果

005-first order predicate calculus

828

007-introduction to modal and epistemic logic for beginners

819

008-a search algorithm for propositional satisfiability

807

009-agents that reason logically

790

010-muddy children problem

802

011- logic puzzles and modal logic

832

012-the narrow bridge universe

838

014-Knowledge, Planning and Robotics

821

015-Introduction to Robot Planning

798

016-Fundamentals of Logic

809

017-Basic Knowledge Representation in First Order Logic

750

018-Inference in First Order Logic

774

019-Example of Knowledge Base

801

020-Artificial Intelligence programming and Prolog Language Tutorial

790