Skip to Content
University at Buffalo

UB Undergraduate Academic Schedule: Spring 2018

  • This information is updated nightly. Additional information about this course, including real-time course data, prerequisite and corequisite information, is available to current students via the HUB Student Center, which is accessible via MyUB. Information about HUB can be found at

  • |

    CSE 463LR - Knowledge Representation
    Knowledge Representation R1 Enrollment Information (not real time - data refreshed nightly)
    Class #:   23836   Enrollment Capacity:   40
    Section:   R1   Enrollment Total:   11
    Credits:   4.00 credits   Seats Available:   29
    Dates:   01/29/2018 - 05/11/2018   Status:   OPEN
    Days, Time:   R , 12:00 PM - 12:50 PM
    Room:   Baldy 110 view map
    Location:   North Campus      
    Chained Courses
    Registering in the above section will automatically place you in the following class(es):
    Enrollment Requirements
    Prerequisites: Pre-Requisite: CSE 305 or Permission of instructor
      Course Description
    Introduces the field of knowledge representation and reasoning, the branch of artificial intelligence concerned with the techniques for representing and reasoning about the information to be used by an AI program. Topics typically include: the knowledge-representation hypothesis; propositional and first-order logic; model finding; resolution; syntactic proof theory; direct and refutation methods; relevance logic; truth maintenance and belief revision; commonsense reasoning; ontologies. Other topics that may be included as time permits are: modal logics; non-monotonic, defeasible, and default logics; logics of knowledge and belief; frames; description logics; vague and uncertain beliefs; logics of actions and time.
      On-line Resources