Derivation Procedures for Extended Stable Models
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 863-868.
Abstract
We present derivation proof procedures for extended stable model semantics. Given program II and goal G, G belongs to the well founded model of II iff there is a W F M-derivation for Gin II. Likewise, given program II and goal G, G belongs to some extended stable model of II iff there is a XSM-derivation for Gin II. Correctness (completeness and soundness) of these procedures is discussed. Example derivations are exhibited, as well as a simple Prolog implementation that directly mirrors the procedures.
Luís Moniz Pereira, Joaquim Nunes Aparício, and José Júlio Alferes. 1991. Derivation Procedures for Extended Stable Models. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 863–868. https://ijcai.org/proceedings/1991/127
Pereira, L. M., Aparício, J. N., & Alferes, J. J. (1991). Derivation Procedures for Extended Stable Models. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 (pp. 863–868). IJCAI. https://ijcai.org/proceedings/1991/127
@inproceedings{ijcai1991p127,
title = {Derivation Procedures for Extended Stable Models},
author = {Pereira, Luís Moniz and Aparício, Joaquim Nunes and Alferes, José Júlio},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {863--868},
year = {1991},
month = {8},
note = {Logic Programming},
url = {https://ijcai.org/proceedings/1991/127},
}
TY - CPAPER TI - Derivation Procedures for Extended Stable Models AU - Pereira, Luís Moniz AU - Aparício, Joaquim Nunes AU - Alferes, José Júlio T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 863 EP - 868 UR - https://ijcai.org/proceedings/1991/127 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
