Back to Results
First PageMeta Content
Model theory / Predicate logic / Boolean algebra / Propositional calculus / Atomic sentence / Unification / Function / First-order logic / If and only if / Logic / Mathematical logic / Mathematics


Principles of Artificial Intelligence Fall 2005 Handout #5 Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory
Add to Reading List

Document Date: 2009-08-25 18:32:21

Open Document

File Size: 114,55 KB

Share Result on Facebook

Company

John / /

Facility

Atanasoff Hall / /

NaturalFeature

Artificial Intelligence Fall / /

Organization

Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Department of Computer Science / Iowa State University / /

Person

Thoralf Skolem / Horn Clauses / /

Position

General / MP / mathematician / Prime Minister / axioms using MP / /

Product

M14 / M-16 / M-9 / /

ProvinceOrState

Iowa / /

Technology

artificial intelligence / /

SocialTag