Intelligent Control Using Integrity Constraints
Abstract
This paper describes how integrity constraints, whether user supplied or automatically generated during the search, and analysis of failures can be used to improve the execution of function free logic programs. Integrity constraints are used to guide both the forward and backward execution of the programs. This work applies to arbitrary node and literal selection functions and is thus transparent to the fact whether the logic program is executed sequentially or in parallel.
Cite
Text
Kohli and Minker. "Intelligent Control Using Integrity Constraints." AAAI Conference on Artificial Intelligence, 1983.Markdown
[Kohli and Minker. "Intelligent Control Using Integrity Constraints." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/kohli1983aaai-intelligent/)BibTeX
@inproceedings{kohli1983aaai-intelligent,
title = {{Intelligent Control Using Integrity Constraints}},
author = {Kohli, Madhur and Minker, Jack},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1983},
pages = {202-205},
url = {https://mlanthology.org/aaai/1983/kohli1983aaai-intelligent/}
}