Henry A. Kautz

Available identifiers

zbMath Open kautz.henry-aWikidataQ19879460 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
Principles and Practice of Constraint Programming – CP 2003	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
https://portal.mardi4nfdi.de/entity/Q2749853	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2741510	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2741537	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2741540	2001-09-24	Paper
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems	2001-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2734936	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/Q3200589	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493327	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830558	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Henry A. Kautz