Keehang Kwon

Priority, Cut, If-Then-Else and Exception Handling in Logic Programming

2016 · arXiv (Cornell University)

One of the long-standing problems on logic programming is to express {\it priority}-related operations -- default reasoning, if-then-else, cut, exception handling, etc -- in a high-level way. We argue that this problem can be solved …

Evolving Recursive Definitions with Applications to Dynamic Programming

2022 · arXiv (Cornell University)

Inspired by computability logic\cite{Jap03}, we refine recursive function definitions into two kinds: blindly-quantified (BQ) ones and parallel universally quantified (PUQ) ones. BQ definitions corresponds to the traditional ones where recursive definitions are $not$ evolving. PUQ …