![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Henry A. Kautz
Person information
- affiliation: University of Rochester, New York, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j31]Henry A. Kautz:
The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture. AI Mag. 43(1): 93-104 (2022) - 2021
- [c128]Samuel Lerman, Charles Venuto, Henry A. Kautz, Chenliang Xu:
Explaining Local, Global, And Higher-Order Interactions In Deep Learning. ICCV 2021: 1204-1213 - [c127]Anis Zaman, Boyu Zhang, Vincent Silenzio, Henry A. Kautz, Ehsan Hoque:
Individual-level Anxiety Detection and Prediction from Longitudinal YouTube and Google Search Engagement Logs. ICWSM Workshops 2021 - [p3]Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2021: 213-232 - 2020
- [c126]Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz:
Inferring Nighttime Satellite Imagery from Human Mobility. AAAI 2020: 394-402 - [c125]Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz:
Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. ACL (demo) 2020: 256-262 - [c124]Nabil Hossain, Minh Tran, Henry A. Kautz:
A Framework for Political Portmanteau Decomposition. ICWSM 2020: 944-948 - [c123]Anis Zaman, Vincent Silenzio, Henry A. Kautz:
MIND: A Tool for Mental Health Screening and Support of Therapy to Improve Clinical and Research Outcomes. PervasiveHealth 2020: 423-426 - [c122]Nabil Hossain, John Krumm, Michael Gamon, Henry A. Kautz:
SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. SemEval@COLING 2020: 746-758 - [i20]Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz:
Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. CoRR abs/2002.02031 (2020) - [i19]Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz:
Inferring Nighttime Satellite Imagery from Human Mobility. CoRR abs/2003.07691 (2020) - [i18]Samuel Lerman, Chenliang Xu, Charles Venuto, Henry A. Kautz:
Explaining Local, Global, And Higher-Order Interactions In Deep Learning. CoRR abs/2006.08601 (2020) - [i17]Anis Zaman, Boyu Zhang, Vincent Silenzio, Ehsan Hoque, Henry A. Kautz:
Estimating Anxiety based on individual level engagements on YouTube & Google Search Engine. CoRR abs/2007.00613 (2020) - [i16]Nabil Hossain, John Krumm, Michael Gamon, Henry A. Kautz:
SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. CoRR abs/2008.00304 (2020) - [i15]Anis Zaman, Boyu Zhang, Ehsan Hoque, Vincent Silenzio, Henry A. Kautz:
The Relationship between Deteriorating Mental Health Conditions and Longitudinal Behavioral Changes in Google and YouTube Usages among College Students in the United States during COVID-19: Observational Study. CoRR abs/2009.09076 (2020) - [i14]Boyu Zhang, Anis Zaman, Rupam Acharyya, Ehsan Hoque, Vincent Silenzio, Henry A. Kautz:
Detecting Individuals with Depressive Disorder fromPersonal Google Search and YouTube History Logs. CoRR abs/2010.15670 (2020)
2010 – 2019
- 2019
- [c121]Jesse Wang, Henry A. Kautz:
CupQ: A New Clinical Literature Search Engine. KDIR 2019: 225-232 - [c120]Anis Zaman, Rupam Acharyya, Henry A. Kautz
, Vincent Silenzio:
Detecting Low Self-Esteem in Youths from Web Search Data. WWW 2019: 2270-2280 - [i13]Jesse Wang, Henry A. Kautz:
CupQ: A New Clinical Literature Search Engine. CoRR abs/1907.06697 (2019) - 2018
- [c119]Nabil Hossain, Thanh Thuy Trang Tran, Henry A. Kautz:
Discovering Political Slang in Readers' Comments. ICWSM 2018: 612-615 - [c118]Ann Marie White, Linxiao Bai, Christopher Homan, Melanie Funchess, Catherine Cerulli, Amen Ptah, Deepak Pandita, Henry A. Kautz:
Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?: Comparing 911 Calls Where Users Reside or Use Social Media. ICWSM 2018: 700-703 - [i12]Samuel J. Weisenthal, Caroline M. Quill, Samir A. Farooq, Henry A. Kautz, Martin S. Zand:
Predicting Acute Kidney Injury at Hospital Re-entry Using High-dimensional Electronic Health Record Data. CoRR abs/1807.09865 (2018) - [i11]Rijul Magu, Nabil Hossain, Henry A. Kautz:
Analyzing Uncivil Speech Provocation and Implicit Topics in Online Political News. CoRR abs/1807.10882 (2018) - 2017
- [j30]Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio:
Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AI Mag. 38(1): 37-48 (2017) - [j29]Tianran Hu, Eric Bigelow, Jiebo Luo
, Henry A. Kautz:
Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. IEEE Trans. Big Data 3(1): 55-66 (2017) - [c117]Timothy Kopp, Parag Singla, Henry A. Kautz:
Conditional Term Equivalent Symmetry Breaking for SAT. AAAI Workshops 2017 - [c116]Nabil Hossain, John Krumm, Lucy Vanderwende, Eric Horvitz, Henry A. Kautz:
Filling the Blanks (hint: plural noun) for Mad Libs Humor. EMNLP 2017: 638-647 - [c115]Anis Zaman, Nabil Hossain, Henry A. Kautz:
Twitter911: A Cautionary Tale. ICWSM 2017: 712-715 - [i10]Tianran Hu, Eric Bigelow, Jiebo Luo, Henry A. Kautz:
Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. CoRR abs/1701.06236 (2017) - 2016
- [j28]Henry A. Kautz
, Parag Singla:
Technical Perspective: Combining logic and probability. Commun. ACM 59(7): 106 (2016) - [j27]Tianran Hu, Jiebo Luo
, Henry A. Kautz
, Adam Sadilek:
Home location inference from sparse and noisy data: models and applications. Frontiers Inf. Technol. Electron. Eng. 17(5): 389-402 (2016) - [c114]Timothy Kopp, Parag Singla, Henry A. Kautz:
Toward Caching Symmetrical Subtheories for Weighted Model Counting. AAAI Workshop: Beyond NP 2016 - [c113]Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio:
Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AAAI 2016: 3982-3990 - [c112]Tong Liu, Christopher Homan, Cecilia Ovesdotter Alm, Megan C. Lytle, Ann Marie White, Henry A. Kautz:
Understanding Discourse on Work and Job-Related Well-Being in Public Social Media. ACL (1) 2016 - [c111]Iftekhar Naim, Abdullah Al Mamun, Young Chol Song, Jiebo Luo
, Henry A. Kautz
, Daniel Gildea:
Aligning movies with scripts by exploiting temporal ordering constraints. ICPR 2016: 1786-1791 - [c110]Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry A. Kautz:
Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting Patterns in Communities. ICWSM 2016: 587-590 - [c109]Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry A. Kautz:
Unsupervised Alignment of Actions in Video with Text Descriptions. IJCAI 2016: 2025-2031 - [i9]Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry A. Kautz:
Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities. CoRR abs/1603.03181 (2016) - 2015
- [c108]Dawei Zhou, Jiebo Luo, Vincent M. B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry A. Kautz:
Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. AAAI 2015: 1401-1409 - [c107]Ran Pang, Agustin Baretto, Henry A. Kautz
, Jiebo Luo
:
Monitoring adolescent alcohol use via multimodal analysis in social multimedia. IEEE BigData 2015: 1509-1518 - [c106]Solomon O. Abiola, Eric Portman, Henry A. Kautz
, Earl Ray Dorsey:
Node view: a mHealth real-time infectious disease interface disease interface - 2014 ebola outbreak case study. UbiComp/ISWC Adjunct 2015: 297-300 - [c105]Tianran Hu, Jiebo Luo
, Henry A. Kautz
, Adam Sadilek:
Home Location Inference from Sparse and Noisy Data: Models and Applications. ICDM Workshops 2015: 1382-1387 - [c104]Danning Zheng, Tianran Hu, Quanzeng You, Henry A. Kautz, Jiebo Luo:
Towards Lifestyle Understanding: Predicting Home and Vacation Locations from User's Online Photo Collections. ICWSM 2015: 553-561 - [c103]Iftekhar Naim, Young Chol Song, Qiguang Liu, Liang Huang, Henry A. Kautz, Jiebo Luo
, Daniel Gildea:
Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments. HLT-NAACL 2015: 164-174 - [c102]Timothy Kopp, Parag Singla, Henry A. Kautz:
Lifted Symmetry Detection and Breaking for MAP Inference. NIPS 2015: 1315-1323 - [i8]Tong Liu, Christopher M. Homan, Cecilia Ovesdotter Alm, Ann Marie White, Megan C. Lytle-Flint, Henry A. Kautz:
Job-related discourse on social media. CoRR abs/1511.04805 (2015) - 2014
- [c101]Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry A. Kautz, Jiebo Luo, Daniel Gildea:
Unsupervised Alignment of Natural Language Instructions with Video Segments. AAAI 2014: 1558-1564 - [c100]Danning Zheng, Tianran Hu, Quanzeng You
, Henry A. Kautz
, Jiebo Luo
:
Inferring Home Location from User's Photo Collections based on Visual Content and Mobility Patterns. GeoMM 2014: 21-26 - [i7]Adam Sadilek, Henry A. Kautz:
Location-Based Reasoning about Complex Multi-Agent Behavior. CoRR abs/1401.4593 (2014) - 2013
- [c99]Tivadar Papai, Henry A. Kautz:
Modal Markov Logic for Multiple Agents. StarAI@AAAI 2013 - [c98]Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo:
A General Framework for Recognizing Complex Events in Markov Logic. StarAI@AAAI 2013 - [c97]Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo:
A General Framework for Recognizing Complex Events in Markov Logic. AAAI Workshop: Plan, Activity, and Intent Recognition 2013 - [c96]Walter S. Lasecki, Young Chol Song, Henry A. Kautz
, Jeffrey P. Bigham:
Real-time crowd labeling for deployable activity recognition. CSCW 2013: 1203-1212 - [c95]Adam Sadilek, Sean Brennan, Henry A. Kautz, Vincent Silenzio:
nEmesis: Which Restaurants Should You Avoid Today? HCOMP 2013: 138-146 - [c94]Young Chol Song, Henry A. Kautz
, James F. Allen, Mary D. Swift, Yuncheng Li, Jiebo Luo
, Ce Zhang:
A Markov logic framework for recognizing complex events from multimodal data. ICMI 2013: 141-148 - [c93]Sean Brennan, Adam Sadilek, Henry A. Kautz:
Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. IJCAI 2013: 2783-2789 - [c92]Adam Sadilek, Henry A. Kautz:
Modeling The Interplay of People's Location, Interactions, and Social Ties. IJCAI 2013: 3067-3071 - [c91]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. TARK 2013 - [c90]Adam Sadilek, Henry A. Kautz
:
Modeling the impact of lifestyle on health at scale. WSDM 2013: 637-646 - [i6]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems. CoRR abs/1301.2279 (2013) - [i5]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. CoRR abs/1310.6439 (2013) - 2012
- [j26]Adam Sadilek, Henry A. Kautz
:
Location-Based Reasoning about Complex Multi-Agent Behavior. J. Artif. Intell. Res. 43: 87-133 (2012) - [j25]Yi Chu, Young Chol Song, Richard Levinson, Henry A. Kautz
:
Interactive activity recognition and prompting to assist people with cognitive disabilities. J. Ambient Intell. Smart Environ. 4(5): 443-459 (2012) - [c89]Adam Sadilek, Henry A. Kautz, Vincent Silenzio:
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. AAAI 2012: 136-142 - [c88]Young Chol Song, Henry A. Kautz:
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video. AAAI 2012: 2457-2458 - [c87]Adam Sadilek, Henry A. Kautz, Vincent Silenzio:
Modeling Spread of Disease from Social Interactions. ICWSM 2012 - [c86]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Slice Normalized Dynamic Markov Logic Networks. NIPS 2012: 1916-1924 - [c85]Tivadar Papai, Shalini Ghosh, Henry A. Kautz
:
Combining Subjective Probabilities and Data in Training Markov Logic Networks. ECML/PKDD (1) 2012: 90-105 - [c84]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Slice Normalized Dynamic Markov Logic Networks. StarAI@UAI 2012 - [c83]Adam Sadilek, Henry A. Kautz
, Jeffrey P. Bigham:
Finding your friends and following them to where you are. WSDM 2012: 723-732 - [p2]Adam Sadilek, Henry A. Kautz:
Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise. Mobile Context Awareness 2012: 9-63 - 2011
- [c82]Yi Chu, Young Chol Song, Henry A. Kautz, Richard Levinson:
When Did You Start Doing that Thing that You Do? Interactive Activity Recognition and Prompting. Artificial Intelligence and Smarter Living 2011 - [c81]Tivadar Papai, Parag Singla, Henry A. Kautz
:
Constraint Propagation for Efficient Inference in Markov Logic. CP 2011: 691-705 - [i4]Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning. CoRR abs/1107.0044 (2011) - [i3]Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour:
Plan Recognition (Dagstuhl Seminar 11141). Dagstuhl Reports 1(4): 1-22 (2011) - 2010
- [j24]Martha E. Pollack, Henry A. Kautz:
AAAI Leadership Transition. AI Mag. 31(2): 7-8 (2010) - [j23]Eric Horvitz, Lise Getoor, Carlos Guestrin, James A. Hendler
, Joseph A. Konstan
, Devika Subramanian
, Michael P. Wellman, Henry A. Kautz:
AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead. AI Mag. 31(3): 103-114 (2010) - [c80]Adam Sadilek, Henry A. Kautz:
Recognizing Multi-Agent Activities from GPS Data. AAAI 2010: 1134-1139 - [e4]Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz:
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010. AAAI 2010 [contents] - [e3]Henry A. Kautz, Kristian Kersting, Sriraam Natarajan, David Poole:
2nd International Workshop on Statistical Relational AI (StaRAI-12), held at the Uncertainty in Artificial Intelligence Conference (UAI 2012), Catalina Island, CA, USA, August 18, 2012. 2010 [contents]
2000 – 2009
- 2009
- [j22]Liangliang Cao, Jiebo Luo
, Henry A. Kautz
, Thomas S. Huang:
Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models. IEEE Trans. Multim. 11(2): 208-219 (2009) - [c79]Tanzeem Choudhury, Ashish Kapoor, Henry A. Kautz:
Organizing Committee. AAAI Spring Symposium: Human Behavior Modeling 2009 - [c78]Alan L. Liu, Harlan Hile, Gaetano Borriello, Pat A. Brown, Mark Harniss, Henry A. Kautz
, Kurt Johnson:
Customizing directions in an automated wayfinding system for individuals with cognitive impairment. ASSETS 2009: 27-34 - [c77]Ross Messing, Christopher J. Pal, Henry A. Kautz
:
Activity recognition using the velocity histories of tracked keypoints. ICCV 2009: 104-111 - [c76]Alan L. Liu, Harlan Hile, Gaetano Borriello, Henry A. Kautz
, Pat A. Brown, Mark Harniss, Kurt Johnson:
Informing the design of an automated wayfinding system for individuals with cognitive impairments. PervasiveHealth 2009: 1-8 - [p1]Henry A. Kautz
, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203 - 2008
- [c75]Joseph Modayil, Richard Levinson, Craig Harman, David Halper, Henry A. Kautz:
Integrating Sensing and Cueing for More Effective Activity Reminders. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems 2008: 60-66 - [c74]Sangho Park, Henry A. Kautz:
Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems 2008: 70-77 - [c73]Liangliang Cao, Jiebo Luo
, Henry A. Kautz
, Thomas S. Huang:
Annotating collections of photos using hierarchical event and scene models. CVPR 2008 - [c72]Parag Singla, Henry A. Kautz
, Jiebo Luo
, Andrew C. Gallagher:
Discovery of social relationships in consumer photo collections using Markov Logic. CVPR Workshops 2008: 1-7 - [c71]Joseph Modayil, Tongxin Bai, Henry A. Kautz
:
Improving the recognition of interleaved activities. UbiComp 2008: 40-43 - [c70]Junsong Yuan
, Jiebo Luo
, Henry A. Kautz
, Ying Wu:
Mining GPS traces and visual words for event classification. Multimedia Information Retrieval 2008: 2-9 - [r1]Carla P. Gomes, Henry A. Kautz
, Ashish Sabharwal, Bart Selman:
Satisfiability Solvers. Handbook of Knowledge Representation 2008: 89-134 - 2007
- [j21]Lin Liao, Donald J. Patterson
, Dieter Fox, Henry A. Kautz
:
Learning and inferring transportation routines. Artif. Intell. 171(5-6): 311-331 (2007) - [j20]Henry A. Kautz
, Bart Selman:
The state of SAT. Discret. Appl. Math. 155(12): 1514-1524 (2007) - [j19]Lin Liao, Dieter Fox, Henry A. Kautz
:
Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. Int. J. Robotics Res. 26(1): 119-134 (2007) - [c69]William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz:
Learning Large Scale Common Sense Models of Everyday Life. AAAI 2007: 465-470 - [c68]Danny Wyatt, Tanzeem Choudhury, Henry A. Kautz
:
Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort. ICASSP (4) 2007: 213-216 - [c67]Tian Sang, Paul Beame, Henry A. Kautz:
A Dynamic Approach for MPE and Weighted MAX-SAT. IJCAI 2007: 173-179 - [c66]Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes, Henry A. Kautz:
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. IJCAI 2007: 1769-1775 - [c65]Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz:
SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923 - [c64]Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz:
Training Conditional Random Fields Using Virtual Evidence Boosting. IJCAI 2007: 2530-2535 - 2006
- [c63]William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry A. Kautz, Matthai Philipose:
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. AAAI 2006: 906-912 - [c62]Henry A. Kautz:
Deconstructing Planning as Satisfiability. AAAI 2006: 1524-1526 - [c61]Alan L. Liu, Harlan Hile, Henry A. Kautz
, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson:
Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments. ASSETS 2006: 95-102 - [c60]Alan L. Liu, Harlan Hile, Gaetano Borriello, Henry A. Kautz
, Brian Ferris, Pat A. Brown, Mark Harniss, Kurt Johnson:
Implications for Location Systems in Indoor Wayfinding for Individuals with Cognitive Impairments. PervasiveHealth 2006: 1-5 - [e2]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j18]Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia
, Robert P. Goldman, Henry A. Kautz
, Jussi Rintanen
, Austin Tate:
Constraints and AI Planning. IEEE Intell. Syst. 20(2): 62-72 (2005) - [c59]Tian Sang, Paul Beame, Henry A. Kautz:
Performing Bayesian Inference by Weighted Model Counting. AAAI 2005: 475-482 - [c58]Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld:
Extending Continuous Time Bayesian Networks. AAAI 2005: 981-986 - [c57]Lin Liao, Dieter Fox, Henry A. Kautz:
Location-Based Activity Recognition using Relational Markov Networks. IJCAI 2005: 773-778 - [c56]Lin Liao, Dieter Fox, Henry A. Kautz:
Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. ISRR 2005: 487-506 - [c55]Donald J. Patterson
, Dieter Fox, Henry A. Kautz
, Matthai Philipose:
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. ISWC 2005: 44-51 - [c54]Lin Liao, Dieter Fox, Henry A. Kautz:
Location-based activity recognition. NIPS 2005: 787-794 - [c53]Tian Sang, Paul Beame
, Henry A. Kautz:
Heuristics for Fast Exact Model Counting. SAT 2005: 226-240 - [i2]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005 - [i1]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005 - 2004
- [j17]Paul Beame
, Henry A. Kautz, Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning. J. Artif. Intell. Res. 22: 319-351 (2004) - [j16]Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz, Donald J. Patterson
, Dieter Fox, Henry A. Kautz
, Dirk Hähnel:
Inferring Activities from Interactions with Objects. IEEE Pervasive Comput. 3(4): 50-57 (2004) - [c52]Yongshao Ruan, Henry A. Kautz, Eric Horvitz:
The Backdoor Key: A Path to Understanding Problem Hardness. AAAI 2004: 124-130 - [c51]Lin Liao, Dieter Fox, Henry A. Kautz:
Learning and Inferring Transportation Routines. AAAI 2004: 348-353 - [c50]Donald J. Patterson
, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic, Katherine Olson, Shiaokai Wang, Dieter Fox, Henry A. Kautz:
Opportunity Knocks: A System to Provide Cognitive Assistance with Transportation Services. UbiComp 2004: 433-450 - [c49]Henry A. Kautz:
Toward A Universal Inference Engine. LPNMR 2004: 2 - [c48]Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi:
Combining Component Caching and Clause Learning for Effective Model Counting. SAT 2004 - 2003
- [c47]Henry A. Kautz, Bart Selman:
Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. CP 2003: 1-18 - [c46]Donald J. Patterson
, Lin Liao, Dieter Fox, Henry A. Kautz:
Inferring High-Level Behavior from Low-Level Sensors. UbiComp 2003: 73-89 - [c45]Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Understanding the Power of Clause Learning. IJCAI 2003: 1194-1201 - [c44]Lin Liao, Dieter Fox, Jeffrey Hightower, Henry A. Kautz, Dirk Schulz:
Voronoi tracking: location estimation using sparse and noisy sensor data. IROS 2003: 723-728 - [c43]Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz:
Towards a theory of natural language interfaces to databases. IUI 2003: 149-157 - [c42]Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz:
Towards a theory of natural language interfaces to databases. IUI 2003: 327 - [c41]Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz:
Towards a Theory of Question-Answering Interfaces to Databases. New Directions in Question Answering 2003: 73-74 - [c40]Ashish Sabharwal, Paul Beame
, Henry A. Kautz:
Using Problem Structure for Efficient Clause Learning. SAT 2003: 242-256 - 2002
- [c39]Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman:
Dynamic Restart Policies. AAAI/IAAI 2002: 674-681 - [c38]Yongshao Ruan, Eric Horvitz, Henry A. Kautz:
Restart Policies with Dependence among Runs: A Dynamic Programming Approach. CP 2002: 573-586 - 2001
- [j15]Henry A. Kautz
, Bart Selman:
Preface: Volume 9. Electron. Notes Discret. Math. 9: 1 (2001) - [j14]Henry A. Kautz
, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electron. Notes Discret. Math. 9: 2-18 (2001) - [j13]Donald J. Patterson
, Henry A. Kautz
:
Auto-Walksat: A Self-Tuning Implementation of Walksat. Electron. Notes Discret. Math. 9: 360-368 (2001) - [j12]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz
, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Electron. Notes Discret. Math. 9: 376-391 (2001) - [c37]Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems. IJCAI 2001: 351-358 - [c36]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems. UAI 2001: 235-244 - 2000
- [j11]Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox:
The AIPS-98 Planning Competition. AI Mag. 21(2): 13-33 (2000) - [j10]Carla P. Gomes, Bart Selman, Nuno Crato
, Henry A. Kautz:
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reason. 24(1/2): 67-100 (2000) - [c35]Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman:
Generating Satisfiable Problem Instances. AAAI/IAAI 2000: 256-261 - [c34]Henry A. Kautz:
Scalable Knowledge Representation and Reasoning Systems. CADE 2000: 183 - [c33]Yi-Cheng Huang, Bart Selman, Henry A. Kautz:
Learning Declarative Control Rules for Constraint-BAsed Planning. ICML 2000: 415-422 - [c32]William W. Cohen, Henry A. Kautz, David A. McAllester:
Hardening soft information sources. KDD 2000: 255-259 - [e1]Henry A. Kautz, Bruce W. Porter:
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. AAAI Press / The MIT Press 2000, ISBN 0-262-51112-6 [contents]
1990 – 1999
- 1999
- [c31]Yi-Cheng Huang, Bart Selman, Henry A. Kautz:
Control Knowledge in Planning: Benefits and Tradeoffs. AAAI/IAAI 1999: 511-517 - [c30]Henry A. Kautz, Joachim P. Walser:
State-space Planning by Integer Optimization. AAAI/IAAI 1999: 526-533 - [c29]Henry A. Kautz, Bart Selman:
Unifying SAT-based and Graph-based Planning. IJCAI 1999: 318-325 - 1998
- [c28]Carla P. Gomes, Bart Selman, Henry A. Kautz:
Boosting Combinatorial Search Through Randomization. AAAI/IAAI 1998: 431-437 - [c27]Henry A. Kautz, Bart Selman:
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. AIPS 1998: 181-189 - 1997
- [j9]Henry A. Kautz, Bart Selman, Mehul A. Shah:
The Hidden Web. AI Mag. 18(2): 27-36 (1997) - [j8]Henry A. Kautz
, Bart Selman, Mehul A. Shah:
Referral Web: Combining Social Networks and Collaborative Filtering. Commun. ACM 40(3): 63-65 (1997) - [c26]David A. McAllester, Bart Selman, Henry A. Kautz:
Evidence for Invariants in Local Search. AAAI/IAAI 1997: 321-326 - [c25]Bart Selman, Henry A. Kautz, David A. McAllester:
Ten Challenges in Propositional Reasoning and Search. IJCAI (1) 1997: 50-54 - 1996
- [j7]Bart Selman, Henry A. Kautz
:
Knowledge Compilation and Theory Approximation. J. ACM 43(2): 193-224 (1996) - [c24]Henry A. Kautz, Bart Selman, Al Milewski:
Agent Amplified Communication. AAAI/IAAI, Vol. 1 1996: 3-9 - [c23]Henry A. Kautz, Bart Selman:
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. AAAI/IAAI, Vol. 2 1996: 1194-1201 - [c22]Henry A. Kautz, Bart Selman, YueYen Jiang:
A general stochastic approach to solving problems with hard and soft constraints. Satisfiability Problem: Theory and Applications 1996: 573-585 - [c21]Henry A. Kautz, David A. McAllester, Bart Selman:
Encoding Plans in Propositional Logic. KR 1996: 374-384 - 1995
- [j6]Henry A. Kautz
, Michael J. Kearns, Bart Selman:
Horn Approximations of Empirical Data. Artif. Intell. 74(1): 129-145 (1995) - [c20]Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman:
The Comparative Linguistics of Knowledge Representation. IJCAI (1) 1995: 862-869 - 1994
- [j5]David W. Etherington, Henry A. Kautz:
The Fourth International Workshop on Nonmonotonic Reasoning. AI Mag. 15(3): 83-85 (1994) - [j4]Henry A. Kautz
, Bart Selman, Michael H. Coen:
Bottom-Up Design of Software Agents. Commun. ACM 37(7): 143-146 (1994) - [j3]David W. Etherington, Henry A. Kautz, Kurt Konolige:
Introduction to the Special Issue. Fundam. Informaticae 21(1/2): 1-5 (1994) - [c19]Henry A. Kautz, Bart Selman:
An Empirical Evaluation of Knowledge Compilation by Theory Approximation. AAAI 1994: 155-161 - [c18]Bart Selman, Henry A. Kautz, Bram Cohen:
Noise Strategies for Improving Local Search. AAAI 1994: 337-343 - [c17]Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming:
An Experiment in the Design of Software Agents. AAAI 1994: 438-443 - 1993
- [c16]Henry A. Kautz, Michael J. Kearns, Bart Selman:
Reasoning With Characteristic Models. AAAI 1993: 34-39 - [c15]Bart Selman, Henry A. Kautz:
An Empirical Study of Greedy Local Search for Satisfiability Testing. AAAI 1993: 46-51 - [c14]Bart Selman, Henry A. Kautz, Bram Cohen:
Local search strategies for satisfiability testing. Cliques, Coloring, and Satisfiability 1993: 521-531 - [c13]Bart Selman, Henry A. Kautz:
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. IJCAI 1993: 290-295 - 1992
- [c12]Henry A. Kautz, Bart Selman:
Forming Concepts for Fast Inference. AAAI 1992: 786-793 - [c11]Henry A. Kautz, Bart Selman:
Forming Concepts for Fast Inference. ECAI Workshop on Knowledge Representation and Reasoning 1992: 200-215 - [c10]Henry A. Kautz, Bart Selman:
Planning as Satisfiability. ECAI 1992: 359-363 - 1991
- [b1]James F. Allen, Henry A. Kautz, Richard N. Pelavin, Josh D. Tenenberg:
Reasoning about plans. Morgan Kaufmann series in representation and reasoning, Morgan Kaufmann 1991, ISBN 978-1-55860-137-6, pp. I-XII, 1-300 - [j2]Henry A. Kautz
, Bart Selman:
Hard Problems for Simple Default Logics. Artif. Intell. 49(1-3): 243-279 (1991) - [c9]Henry A. Kautz, Peter B. Ladkin:
Integrating Metric and Qualitative Temporal Reasoning. AAAI 1991: 241-246 - [c8]Bart Selman, Henry A. Kautz:
Knowledge Compilation using Horn Approximations. AAAI 1991: 904-909 - [c7]Henry A. Kautz
, Bart Selman:
A General Framework for Knowledge Compilation. PDK 1991: 287-300 - 1990
- [j1]Bart Selman, Henry A. Kautz
:
Model-Preference Default Theories. Artif. Intell. 45(3): 287-322 (1990)
1980 – 1989
- 1989
- [c6]David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz:
Vivid Knowledge and Tractable Reasoning. IJCAI 1989: 1146-1152 - [c5]Henry A. Kautz, Bart Selman:
Hard Problems for Simple Default Logics. KR 1989: 189-197 - 1988
- [c4]Bart Selman, Henry A. Kautz
:
The Complexity of Model-Preference Default Theories. NMR 1988: 115-130 - 1986
- [c3]Henry A. Kautz, James F. Allen:
Generalized Plan Recognition. AAAI 1986: 32-37 - [c2]Marc B. Vilain, Henry A. Kautz:
Constraint Propagation Algorithms for Temporal Reasoning. AAAI 1986: 377-382 - [c1]Henry A. Kautz:
The Logic of Persistence. AAAI 1986: 401-405
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-15 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint