Keehang Kwon

According to our database, Keehang Kwon authored at least 56 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Choice Disjunctive Queries in Logic Programming.

Keehang Kwon, Dae-Seong Kang

IEICE Trans. Inf. Syst., March, 2023

Implementing Dynamic Programming in Computability Logic Web.

Keehang Kwon

CoRR, 2023

2022

Removing Qualified Names in Modular Languages.

Keehang Kwon, Dae-Seong Kang

CoRR, 2022

Evolving Recursive Definitions with Applications to Dynamic Programming.

Keehang Kwon

CoRR, 2022

A Heuristic Proof Procedure for Propositional Logic.

Keehang Kwon

CoRR, 2022

Logical Pseudocode: Connecting Algorithms with Proofs.

Keehang Kwon, Hyung-Joon Kwon

CoRR, 2022

2021

What is an Algorithm?: a Modern View.

Keehang Kwon

CoRR, 2021

Computability-logic web: an alternative to deep learning.

Keehang Kwon

CoRR, 2021

2020

A Heuristic Proof Procedure for First-Order Logic.

Keehang Kwon

IEICE Trans. Inf. Syst., 2020

Implementing Agent-Based Systems via Computability Logic CL2.

Keehang Kwon

CoRR, 2020

Agent-Based Proof Design via Lemma Flow Diagram.

Keehang Kwon, Dae-Seong Kang

CoRR, 2020

2019

Extending and Automating Basic Probability Theory with Propositional Computability Logic.

Keehang Kwon

CoRR, 2019

Towards Distributed Logic Programming based on Computability Logic.

Keehang Kwon

CoRR, 2019

2017

Anonymous Variables in Imperative Languages.

Keehang Kwon

CoRR, 2017

Extending Functional Languages with High-Level Exception Handling.

Keehang Kwon

CoRR, 2017

On Answer Substitutions in Logic Programming.

Keehang Kwon

CoRR, 2017

Towards a Decidable LogicWeb via Length-Bounded Derivations.

Keehang Kwon, Dae-Seong Kang

CoRR, 2017

A Concurrent Model for Imperative Languages with Improved Atomicity.

Keehang Kwon, Dae-Seong Kang

CoRR, 2017

Local Modules in Imperative Languages.

Keehang Kwon

CoRR, 2017

2016

Bounded-Choice Statements for User Interaction in Imperative Programming.

Keehang Kwon, Jeongyoon Seo, Dae-Seong Kang

IEICE Trans. Inf. Syst., 2016

Exception Handling in Logic Programming.

Keehang Kwon

CoRR, 2016

For-loops in Logic Programming.

Keehang Kwon

CoRR, 2016

2015

Towards Interactive Object-Oriented Programming.

Keehang Kwon, Kyunghwan Park, Mi-Young Park

IEICE Trans. Inf. Syst., 2015

A Logical Approach to Event Handling in Imperative Languages.

Keehang Kwon

CoRR, 2015

Incorporating User Interaction into Imperative Languages.

Keehang Kwon

CoRR, 2015

Logic Programming with Macro Connective.

Keehang Kwon

CoRR, 2015

Incorporating Inductions and Game Semantics into Logic Programming.

Keehang Kwon

CoRR, 2015

Combining Logic Programming with Fixed-Point Definitions with Game Semantics.

Keehang Kwon

CoRR, 2015

A New Execution Model for the logic of hereditary Harrop formulas.

Keehang Kwon

CoRR, 2015

Mutually Exclusive Modules in Logic Programming.

Keehang Kwon

CoRR, 2015

2014

Expressing Algorithms as Concise as Possible via Computability Logic.

Keehang Kwon

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

Mutually Exclusive Procedures in Imperative Languages.

Keehang Kwon

CoRR, 2014

Sequential Operations in LogicWeb.

Dae-Seong Kang, Keehang Kwon, Zulkarnine Mahmud

CoRR, 2014

2013

Improving Robustness via Disjunctive Statements in Imperative Programming.

Keehang Kwon, Sungwoo Hur, Mi-Young Park

IEICE Trans. Inf. Syst., 2013

Bounded Inputs for Logic Programming

Keehang Kwon

CoRR, 2013

Bounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming.

Keehang Kwon, Jeongyoon Seo

CoRR, 2013

Accomplishable Tasks in Knowledge Representation.

Keehang Kwon, Mi-Young Park

CoRR, 2013

Pattern Matching via Choice Existential Quantifications in Imperative Languages.

Keehang Kwon

CoRR, 2013

A New Statement for Selection and Exception Handling in Imperative Languages.

Keehang Kwon

CoRR, 2013

Interactive Logic Programming via Choice-Disjunctive Clauses.

Keehang Kwon

CoRR, 2013

2012

Forward Reasoning via Sequential Queries in Logic Programming.

Keehang Kwon

Inf. Technol. Control., 2012

Mutually Exclusive Queries in Logic Programming

Keehang Kwon

CoRR, 2012

Towards Interactive Logic Programming

Keehang Kwon, Mi-Young Park

CoRR, 2012

Mutually Exclusive Rules in LogicWeb

Keehang Kwon, Dae-Seong Kang

CoRR, 2012

2010

A proof Procedure for Testing Membership in Regular Expressions

Keehang Kwon, Hong Pyo Ha, Jiseung Kim

CoRR, 2010

2009

Algorithm as Defining Dynamic Systems

Keehang Kwon, Hong Pyo Ha

CoRR, 2009

2008

A Query System for Texts with Macros.

Keehang Kwon, Dae-Seong Kang, Jinsoo Kim

IEICE Trans. Inf. Syst., 2008

Extending LogicWeb via Hereditary Harrop Formulas.

Keehang Kwon, Dae-Seong Kang

IEICE Trans. Inf. Syst., 2008

2007

An Internet Query Language based on Intuitionistic Linear Logic.

Keehang Kwon, JaeWoo Kim, Jang-Wu Jo

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

2005

Acessing Objects Locally in Object-Oriented Languages.

Keehang Kwon

J. Object Technol., 2005

Experiments on Mutual Dependence between Class Analysis and Exception Analysis.

Jang-Wu Jo, Keehang Kwon

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

1998

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

CoRR, 1998

1997

A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming.

Keehang Kwon

J. Univers. Comput. Sci., 1997

1995

Scoping Constructs in Logic Programming: Implementation Problems and their Solutions.

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

J. Log. Program., 1995

1994

Implementing Polymorphic Typing in a Logic Programming Language.

Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson

Comput. Lang., 1994

1992

Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.

Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992