Proceedings AAAI-88 Seventh National Conference on Artificial Intelligence, August 21-26, 1988, St. Paul, Minnesota, USA |
Contents
Author Index | 375 |
Volume 2 | 377 |
Organization of Papers V | 377 |
Copyright | |
1 other sections not shown
Other editions - View all
Common terms and phrases
abstract action algorithm analysis applied approach Artificial Intelligence assumptions ATMS autoepistemic logic axioms behavior belief Carnegie Mellon University causal Center circumscription clause complete components Computer Science concept conflict consistent constraints context database default default logic defeasible defined definition derived described domain dynamic environment equations evaluation example expert system Figure first-order formal formula function given goal graph heuristic Horn clauses implemented inference input Kleer knowledge knowledge representation label logic program mechanism minimal modal logic node nonmonotonic object operator optimal paper parameter path performance PGPs possible predicate problem solving procedure processors propagation properties propositions qualitative reasoning relations represent representation Research rules semantics sequence simulation solution space specific strategy structure subset surface normal task techniques temporal theorem theory tion Touretzky truth maintenance system University variables