BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Henry Kautz

5 cilt bulundu.

Cilt sonuçları

Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Henry Kautz · Morgan & Claypool Publishers

Sayfa sayısı yok · 2007

Kategori yok

Reasoning about plans

Reasoning about plans

James Allen, Henry Kautz, Richard Pelavin, Josh Tenenberg · Elsevier Science & Technology Books

300 sayfa · 1991

Artificial intelligence / Reasoning / Problem solving / Planning / Intelligence artificielle

Artificial intelligenceA first-order dynamic logic for planningHenry A. Kautz

A first-order dynamic logic for planning

Henry A. Kautz · Computer Systems Research Group, University of Toronto

113 sayfa · 1982

Electronic data processing / Artificial intelligence

CiltHuman Behavior ModelingTanzeem Choudhury, Ashish Kapoor, Henry Kautz

Human Behavior Modeling

Tanzeem Choudhury, Ashish Kapoor, Henry Kautz · AAAI Press

106 sayfa · 2009

Kategori yok

ScienceProceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10)Ronen Brafman, Hector Geffner, Joerg Hoffman, Henry Kautz

Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10)

Ronen Brafman, Hector Geffner, Joerg Hoffman, Henry Kautz · AAAI Press

292 sayfa · 2010

Science