Keehang Kwon | DeepAI

DeepAI AI Chat

Featured Co-authors

Daeseong Kang
2 publications
Mi-Young Park
1 publication
Hyung Joon Kwon
1 publication

∙ 04/04/2023

Implementing Dynamic Programming in Computability Logic Web

We present a novel definition of an algorithm and its corresponding algo...

0 Keehang Kwon, et al. ∙

∙ 10/07/2022

Removing Qualified Names in Modular Languages

Although the notion of qualified names is popular in module systems, it ...

0 Keehang Kwon, et al. ∙

∙ 07/25/2022

Evolving Recursive Definitions with Applications to Dynamic Programming

Inspired by computability logic<cit.>, we refine recursive function defi...

0 Keehang Kwon, et al. ∙

∙ 02/22/2022

A Heuristic Proof Procedure for Propositional Logic

Theorem proving is one of the oldest applications which require heuristi...

0 Keehang Kwon, et al. ∙

∙ 01/29/2022

Logical Pseudocode: Connecting Algorithms with Proofs

Proofs (sequent calculus, natural deduction) and imperative algorithms (...

0 Keehang Kwon, et al. ∙

∙ 08/18/2021

What is an Algorithm?: a Modern View

Although algorithm is one of the central subjects, there have been littl...

0 Keehang Kwon, et al. ∙

∙ 10/18/2020

Implementing Agent-Based Systems via Computability Logic CL2

Computability logic(CoL) is a powerful computational model. In this pape...

0 Keehang Kwon, et al. ∙

∙ 02/03/2020

Agent-Based Proof Design via Lemma Flow Diagram

We discuss an agent-based approach to proof design and implementation, w...

0 Keehang Kwon, et al. ∙

∙ 09/16/2019

Towards Distributed Logic Programming based on Computability Logic

Computability logic (CoL) is a powerful computational model which views...

0 Keehang Kwon, et al. ∙

∙ 09/16/2019

Extending and Automating Basic Probability Theory with Propositional Computability Logic

Classical probability theory is formulated using sets. In this paper, we...

0 Keehang Kwon, et al. ∙

∙ 12/15/2017

A Heuristic Proof Procedure for First-Order Logic

Inspired by the efficient proof procedures discussed in Computability l...

0 Keehang Kwon, et al. ∙

∙ 09/24/2017

Anonymous Variables in Imperative Languages

In this paper, we bring anonymous variables into imperative languages. A...

0 Keehang Kwon, et al. ∙

∙ 09/14/2017

Extending Functional Languages with High-Level Exception Handling

We extend functional languages with high-level exception handling. To be...

0 Keehang Kwon, et al. ∙

∙ 06/07/2013

Accomplishable Tasks in Knowledge Representation

Knowledge Representation (KR) is traditionally based on the logic of fac...

0 Keehang Kwon, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world