Cs-Lo
정보 흐름 프레임워크 기반 범주 이론 온톨로지 KIF 형식화
LTL 테이블라우에서 충돌을 활용한 깊이 우선 탐색
시각 자동자를 이용한 시각적 전자 계약 의미론
채널을 정보 운반체로 보는 단순 비간섭 타입 시스템
변증법 논리의 표준 측면
무한 문자열 자동화에서 확률적 선택의 힘
뼈 질환 진단을 위한 다중 검증 모델링
수도망 분리 밸브 최적 배치: CLP(FD) 기반 완전 탐색
모델 생성 기반 재구성: ASP로 구현한 효율적 솔루션
이메일 교환에서의 공통 지식과 BCC 효과
다수량자를 이용한 종속 논리
효율적 그라운딩을 위한 상승형 단위 전파
마틴‑로프 확장형 타입 이론을 위한 크립키 의미론
분산 시스템 계약 모니터링을 위한 mDPi 계산법
고차 재작성 시스템을 위한 강한 계산성 기반 정적 의존쌍 방법
정규 매트로이드의 지역 제한된 브랜치 폭에서 1차 논리 속성 결정
논리적 프레임워크에서 위상과 비가환성의 통합
ASP에서 유사·다양한 해 찾기
예측자를 포함한 GSOS 규칙의 공리화
논증 프레임워크 의미 전이를 통한 논리 프로그램 새로운 의미 체계
오메가 자동자와 게임에서 작은 증인 수용 라소와 승리 전략
통신형 ASP의 표현력: 다중 에이전트 협업이 만든 복잡도 상승
