IJCAI: Proceedings of the Conference, Volume 1IJCAI, 1993 - Artificial intelligence |
Contents
Induction | 7 |
Applications II | 79 |
Adel Bouhoula and Michael Rusinowitch | 88 |
Copyright | |
74 other sections not shown
Other editions - View all
Common terms and phrases
abductive abstract actions agent algorithm applied approach Artificial Intelligence ATMS autoepistemic logic axioms basic belief belief revision bijective checking clause complete Computer Conference on Artificial conflict consider consistent constraint network constraint satisfaction constraint satisfaction problems context cost database deduction default default logic defined Definition denote derivation diagnosis disjunctive domain efficient environment example explanation extended Figure finite formal formula function given goal GSAT heuristic Horn Horn clauses hypotheses implementation induction inference instantiation knowledge base knowledge representation knowledge-acquisition tools language Lemma Logic Programming method minimal modal logics multi-agent multi-agent systems nodes operator optimal paper performance polynomial possible predicate problem proof properties propositional quasigroup query reasoning relation representation resolution revision rules satisfied semantics sequence situation solution solving strategy structure subset task temporal theorem proving theory tion transition relation variables