|
| Keehang KWON
|
A Heuristic Proof Procedure for First-Order Logic
Keehang KWON | Publication:
Publication Date: 2020/03/01
Vol. E103-D
No. 3
pp. 549-552
Type of Manuscript:
Special Section LETTER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —)
Category:
Keyword:
proof procedures, heuristics, game semantics, classical logic, | | | Summary | Full Text:PDF | |
| |
|
| |
|
|
Expressing Algorithms as Concise as Possible via Computability Logic
Keehang KWON | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/06/01
Vol. E97-A
No. 6
pp. 1385-1387
Type of Manuscript:
Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category:
Keyword:
tasks, algorithm, agents, computability logic, | | | Summary | Full Text:PDF | |
| |
|
|
Extending LogicWeb via Hereditary Harrop Formulas
Keehang KWON Dae-Seong KANG | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/06/01
Vol. E91-D
No. 6
pp. 1827-1829
Type of Manuscript:
LETTER
Category: Fundamentals of Software and Theory of Programs
Keyword:
prolog, semantic Web, interface, | | | Summary | Full Text:PDF | |
| |
|
|
|
