Henry Kautz

Identifiers

Open LibraryOL3815056A

Top Subjects

Problem solving (1)
Planning (1)
Literary Criticism (1)
Reasoning (1)
Computers / Artificial Intelligence (1)
Artificial Intelligence (1)
Computers - General Information (1)

Books by Henry Kautz

Total count: 4

Reasoning About Plans (Morgan Kaufmann Series in Representation and Reasoning)1 edition

Morgan Kaufmann1991-07-01
Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Morgan & Claypool Publishers2007-08-07
Human Behavior ModelingPapers from the AAAI Spring Symposium

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

AAAI Press2010-01-01