발행물

논문
저서
컨퍼런스

전체 논문

36

1

A Heuristic Proof Procedure for First-Order Logic
권기항
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2020

2

Bounded choice statements for user interaction in imperative programming
강대성, 서정윤, 권기항
IEICE transactions Info, 2016

3

towards interactive object-oriented programming
권기항, 박경환, 박미영
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015

4

Expressing algorithms as concise as possible via computability logic
권기항
IEICE transations on fundamentals, 2014

5

Improving robustness via disjunctive statements in imperative programming
허성우, 박미영, 권기항
IEICE transactions, 2013

6

Forward Reasoning via Sequential Queries in Logic Programming
권기항
Information Technology And Control, 2012

7

Bounded Loops for Prolog
권기항, 민경훈
International Journal of Computer Technology and Applications, 2011

8

Adding a Loop Construct to Prolog
권기항
International Journal of Computer Technology and Applications, 2011

9

Relative Algorithms:Agent-Oriented Declarative Algorithms
권기항, 허성우, 김정수
international journal of the computer, the internet and management, 2011

10

Testing Equivalence of Regular Expressions
하홍표, 권기항
International Journal of Computer Science and Information Security, 2010