|
| Keyword : game semantics
|
Choice Disjunctive Queries in Logic Programming
Keehang KWON Daeseong KANG | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2023/03/01
Vol. E106-D
No. 3 ;
pp. 333-336
Type of Manuscript:
Special Section LETTER (Special Section on Foundations of Computer Science — Foundations of Computer Science Supporting the Information Society —)
Category:
Keyword:
game semantics, cut, mutual exclusion, | | | Summary | Full Text:PDF | |
|
A Heuristic Proof Procedure for First-Order Logic
Keehang KWON | Publication: IEICE TRANSACTIONS on Information and Systems
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 | |
|
|