LSU CSC 4444

• Universities
• LSU
• CSC
• 4444

Course Description

Raw: Theorem proving and inferencing techniques, production systems, knowledge representation, app

Stemmed: theorem prove inferenc techniqu product system knowledg represent approxim reason nonmonoton reason

Inferred Topics

• 28   (0.758762) search, intellig, knowledg, reason, problem, represent, artifici, languag, learn, system

  (0.923) PDX CS 541 Artificial Intelligence

  (0.833) AU CSC 568 Artificial Intelligence

  (0.819) KSU CIS 730 Principles of Artificial Intelligence

  (0.766) GMU CS 580 Introduction to Artificial Intelligence

  (0.761) PDX CS 441 Artificial Intelligence

  (0.759) LSU CSC 4444 Artificial Intelligence

  (0.698) ACM EC 0 Introduction to Artificial Intelligence

  (0.657) GMU CS 480 Introduction to Artificial Intelligence

  (0.645) SC CSCE 580 Artificial Intelligence

  (0.584) Utah CS 4300 Artificial Intelligence

  (0.569) ACM KA 0 Intelligent Systems (IS)

  (0.559) ACM EC 0 Introduction to Artificial Intelligence

  (0.528) KSU CIS 635 Introduction to Computer-Based Knowledge Systems

  (0.523) KSU CIS 530 Introduction to Artificial Intelligence

  (0.509) Stanford CS 227 General Game Playing

  (0.485) RPI CSCI 4150 Introduction to Artificial Intelligence

  (0.447) LSU CSC 7444 Advanced Artificial Intelligence

  (0.414) GMU CS 687 Advanced Artificial Intelligence

  (0.369) Utah CS 6380 Multi-agent Systems

  (0.352) UTK COSC 420 Biologically-Inspired Computation

  (0.321) ACM EC 0 Artificial Intelligence

  (0.313) ACM EC 0 Artificial Intelligence Programming

  (0.306) LSU CSC 7375 Robot Vision

  (0.302) Stanford CS 323 Automated Reasoning: Theory and Applications

  (0.273) GMU CS 685 Autonomous Robotics

  (0.197) KSU CIS 101 Introduction to Computing Systems

  (0.181) PDX CS 553 Design Patterns

  (0.163) GMU CS 262 Introduction to Low-Level Programming

No prerequisites registered.