Proceedings of the ... Annual National Conference on Artificial Intelligence, Volume 11American Association for Artificial Intelligence, 1993 - Artificial intelligence |
Contents
On Computing Minimal Models | 2 |
A Refinement of Resolution to Remove Large Literals | 15 |
Towards an Understanding of HillClimbing Procedures for | 28 |
Copyright | |
58 other sections not shown
Other editions - View all
Common terms and phrases
action algorithm applied approach Artificial Intelligence case-based case-based reasoning causal clause COMMON LISP complexity components Computer Science concept Conference on Artificial consistent constraints context contracted agent cost decision decision trees default logic defined Definition described diagnosis dialogue domain theory edge equations evaluation example Figure formal formulas function given goal graph graph coloring GSAT heuristic hierarchy Horn clause hypergraph implemented Inductive Logic Programming inference initial input instance knowledge knowledge representation linear literals logic programs Machine Learning matrix method modal logics natural language node nonmonotonic operator optimal paper parameters parsing partial performance planner possible prediction problem Proc procedure propositional Q-learning qualitative queries reasoning recursive relations represent representation retrieval rules satisfied semantic sentence sequence simulation solution solving specific step strategy structure subset syntactic task techniques Theorem threats tion tree variables