Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Document Date: 2015-03-10 03:37:53 Open Document File Size: 51,12 KB Share Result on Facebook City Reading / San Francisco / / Company Morgan Kaufmann Press / / / Organization Carnegie Mellon University / Logic and Artificial Intelligence / / Person Hector J. Levesque / Horn Logic / Ronald J. Brachman / Gregory Wheeler / / Technology artificial intelligence / / URL http / SocialTag Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic

Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail:Add to Reading List