Abstract
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intrinsic complications introduced by rigid variables. We also consider strategies for increasing multiplicity in rigid-variable methods, and formally show that the use of intelligent strategies can result in an essential gain in efficiency.
| Original language | English |
|---|---|
| Title of host publication | IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell. |
| Pages | 114-119 |
| Number of pages | 5 |
| Volume | 1 |
| Publication status | Published - 1997 |
| Event | 15th International Joint Conference on Artificial Intelligence, IJCAI 1997 - Nagoya, Aichi Duration: 1 Jul 1997 → … http://dblp.uni-trier.de/db/conf/ijcai/ijcai97.html#Voronkov97http://dblp.uni-trier.de/rec/bibtex/conf/ijcai/Voronkov97.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ijcai/Voronkov97 |
Conference
| Conference | 15th International Joint Conference on Artificial Intelligence, IJCAI 1997 |
|---|---|
| City | Nagoya, Aichi |
| Period | 1/07/97 → … |
| Internet address |