research
∙
07/15/2023
First-Order Stable Model Semantics with Intensional Functions
In classical logic, nonBoolean fluents, such as the location of an objec...
share
research
∙
12/20/2013
