Cs-Lo
λ계산과 조건부 재작성의 결합에서 수렴성 확보 방안
부분 직접성 포스트 임베딩 문제의 결정 가능성 연구
정보 흐름 프레임워크의 새로운 모듈형 아키텍처
LoCo: 구성 문제를 위한 새로운 논리 체계
스티어링 조각의 부작용 정밀 분석
구조적 초점화: 직관주의 논리의 집중된 시퀀스 계산
정보 흐름 프레임워크 기반 범주 이론 온톨로지 KIF 형식화
LTL 테이블라우에서 충돌을 활용한 깊이 우선 탐색
시각 자동자를 이용한 시각적 전자 계약 의미론
채널을 정보 운반체로 보는 단순 비간섭 타입 시스템
변증법 논리의 표준 측면
무한 문자열 자동화에서 확률적 선택의 힘
뼈 질환 진단을 위한 다중 검증 모델링
수도망 분리 밸브 최적 배치: CLP(FD) 기반 완전 탐색
모델 생성 기반 재구성: ASP로 구현한 효율적 솔루션
이메일 교환에서의 공통 지식과 BCC 효과
다수량자를 이용한 종속 논리
효율적 그라운딩을 위한 상승형 단위 전파
마틴‑로프 확장형 타입 이론을 위한 크립키 의미론
분산 시스템 계약 모니터링을 위한 mDPi 계산법
고차 재작성 시스템을 위한 강한 계산성 기반 정적 의존쌍 방법
정규 매트로이드의 지역 제한된 브랜치 폭에서 1차 논리 속성 결정
