The Stable Model Semantics for Higher-Order Logic Programming.
Saved in:
| Title: | The Stable Model Semantics for Higher-Order Logic Programming. |
|---|---|
| Authors: | BOGAERTS, BART1 (AUTHOR) bart.bogaerts@vub.be, CHARALAMBIDIS, ANGELOS2 (AUTHOR) acharal@hua.gr, CHATZIAGAPIS, GIANNOS3 (AUTHOR) gchatziagap@di.uoa.gr, KOSTOPOULOS, BABIS2 (AUTHOR) kostbabis@hua.gr, POLLACI, SAMUELE1 (AUTHOR) samuele.pollaci@vub.be, RONDOGIANNIS, PANOS3 (AUTHOR) prondo@di.uoa.gr |
| Source: | Theory & Practice of Logic Programming. Jul2024, Vol. 24 Issue 4, p737-754. 18p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068424000231 |
