Cs-Lo
수도망 분리 밸브 최적 배치: CLP(FD) 기반 완전 탐색
모델 생성 기반 재구성: ASP로 구현한 효율적 솔루션
이메일 교환에서의 공통 지식과 BCC 효과
다수량자를 이용한 종속 논리
효율적 그라운딩을 위한 상승형 단위 전파
마틴‑로프 확장형 타입 이론을 위한 크립키 의미론
분산 시스템 계약 모니터링을 위한 mDPi 계산법
고차 재작성 시스템을 위한 강한 계산성 기반 정적 의존쌍 방법
정규 매트로이드의 지역 제한된 브랜치 폭에서 1차 논리 속성 결정
논리적 프레임워크에서 위상과 비가환성의 통합
ASP에서 유사·다양한 해 찾기
예측자를 포함한 GSOS 규칙의 공리화
논증 프레임워크 의미 전이를 통한 논리 프로그램 새로운 의미 체계
오메가 자동자와 게임에서 작은 증인 수용 라소와 승리 전략
통신형 ASP의 표현력: 다중 에이전트 협업이 만든 복잡도 상승
X 계산에서 교차·합 타입의 불일치와 그 한계
선호 답안 집합을 위한 보증된 파생과 논증 구조
상호작용과 관찰을 구분하는 범주론적 접근
준메트릭 공간의 특정 초공간에 대한 계산 모델
모든 공식 기반 논리 프로그램은 최소 무한값 모델을 갖는다
CIF 선형화, SOS 규칙을 통한 효율적 구현
멀티티어 웹 언어 타입과 효과 분석 재구성 및 정합성 확보
