Cs-Ai
삼각형 제한과 교차 자유 볼록성 이산 최적화의 새로운 트랙터블 클래스
지능형 전방향 트레드밀 재활을 위한 퍼지 제어 설계
메타휴리스틱 알고리즘을 활용한 이차 할당 문제 비교 연구
일차 논리 MDP를 위한 휴리스틱 탐색 알고리즘
모델 동등성을 활용한 인터랙티브 동적 인플루언스 다이어그램 해결
그래프 모델을 위한 AND OR 다중값 결정도
시선 인식의 한계와 가능성 인간·AI 눈맞춤 연구
마르코프 의사결정 과정에서 비결정론적 정책
법규 검증을 위한 규칙 기반 FSTP 사실 분석
변수 망각을 통한 지식 추론
답변 집합 프로그램의 사이클 선과 악 그리고 홀수
이산·연속 상태 마코프 의사결정 과정의 기호적 동적 프로그래밍
GPU 병렬화를 활용한 정점 트리 메시지 전파 가속화
최대·최소 게임 e‑Valuate: 표현식 최적화와 그래프·타일 변형
응용 온톨로지의 정량적 평가 방안
불완전 기억 게임에서 CFR의 무후회 학습
손글씨 영어 알파벳 인식을 위한 신경망
불확실성 속 논리적 의무: 결함적·확률적 추론의 규범적 고찰
확률 괄호 표기와 마코프 연쇄 투사기
법률 전문가와 지식 엔지니어를 잇는 반형식 지식표현
인과 베이지안 네트워크의 다항식 제약조건
베이지안 네트워크의 로그시간 업데이트와 쿼리
