Keehang Kwon

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 23

Top Topics

Logic Programming

Exception Handling

Propositional Logic

Top Venues

IEICE Trans. Inf. Syst.

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

Keehang Kwon, Dae-Seong Kang
Choice Disjunctive Queries in Logic Programming. IEICE Trans. Inf. Syst. 106 (3) (2023)
Keehang Kwon
Implementing Dynamic Programming in Computability Logic Web. CoRR (2023)
Keehang Kwon, Hyung-Joon Kwon
Logical Pseudocode: Connecting Algorithms with Proofs. CoRR (2022)
Keehang Kwon
A Heuristic Proof Procedure for Propositional Logic. CoRR (2022)
Keehang Kwon, Dae-Seong Kang
Removing Qualified Names in Modular Languages. CoRR (2022)
Keehang Kwon
Evolving Recursive Definitions with Applications to Dynamic Programming. CoRR (2022)
Keehang Kwon
What is an Algorithm?: a Modern View. CoRR (2021)
Keehang Kwon
Computability-logic web: an alternative to deep learning. CoRR (2021)
Keehang Kwon
Implementing Agent-Based Systems via Computability Logic CL2. CoRR (2020)
Keehang Kwon, Dae-Seong Kang
Agent-Based Proof Design via Lemma Flow Diagram. CoRR (2020)
Keehang Kwon
A Heuristic Proof Procedure for First-Order Logic. IEICE Trans. Inf. Syst. (3) (2020)
Keehang Kwon
Extending and Automating Basic Probability Theory with Propositional Computability Logic. CoRR (2019)
Keehang Kwon
Towards Distributed Logic Programming based on Computability Logic. CoRR (2019)
Keehang Kwon
Extending Functional Languages with High-Level Exception Handling. CoRR (2017)
Keehang Kwon
Anonymous Variables in Imperative Languages. CoRR (2017)
Keehang Kwon, Dae-Seong Kang
Towards a Decidable LogicWeb via Length-Bounded Derivations. CoRR (2017)
Keehang Kwon, Dae-Seong Kang
A Concurrent Model for Imperative Languages with Improved Atomicity. CoRR (2017)
Keehang Kwon
On Answer Substitutions in Logic Programming. CoRR (2017)
Keehang Kwon
Local Modules in Imperative Languages. CoRR (2017)
Keehang Kwon
A Heuristic Proof Procedure for First-Order Logic. CoRR (2017)
Keehang Kwon
For-loops in Logic Programming. CoRR (2016)
Keehang Kwon
Exception Handling in Logic Programming. CoRR (2016)
Keehang Kwon, Jeongyoon Seo, Dae-Seong Kang
Bounded-Choice Statements for User Interaction in Imperative Programming. IEICE Trans. Inf. Syst. (3) (2016)
Keehang Kwon
A Logical Approach to Event Handling in Imperative Languages. CoRR (2015)
Keehang Kwon
Mutually Exclusive Modules in Logic Programming. CoRR (2015)
Keehang Kwon, Kyunghwan Park, Mi-Young Park
Towards Interactive Object-Oriented Programming. IEICE Trans. Inf. Syst. (2) (2015)
Keehang Kwon
Incorporating Inductions and Game Semantics into Logic Programming. CoRR (2015)
Keehang Kwon
Logic Programming with Macro Connective. CoRR (2015)
Keehang Kwon
Combining Logic Programming with Fixed-Point Definitions with Game Semantics. CoRR (2015)
Keehang Kwon
A New Execution Model for the logic of hereditary Harrop formulas. CoRR (2015)
Keehang Kwon
Incorporating User Interaction into Imperative Languages. CoRR (2015)
Keehang Kwon
Expressing Algorithms as Concise as Possible via Computability Logic. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2014)
Keehang Kwon
Mutually Exclusive Procedures in Imperative Languages. CoRR (2014)
Dae-Seong Kang, Keehang Kwon, Zulkarnine Mahmud
Sequential Operations in LogicWeb. CoRR (2014)
Keehang Kwon
Interactive Logic Programming via Choice-Disjunctive Clauses. CoRR (2013)
Keehang Kwon, Jeongyoon Seo
Bounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming. CoRR (2013)
Keehang Kwon, Mi-Young Park
Accomplishable Tasks in Knowledge Representation. CoRR (2013)
Keehang Kwon
Bounded Inputs for Logic Programming CoRR (2013)
Keehang Kwon, Sungwoo Hur, Mi-Young Park
Improving Robustness via Disjunctive Statements in Imperative Programming. IEICE Trans. Inf. Syst. (9) (2013)
Keehang Kwon
A New Statement for Selection and Exception Handling in Imperative Languages. CoRR (2013)
Keehang Kwon
Pattern Matching via Choice Existential Quantifications in Imperative Languages. CoRR (2013)
Keehang Kwon
Expressing Algorithms As Concise As Possible via Computability Logic CoRR (2013)
Keehang Kwon, Kyunghwan Park, Mi-Young Park
Towards Interactive Object-Oriented Programming CoRR (2013)
Keehang Kwon, Mi-Young Park
Towards Interactive Logic Programming CoRR (2012)
Keehang Kwon, Sungwoo Hur, Mi-Young Park
Improving Robustness via Disjunctive Statements in Imperative Programming CoRR (2012)
Keehang Kwon
Mutually Exclusive Queries in Logic Programming CoRR (2012)
Keehang Kwon, Dae-Seong Kang
Mutually Exclusive Rules in LogicWeb CoRR (2012)
Keehang Kwon
Forward Reasoning via Sequential Queries in Logic Programming. Inf. Technol. Control. 41 (4) (2012)
Keehang Kwon, Hong Pyo Ha, Jiseung Kim
A proof Procedure for Testing Membership in Regular Expressions CoRR (2010)
Keehang Kwon, Hong Pyo Ha
Algorithm as Defining Dynamic Systems CoRR (2009)
Keehang Kwon, Dae-Seong Kang, Jinsoo Kim
A Query System for Texts with Macros. IEICE Trans. Inf. Syst. (1) (2008)
Keehang Kwon, Dae-Seong Kang
Extending LogicWeb via Hereditary Harrop Formulas. IEICE Trans. Inf. Syst. (6) (2008)
Keehang Kwon, JaeWoo Kim, Jang-Wu Jo
An Internet Query Language based on Intuitionistic Linear Logic. SERA (2007)
Keehang Kwon
Acessing Objects Locally in Object-Oriented Languages. J. Object Technol. 4 (2) (2005)
Jang-Wu Jo, Keehang Kwon
Experiments on Mutual Dependence between Class Analysis and Exception Analysis. Software Engineering Research and Practice (2005)
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
Scoping Constructs in Logic Programming: Implementation Problems and their Solution CoRR (1998)
Keehang Kwon
A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming. J. Univers. Comput. Sci. 3 (4) (1997)
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. J. Log. Program. 25 (2) (1995)
Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Implementing Polymorphic Typing in a Logic Programming Language. Comput. Lang. 20 (1) (1994)
Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. ELP (1992)