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]

Possibly Related Publications

The following publications are possibly variants of this publication: