pith. sign in

Keehang Kwon

Identifiers

  • name variant Keehang Kwon 0.60 · backfill

Papers (29)

  1. Anonymous Variables in Imperative Languages cs.PL · 2017 · author #1
  2. Extending Functional Languages with High-Level Exception Handling cs.PL · 2017 · author #1
  3. On Answer Substitutions in Logic Programming cs.LO · 2017 · author #1
  4. Local Modules in Imperative Languages cs.PL · 2017 · author #1
  5. Towards a Decidable LogicWeb via Length-Bounded Derivations cs.LO · 2017 · author #1
  6. A Concurrent Model for Imperative Languages with Improved Atomicity cs.PL · 2017 · author #1
  7. For-loops in Logic Programming cs.PL · 2016 · author #1
  8. A Logical Approach to Event Handling in Imperative Languages cs.PL · 2015 · author #1
  9. Incorporating User Interaction into Imperative Languages cs.PL · 2015 · author #1
  10. Logic Programming with Macro Connectives cs.PL · 2015 · author #1
  11. Incorporating Inductions and Game Semantics into Logic Programming cs.LO · 2015 · author #1
  12. Combining Fixed-Point Definitions and Game Semantics in Logic Programming cs.LO · 2015 · author #1
  13. A New Execution Model for the logic of hereditary Harrop formulas cs.LO · 2015 · author #1
  14. Mutually Exclusive Modules in Logic Programming cs.PL · 2015 · author #1
  15. Sequential Operations in LogicWeb cs.PL · 2014 · author #2
  16. Mutually Exclusive Procedures in Imperative Languages cs.PL · 2014 · author #1
  17. Pattern Matching via Choice Existential Quantifications in Imperative Languages cs.PL · 2013 · author #1
  18. A New Statement for Selection and Exception Handling in Imperative Languages cs.PL · 2013 · author #1
  19. Interactive Logic Programming via Choice-Disjunctive Clauses cs.LO · 2013 · author #1
  20. Accomplishable Tasks in Knowledge Representation cs.AI · 2013 · author #1
  21. Bounded Choice Queries for Logic Programming cs.PL · 2013 · author #1
  22. Expressing Algorithms As Concise As Possible via Computability Logic cs.LO · 2013 · author #1
  23. Towards Interactive Object-Oriented Programming cs.PL · 2013 · author #1
  24. Improving Robustness via Disjunctive Statements in Imperative Programming cs.PL · 2012 · author #1
  25. Towards Interactive Logic Programming cs.LO · 2012 · author #1
  26. Mutually Exclusive Rules in LogicWeb cs.LO · 2012 · author #1
  27. A proof Procedure for Testing Membership in Regular Expressions cs.FL · 2010 · author #1
  28. Algorithm as Defining Dynamic Systems cs.DS · 2009 · author #1
  29. Scoping Constructs in Logic Programming: Implementation Problems and their Solution cs.PL · 1998 · author #3

Mentions

  • 1309.1251 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1308.4452 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1307.7505 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1306.2268 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1305.6108 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1305.2004 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1301.6836 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1212.6844 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1211.6535 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1211.4935 #1 · backfill · confidence 0.70 Keehang Kwon
  • 1002.2203 #1 · backfill · confidence 0.70 Keehang Kwon
  • 0911.0397 #1 · backfill · confidence 0.70 Keehang Kwon

Frequent Coauthors