Keehang Kwon - RankMe

60 papers C 1Journal 57Unranked 2

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