Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. - Keehang Kwon; Gopalan Nadathur; Debra Sue Wilson (ELP, 1992)

Implementing Polymorphic Typing in a Logic Programming Language. - Keehang Kwon; Gopalan Nadathur; Debra Sue Wilson (Comput. Lang., 1994)

Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. - Gopalan Nadathur; Bharat Jayaraman; Keehang Kwon (J. Log. Program., 1995)

A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming. - Keehang Kwon (J. Univers. Comput. Sci., 1997)

Scoping Constructs in Logic Programming: Implementation Problems and their Solution - Gopalan Nadathur; Bharat Jayaraman; Keehang Kwon (CoRR, 1998)

Experiments on Mutual Dependence between Class Analysis and Exception Analysis. - Jang-Wu Jo; Keehang Kwon (Software Engineering Research and Practice, 2005)

Acessing Objects Locally in Object-Oriented Languages. - Keehang Kwon (J. Object Technol., 2005)

An Internet Query Language based on Intuitionistic Linear Logic. - Keehang Kwon; JaeWoo Kim; Jang-Wu Jo (SERA, 2007)

Extending LogicWeb via Hereditary Harrop Formulas. - Keehang Kwon; Dae-Seong Kang (IEICE Trans. Inf. Syst., 2008)

A Query System for Texts with Macros. - Keehang Kwon; Dae-Seong Kang; Jinsoo Kim 002 (IEICE Trans. Inf. Syst., 2008)

Algorithm as Defining Dynamic Systems - Keehang Kwon; Hong Pyo Ha (CoRR, 2009)

A proof Procedure for Testing Membership in Regular Expressions - Keehang Kwon; Hong Pyo Ha; Jiseung Kim 004 (CoRR, 2010)

Mutually Exclusive Rules in LogicWeb - Keehang Kwon; Dae-Seong Kang (CoRR, 2012)

Towards Interactive Logic Programming - Keehang Kwon; Mi-Young Park (CoRR, 2012)

Mutually Exclusive Queries in Logic Programming - Keehang Kwon (CoRR, 2012)

Forward Reasoning via Sequential Queries in Logic Programming. - Keehang Kwon (Inf. Technol. Control., 2012)

Interactive Logic Programming via Choice-Disjunctive Clauses. - Keehang Kwon (CoRR, 2013)

A New Statement for Selection and Exception Handling in Imperative Languages. - Keehang Kwon (CoRR, 2013)

Pattern Matching via Choice Existential Quantifications in Imperative Languages. - Keehang Kwon (CoRR, 2013)

Accomplishable Tasks in Knowledge Representation. - Keehang Kwon; Mi-Young Park (CoRR, 2013)

Bounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming. - Keehang Kwon; Jeongyoon Seo (CoRR, 2013)

Bounded Inputs for Logic Programming - Keehang Kwon (CoRR, 2013)

Improving Robustness via Disjunctive Statements in Imperative Programming. - Keehang Kwon; Sungwoo Hur; Mi-Young Park (IEICE Trans. Inf. Syst., 2013)

Sequential Operations in LogicWeb. - Dae-Seong Kang; Keehang Kwon; Zulkarnine Mahmud (CoRR, 2014)

Mutually Exclusive Procedures in Imperative Languages. - Keehang Kwon (CoRR, 2014)

Expressing Algorithms as Concise as Possible via Computability Logic. - Keehang Kwon (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014)

Mutually Exclusive Modules in Logic Programming. - Keehang Kwon (CoRR, 2015)

A New Execution Model for the logic of hereditary Harrop formulas. - Keehang Kwon (CoRR, 2015)

Combining Logic Programming with Fixed-Point Definitions with Game Semantics. - Keehang Kwon (CoRR, 2015)

Incorporating Inductions and Game Semantics into Logic Programming. - Keehang Kwon (CoRR, 2015)

Logic Programming with Macro Connective. - Keehang Kwon (CoRR, 2015)

Incorporating User Interaction into Imperative Languages. - Keehang Kwon (CoRR, 2015)

A Logical Approach to Event Handling in Imperative Languages. - Keehang Kwon (CoRR, 2015)

Towards Interactive Object-Oriented Programming. - Keehang Kwon; Kyunghwan Park; Mi-Young Park (IEICE Trans. Inf. Syst., 2015)

For-loops in Logic Programming. - Keehang Kwon (CoRR, 2016)

Exception Handling in Logic Programming. - Keehang Kwon (CoRR, 2016)

Bounded-Choice Statements for User Interaction in Imperative Programming. - Keehang Kwon; Jeongyoon Seo; Dae-Seong Kang (IEICE Trans. Inf. Syst., 2016)

Local Modules in Imperative Languages. - Keehang Kwon (CoRR, 2017)

A Concurrent Model for Imperative Languages with Improved Atomicity. - Keehang Kwon; Dae-Seong Kang (CoRR, 2017)

Towards a Decidable LogicWeb via Length-Bounded Derivations. - Keehang Kwon; Dae-Seong Kang (CoRR, 2017)

On Answer Substitutions in Logic Programming. - Keehang Kwon (CoRR, 2017)

Extending Functional Languages with High-Level Exception Handling. - Keehang Kwon (CoRR, 2017)

Anonymous Variables in Imperative Languages. - Keehang Kwon (CoRR, 2017)

Towards Distributed Logic Programming based on Computability Logic. - Keehang Kwon (CoRR, 2019)

Extending and Automating Basic Probability Theory with Propositional Computability Logic. - Keehang Kwon (CoRR, 2019)

Agent-Based Proof Design via Lemma Flow Diagram. - Keehang Kwon; Dae-Seong Kang (CoRR, 2020)

Implementing Agent-Based Systems via Computability Logic CL2. - Keehang Kwon (CoRR, 2020)

A Heuristic Proof Procedure for First-Order Logic. - Keehang Kwon (IEICE Trans. Inf. Syst., 2020)

Computability-logic web: an alternative to deep learning. - Keehang Kwon (CoRR, 2021)

What is an Algorithm?: a Modern View. - Keehang Kwon (CoRR, 2021)

Logical Pseudocode: Connecting Algorithms with Proofs. - Keehang Kwon; Hyung-Joon Kwon (CoRR, 2022)

A Heuristic Proof Procedure for Propositional Logic. - Keehang Kwon (CoRR, 2022)

Evolving Recursive Definitions with Applications to Dynamic Programming. - Keehang Kwon (CoRR, 2022)

Removing Qualified Names in Modular Languages. - Keehang Kwon; Dae-Seong Kang (CoRR, 2022)

Implementing Dynamic Programming in Computability Logic Web. - Keehang Kwon (CoRR, 2023)

Choice Disjunctive Queries in Logic Programming. - Keehang Kwon; Dae-Seong Kang (IEICE Trans. Inf. Syst., 2023)