Cs-Lo
DeLP 지식 변화: 논증 이론 변화를 통한 최소 수정 전략
PTaCL: 속성 기반 접근 제어를 위한 통합 정책 언어
정규 함수와 비용 레지스터 자동화: 일반화된 최소 비용 문제
비국소성·맥락성의 코호몰로지적 접근
유클리드 공간에서 연결성 논리의 복잡도 탐구
확률 논리 프로그래밍의 잘 정의성 및 효율적 추론
비볼록 근사로 타임드 오토마타 효율 분석
비결정성으로 보완을 이길 수 있을까
코레오그래피를 위한 논리 체계
ACL2 자동 미분기 구현
무한 상태 시스템 검증을 위한 일반화 전략
숲 논리 프로그램과 f하이브리드 지식베이스의 효율적 추론
간단한 하이퍼바이저 검증을 향하여
타이머 자동자 도달성 문제를 위한 최적 추상화 기법
위상 의미론과 파라콘시스턴스
하이퍼게임 코니웨이 게임의 대수와 코알제브라적 확장
규범 설계의 자동화: 귀납 논리 학습을 통한 반복적 프레임워크 개선
컴퓨팅 가능한 단순 게임의 나카무라 수 연구
타입드 추상 구문을 위한 확장 초기성
논리와 제어를 통한 프로그램 구축과 검증
ACL2 최신 기능 총정리: 3.6‑4.3 버전의 핵심 개선점
가중 카운팅을 위한 비순환 결합 질의 복잡도 분석
