Search Results for author:
Found 2 papers, 0 papers with code
First-Order Stable Model Semantics with Intensional Functions
We extend the first-order stable model semantics by Ferraris, Lee, and Lifschitz to allow intensional functions -- functions that are specified by a logic program just like predicates are specified.
A Functional View of Strong Negation in Answer Set Programming
The distinction between strong negation and default negation has been useful in answer set programming.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
