## Proceedings of the ... Annual National Conference on Artificial Intelligence, Volume 11, Part 1993 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

On Computing Minimal Models | 2 |

On the Adequateness of the Connection Method | 9 |

A Refinement of Resolution to Remove Large Literals | 15 |

Copyright | |

64 other sections not shown

### Common terms and phrases

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