책 이미지
eBook 미리보기
책 정보
· 제목 : Constraint Handling Rules: Current Research Topics (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 알고리즘
· ISBN : 9783540922421
· 쪽수 : 245쪽
· 출판일 : 2008-12-18
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 알고리즘
· ISBN : 9783540922421
· 쪽수 : 245쪽
· 출판일 : 2008-12-18
목차
Welcome to Constraint Handling Rules.- A Flexible Search Framework for CHR.- Adaptive CHR Meets CHR???.- Constructing Rule-Based Solvers for Intentionally-Defined Constraints.- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.- A Compositional Semantics for CHR with Propagation Rules.- CHR for Imperative Host Languages.- Guard Reasoning in the Refined Operational Semantics of CHR.
