What people are saying - Write a review
We haven't found any reviews in the usual places.
On Computing Minimal Models
On the Adequateness of the Connection Method
A Refinement of Resolution to Remove Large Literals
64 other sections not shown
action algorithm applied approach Artificial Intelligence case-based case-based reasoning causal clause complexity component Computer Science concept Conference on Artificial consistent constraints context contracting agent cost decision decision trees default logic defined definition described diagnosis dialogue domain theory 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 Proceedings propositional Q-learning qualitative queries reasoning recursive relations represent representation retrieval rules satisfied semantic sentence sequence simulation solution solving space specific step strategy structure subset syntactic task techniques Theorem threats tion tree variables