OPIM 951 - Seminar on Logic Modeling

Institution:

University of Pennsylvania

Subject:

Description:

Staff. Prerequisite(s): Permission of the instructor and some prior knowledge of logic or Prolog. Seminar on the elements of formal logic necessary to read and contribute to the Logic modeling literature, as well as the implementation principles for logic models. The primary topics include elements of sentence and predicate logic, elements of modal logics, elements of semantics, mechanical theorem proving, logic and database, nonmonotonic reasoning, planning and the frame problem, logic programming, and metainterpreters.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.upenn.edu

Phone Number:

(215) 898-5000

Regional Accreditation:

Middle States Association of Colleges and Schools

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.