## IJCAI: Proceedings of the Conference, Volume 1 |

### What people are saying - Write a review

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

### Contents

A Practical Ron Rymon 1488 | 6 |

ReactionFirst Search Luca Console Gerhard Friedrich | 51 |

Automatic Case Analysis in Proof by Induction | 88 |

Copyright | |

63 other sections not shown

### Common terms and phrases

abductive abstract actions agent algorithm applied approach Artificial Intelligence autoepistemic logic axioms basic belief belief revision bijective checking clause complete Computer condition Conference on Artificial conflict consider consistent constraint network constraint satisfaction constraint satisfaction problems context cost database deduction default default logic defined Definition denote derivation disjunctive domain efficient environment example explanation extended Figure finite formal formula function given goal GSAT heuristic Horn clauses hypotheses implementation induction inference instantiation knowledge base knowledge representation knowledge-acquisition tools language Lemma logic programs metatools method minimal modal logics multi-agent multi-agent systems nodes operator optimal paper performance polynomial possible predicate problem proof properties propositional prove quasigroup query reasoning relation represent representation resolution revision rules satisfied semantics sequence situation solution solving strategy structure subset task temporal theorem prover theory tion transition relation variables