154 citations
- Czech Academy of Sciences, Institute of MathematicsCZ2 papers
- Dong A University2 papers
- Florida State UniversityUS2 papers
- Kyungsung UniversityKR2 papers
- University of TorontoCA2 papers
- Czech Academy of SciencesCZ1 paper
- Environmental and Occupational Health Sciences InstituteUS1 paper
- Institut de Mathématiques de ToulonFR1 paper
- Kyungil UniversityKR1 paper
- Kyungpook National UniversityKR1 paper
- National Institute for Mathematical SciencesKR1 paper
- Rutgers, The State University of New JerseyUS1 paper
Showing 2015Show all
3 papers · 1 filter
cs.PL2015
A Logical Approach to Event Handling in Imperative Languages
Keehang Kwon
While event handling is a key element in modern interactive programming, it is unfortunate that its theoretical foundation is rather weak. To solve this problem, we propose to adop…
cs.LO2015
Incorporating Inductions and Game Semantics into Logic Programming
Keehang Kwon
Inductions and game semantics are two useful extensions to traditional logic programming. To be specific, inductions can capture a wider class of provable formulas in logic program…
cs.LO2015
A New Execution Model for the logic of hereditary Harrop formulas
Keehang Kwon
The class of first-order Hereditary Harrop formulas () is a well-established extension of first-order Horn clauses. Its operational semantics is based on intuitionistic prova…