Artificial IntelligenceElsevier 31 Logic and artificial intelligence

First Page		Document Content
Date: 2007-10-21 17:30:59 Philosophy of language Reasoning Programming paradigms Knowledge representation and reasoning Entailment Function First-order logic Interpretation Proposition Logic Philosophical logic Logical syntax		Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Download Document from Source Website File Size: 1,52 MB Share Document on Facebook

	Knowledge Representation and Reasoning for Mixed-Initiative Planning by George Montague Ferguson Submitted in Partial Fulfillment DocID: 1v9Am - View Document
	KR 2010 Principles of Knowledge Representation and Reasoning the Twelfth International Conference The Sutton Place Hotel Toronto Toronto, Ontario, Canada May 9-13, 2010 DocID: 1tYRv - View Document
	Workshop Notes The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 DocID: 1sX0n - View Document
	A Natural Language Interface for Querying General and Individual Knowledge (Full Version) Yael Amsterdamer, Anna Kukliansky, and Tova Milo Tel Aviv University DocID: 1rt8u - View Document
	On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University DocID: 1rqXQ - View Document