Cs-Lo
상호작용 그래프와 곱연산 논리
불확실성 속 논리적 의무: 결함적·확률적 추론의 규범적 고찰
모델 검증을 위한 마코프 의사결정 과정 학습
ALC 포함 관계 복잡도 일반화 연구
존재적 구슬 게임과 k일관성 하한 연구
자동 추상 변환기를 이용한 불변식 생성기
XPath을 포괄하는 데이터 자동화 확장
PSPACE를 위한 경량 선형 논리 기반 타입 시스템
동시 프로세스를 위한 약한 마코프 동형합동과 정확한 CTMC 집계
전체 역할 부정과 동일성 포함 설명 논리 결정용 테이블라우 접근법
격자 기반 최소 고정점 논리
플라이스펙 자동 증명과 학습 보조 시스템
확률 푸시다운 자동기의 동등성 판정
반선형 자동기의 최소화와 비표준 분할 정제의 한계
넥서스 권한 논리 최신 결과
양자 프로토콜 자동 검증을 위한 MCMAS 활용
대화형 논리 프로그래밍을 향하여
귀납형 정제의 일반화
Event B 모델을 위한 증명 힌트 활용 방안
N M 전압 스위칭 제어 시스템 설계 및 검증
선형 순서 기반 두 단계 테이블루 계산법: 듐멧 논리의 종료와 부분식 성질
경로 민감 정적 분석기 PAGAI
