Henry Kautz

MaRDI QIDQ1182165zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Location-based reasoning about complex multi-agent behavior The Journal of Artificial Intelligence Research (JAIR)	2012-05-16	Paper
Hierarchical conditional random fields for GPS-based activity recognition Springer Tracts in Advanced Robotics	2010-06-02	Paper
Ten challenges \textit{redux}: recent progress in propositional reasoning and search Lecture Notes in Computer Science	2010-03-02	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2009-07-24	Paper
Learning and inferring transportation routines Artificial Intelligence	2009-07-09	Paper
Logic Programming and Nonmonotonic Reasoning Lecture Notes in Computer Science	2007-11-07	Paper
The state of SAT Discrete Applied Mathematics	2007-08-23	Paper
scientific article; zbMATH DE number 2243370 (Why is no real title available?) (available as arXiv preprint)	2006-01-04	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper
Horn approximations of empirical data Artificial Intelligence	2003-02-04	Paper
Heavy-tailed phenomena and satisfiability and constraint satisfaction problems	2001-10-21	Paper
Balance and filtering in structured satisfiable problems. (Preliminary report)	2001-09-24	Paper
Auto-Walksat: A self-tuning implementation of Walksat	2001-09-24	Paper
A Bayesian approach to tackling hard computational problems. (Preliminary report)	2001-09-24	Paper
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems Journal of Automated Reasoning	2001-09-03	Paper
Encoding domain and control knowledge for propositional planning	2001-08-30	Paper
scientific article; zbMATH DE number 1114005 (Why is no real title available?)	1998-03-02	Paper
Knowledge compilation and theory approximation Journal of the ACM	1998-01-21	Paper
scientific article; zbMATH DE number 956863 (Why is no real title available?)	1997-06-09	Paper
scientific article; zbMATH DE number 52880 (Why is no real title available?)	1992-09-18	Paper
Hard problems for simple default logics Artificial Intelligence	1992-06-28	Paper
Model-preference default theories Artificial Intelligence	1990-01-01	Paper
scientific article; zbMATH DE number 4166939 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4176498 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4106303 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Henry Kautz