Henry Kautz

Available identifiers

zbMath Open kautz.henry-aDBLPk/HenryAKautzWikidataQ19879460 ScholiaQ19879460MaRDI QIDQ1182165

List of research outcomes

Publication	Date of Publication	Type
Location-based reasoning about complex multi-agent behavior	2012-05-16	Paper
Hierarchical conditional random fields for GPS-based activity recognition	2010-06-02	Paper
Ten challenges \textit{redux}: recent progress in propositional reasoning and search	2010-03-02	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Learning and inferring transportation routines	2009-07-09	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
The state of SAT	2007-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q5715680	2006-01-04	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Horn approximations of empirical data	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	2001-09-03	Paper
Encoding domain and control knowledge for propositional planning	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4375773	1998-03-02	Paper
Knowledge compilation and theory approximation	1998-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5687271	1997-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4003160	1992-09-18	Paper
Hard problems for simple default logics	1992-06-28	Paper
Model-preference default theories	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493327	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3200589	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830558	1989-01-01	Paper

Research outcomes over time

This page was built for person: Henry Kautz