책 이미지
eBook 미리보기
책 정보
· 제목 : Generating Plans from Proofs (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 정보이론
· ISBN : 9783031007286
· 쪽수 : 185쪽
· 출판일 : 2016-03-15
· 분류 : 외국도서 > 컴퓨터 > 정보이론
· ISBN : 9783031007286
· 쪽수 : 185쪽
· 출판일 : 2016-03-15
목차
Preface.- Acknowledgments.- Introduction.- Vocabulary-based Target Restrictions.- Access Methods and Integrity Constraints.- Reformulation Algorithms for TGDs.- Low-cost Plans Via Proof Search.- Conclusion.- Bibliography.- Authors' Biographies.- Index.
