Strategies in Rigid-Variable Methods
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 114-120.
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 variab les. 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.
Andrei Voronkov. 1997. Strategies in Rigid-Variable Methods. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 114–120. https://ijcai.org/proceedings/1997/18
Voronkov, A. (1997). Strategies in Rigid-Variable Methods. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 (pp. 114–120). IJCAI. https://ijcai.org/proceedings/1997/18
@inproceedings{ijcai1997p18,
title = {Strategies in Rigid-Variable Methods},
author = {Voronkov, Andrei},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {114--120},
year = {1997},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1997/18},
}
TY - CPAPER TI - Strategies in Rigid-Variable Methods AU - Voronkov, Andrei T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 114 EP - 120 UR - https://ijcai.org/proceedings/1997/18 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
