Cs-Lo
다항시간을 포착하는 의존 논리의 작은 조각
DL Lite에서 부정 질의 답변을 위한 설명 추론
제한선형 명제 스키마의 결정가능성 연구
의존성 시퀀스로 보는 양자 제거
숲 대수의 꼬임곱과 트리 논리의 새로운 적용
의존 논리의 일차 논리적 결과를 위한 공리계 구축
변수 망각을 통한 지식 추론
생성자를 갖는 람다 계산의 범주론적 모델
관계 의미론 기반 프로그램 추론과 교육용 도구
단어 위 논리 조각들의 격자 구조
답변 집합 프로그램의 사이클 선과 악 그리고 홀수
고차원 모달 뮤계산 모델 검증
상호작용 그래프와 곱연산 논리
불확실성 속 논리적 의무: 결함적·확률적 추론의 규범적 고찰
모델 검증을 위한 마코프 의사결정 과정 학습
ALC 포함 관계 복잡도 일반화 연구
존재적 구슬 게임과 k일관성 하한 연구
자동 추상 변환기를 이용한 불변식 생성기
XPath을 포괄하는 데이터 자동화 확장
PSPACE를 위한 경량 선형 논리 기반 타입 시스템
동시 프로세스를 위한 약한 마코프 동형합동과 정확한 CTMC 집계
전체 역할 부정과 동일성 포함 설명 논리 결정용 테이블라우 접근법
