4 citations · 4 across the 4 of their papers we have counts for
4 papers
Accomplishable Tasks in Knowledge Representation
Keehang Kwon, Mi-Young Park
Knowledge Representation (KR) is traditionally based on the logic of facts, expressed in boolean logic. However, facts about an agent can also be seen as a set of accomplished task…
Towards Interactive Object-Oriented Programming
Keehang Kwon, Kyunghwan Park, Mi-Young Park
To represent interactive objects, we propose a choice-disjunctive declaration statement of the form S R where S;R are the (procedure or field) declaration statements within a class…
Improving Robustness via Disjunctive Statements in Imperative Programming
Keehang Kwon, Sungwoo Hur, Mi-Young Park
To deal with failures as simply as possible, we propose a new foun- dation for the core (untyped) C, which is based on a new logic called task logic or imperative logic. We then in…
Towards Interactive Logic Programming
Keehang Kwon, Mi-Young Park
Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal from…