CCR

Search

Find a course or a school.

CSE 4633 creditsPrereq: Pre-Requisite: CSE 305 ; Computer Science, Computer Engineering, or Bioinformatics majors only.

CSE 463: Knowledge Representation

No student reviews yet

Undergrad registration for Spring 2027 at UB opens Mon, Nov 2. Registrar dates

No ratings yet

We don't have ratings, grades or reviews for CSE 463 yet.

Below: what the catalog says, the CSE classes numbered next to it and how Computer Science and Engineering classes rate at UB.

Yours would be the first. About two minutes, anonymous.

Took CSE 463? How hard was it?

1 is easy, 5 is hard. Anonymous, no account.

Difficulty

What we know

From the catalog
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.
Credits
3

Written reviews

No written reviews of CSE 463 yet

Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.

Professors who have taught CSE 463

  • William Rapaport