Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs.
Saved in:
| Title: | Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs. |
|---|---|
| Authors: | CHARALAMBIDIS, ANGELOS1 (AUTHOR), CHATZIAGAPIS, GIANNOS2 (AUTHOR), KOSTOPOULOS, BABIS1 (AUTHOR), RONDOGIANNIS, PANOS2 (AUTHOR) |
| Source: | Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p80-94. 15p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
