First-order stable model semantics with intensional functions

Michael Bartholomew, Joohyung Lee. First-order stable model semantics with intensional functions. Artificial Intelligence, 273:56-93, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.