First-order stable model semantics with intensional functionsOpen Website

Michael Bartholomew, Joohyung Lee

2019 (modified: 23 May 2022)Artif. Intell. 2019Readers: Everyone
0 Replies