Papers
Papers |
|
Henry Kautz (2024). Tools Are All You Need , Draft, under review.
Henry Kautz (2024). AI for Science and Engineering, White Paper.
Henry Kautz (2023). Review: Machines Like Us: Toward AI with Common Sense, by Ronald J. Brachman and Hector J. Levesque Prometheus:Critical Studies in Innovation, 39: 2 DOI:https://doi.org/10.13169/prometheus.39.2.0121.
Henry Kautz (2022). The Third AI Summer. AI Magazine, Volume 43, Issue 1, Spring 2022, Pages 105-125. Errata: the Vancouver IJCAI was held in 1981, not 1987.
Henry Kautz (2022). Unlocking Government Data to Support and Evaluate Scientific Research: An Overview of Selected Papers from the Value of Science Conference Harvard Data Science Review, Issue 4.2, Spring 2022.
Samuel Lerman, Charles Venuto, Henry Kautz, and Chenliang Xu (2021). Explaining Local, Global, and Higher-Order Interactions in Deep Learning. Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV), 2021, pp. 1224-1233.
Anis Zaman, Henry Kautz, Vincent Silenzio, Md. Ehsan Hoque, and Corey Nichols (2020). Discovering Intimate Partner Violence from Web Search History. Smart Health, Vol. 19, 2021, 100161, ISSN 2352-6483, https://doi.org/10.1016/j.smhl.2020.100161
Jesse Wang, Marc Lavender, Ehsan Hoque, Patrick Brophy, and Henry Kautz (2020). A patient-centered digital scribe for automatic medical documentation. Journal of Medical Artificial Intelligence (JAMIA Open), 2021; ooab003, https://doi.org/10.1093/jamiaopen/ooab003.
Boyu Zhang, Anis Zaman, Rupam Acharyya, Ehsan Hoque, Vincent Silenzio, and Henry Kautz (2020). Detecting Individuals with Depressive Disorder from Personal Google Search and YouTube History Logs. NeurIPS 2020 Workshop on Machine Learning in Public Health, 2020.
Anis Zaman, Boyu Zhang, Ehsan Hoque, Vincent Silenzio, Henry Kautz (2020). 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. JMIR Mental Health 2020;7(11):e24012. https://mental.jmir.org/2020/11/e24012.
Anis Zaman, Boyu Zhang, Vincent Silenzio, Ehsan Hoque, Henry Kautz (2020). Estimating Anxiety based on individual level engagements on YouTube & Google Search Engine. Preprint, arXive.org, 1 July 2020.
Anis Zaman, Vincent Silenzio, and Henry Kautz (2020). MIND: A Tool for Mental Health Screening and Support of Therapy to Improve Clinical and Research Outcomes. EAI PervasiveHealth 2020 - 14th EAI International Conference on Pervasive Computing Technologies for Healthcare, 6-8 October 2020.
Nabil Hossain, John Krumm, Michael Gamon and Henry Kautz (2020). SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. Proceedings of the 14th Workshop on Semantic Evaluation, 2020. [Data] [CodaLab] [GitHub]
Nabil Hossain, John Krumm, Tanvir Sajed and Henry Kautz (2020). Stimulating Creativity with Funlines: A Case Study of Humor Generation in Headlines. ACL 2020: The 58th Annual Meeting of the Association for Computational Linguistics, 6-8 July 2020. [Data] [Game] [Demo]
Nabil Hossain, Minh Tran and Henry Kautz (2020). A Framework for Political Portmanteau Decomposition. ICWSM 2020: 14TH International Conference on Web and Social Media, 8-11 June 2020.
Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, and Henry Kautz (2020). Inferring Nighttime Satellite Imagery from Human Mobility. Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), New York, NY, Feb. 2020.
Caroline P. Thirukumaran, Anis Zaman,Paul T. Rubery, Casey Calabria, Yue Li, Benjamin F. Ricciardi, Wajeeh R. Bakhsh, and Henry Kautz (2019). Natural Language Processing for the Identification of Surgical Site Infections in Orthopaedics. The Journal of Bone and Joint Surgery, 18 December 2019.
Aleix Bassolas, Hugo Barbosa-Filho, Brian Dickinson, Xerxes Dotiwalla, Paul Eastham, Riccardo Gallotti, Gourab Ghoshal, Bryant Gipson, Surendra A. Hazarie, Henry Kautz, Onur Kucuktunc, Allison Lieber, Adam Sadilekm and José J. Ramasco (2019). Hierarchical organization of urban mobility and its connection with city livability. Nature Communications, Vol. 10, Article No. 4817, 2019.
Jesse Wang and Henry Kautz (2019). CupQ: A New Clinical Literature Search Engine. Proceedings of the 11th International Conference on Knowledge Discovery and Information Retrieval (KDIR 2019), Vienna, Austria, September 17-19, 2019.
Anis Zaman, Rupam Acharyya, Henry Kautz, and Vincent Silenzio (2019). Detecting Low Self-Esteem in Youths from Web Search Data. The Web Conference (WWW 2019), San Francisco, 2019.
Samuel J. Weisenthal, Caroline Quill, Samir Farooq, Henry Kautz, and Martin S. Zand (2018). Predicting acute kidney injury at hospital re-entry using high-dimensional electronic health record data. PLoS One. 2018;13(11):e0204920. Published 2018 Nov 20. doi:10.1371/journal.pone.0204920.
Nabil Hossain, Thanh Thuy Trang Tran, and Henry Kautz (2018). Discovering Political Slang in Readers' Comments. 12th International AAAI Conference on Web and Social Media (ICWSM-2018), Stanford, CA, 2018.
Ann Marie White, Linxiao Bai, Christopher Homan, Melanie Funchess, Catherine Cerulli, Amen Ptah, Deepak Pandita, Henry Kautz. Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?: Comparing 911 Calls Where Users Reside or Use Social Media. 12th International AAAI Conference on Web and Social Media (ICWSM-2018), Stanford, CA, 2018.
Nabil Hossain, John Krumm, Lucy Vanderwende, Eric Horvitz, and Henry Kautz (2017). Filling the Blanks (hint: plural noun) for Mad Libs (c) Humor. Conference on Empirical Methods in Natural Language Processing (EMNLP 2017), Copenhagen, Denmark, 2017.
Anis Zaman, Nabil Hossain, and Henry Kautz (2017). Twitter911: A Cautionary Tale. 11th International AAAI Conference on Web and Social Media (ICWSM-2017), Montreal, Canada, 2017.
Tianran Hu, Eric Bigelow, Jiebo Luo, and Henry A. Kautz (2017). Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. IEEE Trans. Big Data 3(1): 55-66, 2017.
Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, and Vincent Silenzio (2017). Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AI Magazine 38(1): 37-48, 2017.
P. Thiha, A. R. Pisani, K. Gurditta, E. Cherry, D. R. Peterson, H. Kautz, and P. Wynman (2016). Efficacy of web-based collection of strength-based testimonials for text message extension of youth suicide prevention program: randomized controlled experiment. JMIR Public Health Surveillence, vol. 2, no. 2, Nov, 2016.
Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarniy, Parag Singlay, Jiebo Luo, Daniel Gildea, and Henry Kautz (2016). Unsupervised Alignment of Actions in Video with Text Descriptions. 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, NY.
Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, and Henry Kautz (2016). Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting Patterns in Communities. 10th International AAAI Conference on Web and Social Media (ICWSM-16), Cologne, Germany. [Data] [Press Reports]
Tianran Hu, Jiebo Luo, Henry A. Kautz, and Adam Sadilek (2016). Home location inference from sparse and noisy data: models and applications. Information Technology & Electronic Engineering 17(5): 389-402 (2016).
Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo and Henry Kautz (2016). Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities. arXiv preprint. [Data] [Press Reports]
Adam Sadilek, Henry Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, and Vincent Silenzio (2016). Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. 28th Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, 2016.
Henry Kautz and Parag Singla (2016). Technical Perspective: Combining Logic and Probability. Communications of the ACM, vol. 59, no. 2, pp. 106, July, 2016.
Tong Liu, Cecilia Ovesdotter Alm, Ann Marie White, Henry Kautz,
Megan Lytle, Christopher M. Homan (2016). Understanding
Discourse on Work and Job-Related Well-Being in Public Social Media,
ACL 2016: Annual meeting of the Association for Computational
Linguistics, Berlin, Germany, pages1044-1053, 2016.
Tim Kopp,Parag Singla, and Henry Kautz (2015). Lifted Symmetry Detection and Breaking for MAP Inference. 29th Annual Conference on Neural Information Processing (NIPS 2015), Montreal, Canada, 2015.
Iftekhar Naim, Young C. Song, Qiguang Liu, Liang Huang, Henry Kautz, Jiebo Luo and Daniel Gildea (2015). Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments, 2015 Conference of the North American Chapter of the Association for Computational Linguistics – Human Language Technologies (NAACL HLT 2015), Denver, Colorado, 2015.
Dawei Zhou, Jiebo Luo, Vincent Silenzio, Yun Zhou, Glenn Currier, and Henry Kautz (2015). Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. 29th AAAI Conference on Artificial Intelligence (AAAI-2015), Austin, TX, 2015.
Yi Chu, Pat Brown, Mark Harniss, Henry Kautz, and Kurt Johnson (2014). Cognitive support technologies for people with TBI: current usage and challenges experienced. Disability, Rehabilitation, and Assistive Technology, 2014; 9(4): 279–285.
Danning Zheng, Tianran Hu, Quanzeng You, Henry Kautz, and Jiebo Luo (2014). Inferring Home Location from User's Photo Collections based on Visual Content and Mobility Patterns. ACM Multimedia Conference, Workshop on Geotagging in Multimedia (GeoMM), November 2014.
Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry Kautz, Jiebo Luo, and Daniel Gildea (2014). Unsupervised Alignment of Natural Language Instructions with Video Segments. 28th AAAI Conference on Artificial Intelligence (AAAI-14), Quebec City, Canada, 2014.
Adam Sadilek, Christopher Homan, Walter S. Lasecki, Vincent Silenzio, Henry Kautz (2014). Modeling Fine-Grained Dynamics of Mood at Scale. WSDM 2014 Workshop on Diffusion Networks and Cascade Analytics, New York City, Feb 24-28, 2014.
Young Chol Song, Henry Kautz, James Allen, Mary Swift, Yuncheng Li, Jiebo Luo, Ce Zhang (2013). A Markov Logic Framework for Recognizing Complex Events from Multimodal Data. 15th ACM International Conference on Multimodal Interaction (ICMI 2013), Sydney, Australia.
Henry Kautz (2013). There's a Fly in My Tweets. The New York Times, June 21, 2013, page SR12.
Adam Sadilek, Sean Brennan, Henry Kautz, and Vincent Silenzion (2013). nEmesis: Which Restaurants Should You Avoid Today? First AAAI Conference on Human Computation and Crowdsourcing (HCOMP-2013), Palm Springs, CA, 2013. Notable paper award.
Sean Brennan, Adam Sadilek, and Henry Kautz (2013). Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 2013.
Henry Kautz (2013). Senior Member Presentation: Data Mining Social Media for Public Health Applications. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 2013.
Tivadar Pápai and Henry Kautz (2013). Modal Markov Logic for Multiple Agents. 3rd International Workshop on Statistical Relational AI, Bellevue, WA, 2013.
Young Song, Henry Kautz, Raingo Lee and Jiebo Luo (2013). A General Framework for Recognizing Complex Events in Markov Logic. PAIR 2013: AAAI Workshop on Plan, Activity, and Intent Recognition, Bellevue, WA, 2013.
Walter S. Lasecki, Young Chol Song, Henry Kautz, and Jeffrey P. Bigham (2013). Real-Time Crowd Labeling for Deployable Activity Recognition. 16th ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW 2013), San Antonio, TX, 2013.
Adam Sadilek and Henry Kautz (2013). Modeling the Impact of Lifestyle on Health at Scale. 6th ACM International Conference on Web Search and Data Mining (WSDM 2013). Rome, Italy, 2013.
News Coverage: The Guardian, The NY Post
Tivadar Pápai, Henry Kautz, and Daniel Stefankovic (2013). Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, 2013.
Tivadar Pápai, Henry Kautz, and Daniel Stefankovic (2012). Slice Normalized Dynamic Markov Logic Networks. Neural Information Processing Systems (NIPS 2012), Lake Tahoe, Nevada, 2012.
Tivadar Pápai, Shalini Ghosh, and Henry Kautz (2012). Combining Subjective Probabilities and Data in Training Markov Logic Networks. European Conference on Machine Learning (ECML), Bristol, UK, 2012.
Adam Sadilek, Henry Kautz, and Vincent Silenzio (2012). Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. 26th Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, 2012.
News Coverage: InformationWeek, Gizmodo, Discovery News, Democrat and Chronicle, WXXXI Public Radio
Young Chol Song and Henry Kautz (2012). A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video.26th Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, 2012.
M. Swift, G. Ferguson, L. Galescu, Y. Chu, C. Harman, H. Jung, I. Perera, Y. Song, J. Allen, H. Kautz (2012). A multimodal corpus for integrated language and action. International Workshop on MultiModal Corpora for Machine Learning, Istanbul, Turkey, 2012.
Adam Sadilek, Henry Kautz, and Vincent Silenzio (2012) Modeling Spread of Disease from Social Interactions. 6th AAAI International Conference on Weblogs and Social Media (ICWSM-2012), Dublin, Ireland, 2012.
Adam Sadilek and Henry Kautz (2012). Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise. In Tom Lovett and Eamonn O'Neill, Eds., Mobile Context Awareness, Springe-Verlag, 2012, pp. 9-64.
Adam Sadilek, Henry Kautz and Jeffrey P. Bigham (2012). Finding Your Friends and Following Them to Where You Are. 5th ACM International Conference on Web Search and Data Mining (WSDM 2012). Seattle, WA, 2012. Best Paper Award.
News Coverage: New Scientist, Gizmodo, Science Daily, O'Reilly, UPI, NDTV,Yahoo! News, ACM TechNews, TG Daily, Science Codex
Adam Sadilek and Henry Kautz (2012). Location-Based Reasoning about Complex Multi-Agent Behavior, Journal of Artificial Intelligence Research (JAIR), vol. 42, 2012, pp. 87-133.
Yi Chu, Young Chol Song, Richard Levinson, and Henry Kautz (2012). Interactive Activity Recognition and Prompting to Assist People with Cognitive Disabilities. Journal of Ambient Intelligence and Smart Environments, 4(5) 2012, pp. 443-459.
Tivadar Pápai, P. Singla, and Henry Kautz (2011). Constraint Propagation for Efficient Inference in Markov Logic. 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, Italy, pp. 691-705.
Yi Chu, Young Chol Song, Henry Kautz, and Richard Levinson (2011). When Did You Start Doing That Thing That You Do? Interactive Activity Recognition and Prompting. AAAI 2011 Workshop on Artificial Intelligence and Smarter Living: The Conquest of Complexity, San Francisco, August 2011.
Adam Sadilek and Henry Kautz (2010). Recognizing Multi-Agent Activities from GPS Data. 24th Conference on Artificial Intelligence (AAAI-2010), July 11–15, 2010, Atlanta, Georgia.
Adam Sadilek and Henry Kautz (2010). Modeling and Reasoning about Success, Failure and Intent of Multi-Agent Activities. UbiComp 2010 Workshop on Mobile Context-Awareness, Copenhagen, Denmark, Sept. 2010.
A.L. Liu, G. Borriello, H. Kautz, P.A. Brown, M. Harniss, and K. Johnson (2010). Learning User Models to Improve Wayfinding Assistance for Individuals with Cognitive Impairment. Workshop on Interactive Systems in Healthcare, Atlanta, GA, April 2010.
Ross Messing, Chris Pal, and Henry Kautz (2009). Activity recognition using the velocity histories of tracked keypoints. 12th IEEE International Conference on Computer Vision (ICCV 2009), Kyoto, 2009.
Alan L. Liu , Harlan Hile, Gaetano Borriello, Henry Kautz, Pat A. Brown, Mark Harniss, and Kurt Johnson (2009). Informing the Design of an Automated Wayfinding System for Individuals with Cognitive Impairments. Pervasive Health '09, London UK, April 1-3, 2009.
A.L. Liu, H. Hile, G. Borriello, P.A. Brown, M. Harniss, H. Kautz, K. Johnson (2009). Customizing Directions in an Automated Wayfinding System for Individuals with Cognitive Impairments. International Conference on Computers and Accessibility (ASSETS 2009), Pittsburgh, PA, October 2009.
A.L. Liu, H. Hile, G. Borriello, H. Kautz, P.A. Brown, M. Harniss, K. Johnson (2009). Evaluating a Wayfinding System for Individuals with Cognitive Impairment. CHI Workshop on Evaluating New Interactions in Healthcare: Challenges and Approaches, Boston, MA, April 2009.
Liangliang Cao, Jiebo Luo, Henry Kautz, and Thomas S. Huang (2009). Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models ACM Transactions on Multimedia, 11 (2) February 2009.
Henry Kautz, Ashish Sabharwal, Bart Selman (2009). Incomplete Algorithms. Chapter 6 of The Handbook of Satisfiability. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. IOS Press, 2009.
Sangho Park and Henry Kautz (2008). Privacy-preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, November 7 - 9, 2008.
Joseph Modayil, Rich Levinson, Craig Harman, David Halper, and Henry Kautz (2008). Integrating Sensing and Cueing for More Effective Activity Reminders. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, Nov. 7-9, 2008.
Junsong Yuan, Jiebo Luo, Henry Kautz, and Ying Wu (2008). Mining GPS Traces and Visual Words for Event Classification. ACM Multimedia Information Retrieval (MIR) Conference, Brave New Topics Session, Vancouver, BC, October 2008.
Joseph Modayil, Tongxin Bai, and Henry Kautz (2008). Improving the Recognition of Interleaved Activities. 10th International Conference on Ubiquitous Computing (UBICOMP08), Seoul, South Korea, Sept. 21-24, 2008.
Sangho Park and Henry Kautz (2008). Hierarchical Recognition of Activities of Daily Living using Multi-Scale, Multi-Perspective Vision and RFID. Fourth IET International Conference on Intelligent Environments, Seattle, WA, July 2008.
Parag Singla, Henry Kautz, Jiebo Luo, Andrew Gallagher (2008). Discovery of Social Relationships in Consumer Photo Collections using Markov Logic. Third International Workshop on Semantic Learning and Applications in Multimedia Applications (in association with IEEE International Conference on Computer Vision and Pattern Recognition), Anchorage, Alaska, 2008.
Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman (2008). Satisfiability Solvers. Handbook of Knowledge Representation, in the series Foundations of Artificial Intelligence, vol. 3. Editors: Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter. Elsevier, pp 89-134, 2008.
A. Mihailidis, J. Boger, H. Kautz, and L. Normie, Eds. (2008) Technology and Aging: Selected Papers from the 2007 International Conference on Technology and Aging. IOS Press, Amsterdam, 2008.
A.L. Liu, H. Hile, H. Kautz, G. Borriello, P.A. Brown, M. Harniss, K. Johnson (2008). Indoor wayfinding: Developing a functional interface for individuals with cognitive impairments. Disability and Rehabilitation: Assistive Technology, 3(1-2) 2008, pp. 69-81.
L. Liao, D. J. Patterson, D. Fox, and H. Kautz (2007). Learning and Inferring Transportation Routines. Artificial Intelligence 171(5-6) 2007, 311-331.
Lin Liao, Tanzeem Choudhury, Dieter Fox, and Henry Kautz (2007). Training Conditional Random Fields using Virtual Evidence Boosting. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007. Click here for a poster.
J. Hoffmann, H. Kautz, C. Gomes, B. Selman (2007). SAT Encodings of State-Space Reachability Problems in Numeric Domains. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
Tian Sang, Paul Beame, and Henry Kautz (2007). A Dynamic Approach to MPE and Weighted MAX-SAT. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
L. Liao, D. Fox, and H. Kautz (2007). Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. International Journal of Robotics Research, 26(1) 2007, pp. 119-134.
William Pentney, Matthai Philipose, Jeff Bilmes and Henry Kautz (2007). Learning Large Scale Common Sense Models of Everyday Life.. 27th Conference on Artificial Intelligence (AAAI-2007), Vancouver, Canada, 2007.
D. Wyatt, T. Choudhury, and H. Kautz (2007). Capturing Spontaneous Conversation and Social Dynamics: A Privacy Sensitive Data Collection Effort. IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007), Honolulu, Hawaii, 2007.
D. Wyatt, T. Choudhury, J. Bilmes, and H. Kautz (2007). A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
Alan L. Liu, Harlan Hile, Henry Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson (2006). Indoor Wayfinding: Developing a Functional Interface for Individuals with Cognitive Impairments. 8th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS 2006), Portland, OR, 2006.
Henry Kautz (2006). Deconstructing Planning as Satisfiability. 21st Conference on Artificial Intelligence (AAAI-06), Boston, MA, 2006.
Henry Kautz, Bart Selman, and Joerg Hoffmann (2006). SatPlan: Planning as Satisfiability. Working Notes of the 5th International Planning Competition, Cumbria, UK, 2006.
Henry Kautz (2006). Understanding Human Experience. Position paper for the article, "Artificial Intelligence: The Next Twenty-Five Years", Matthew Stone and Haym Hirsh, eds., AI Magazine, 26(4): Winter 2005, pp. 85–97.William Pentney, Henry Kautz, Matthai Philipose, Ana-Maria Popescu, and Shiaokai Wang (2006). Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. 21st Conference on Artificial Intelligence (AAAI-06), Boston, MA, 2006.
Henry Kautz (2005). Report on the DARPA Workshop on Advancing Assisted Cognition Technology for Persons with Traumatic Brain Injury, November 7-8, 2005, Bethesda, MD.
Lin Liao, Dieter Fox and Henry Kautz (2005). Location-Based Activity Recognition using Relational Markov Networks. 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), Edinburgh, Scotland, 2005.
L. Liao, D. Fox, and H. Kautz (2005). Location-Based Activity Recognition. 19th Annual Conference on Neural Information Processing Systems (NIPS-2005), Whistler, BC, 2005.
Karthik Gopalratnam and Henry Kautz and Daniel S. Weld (2005). Extending Continuous Time Bayesian Networks. 20th National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, 2005.
Tian Sang, Paul Beame, and Henry Kautz (2005). Heuristics for Fast Exact Model Counting. Eighth International Conference on Theory and Applications of Satisfiability Testing, Edinburgh, Scotland, 2005.
Tian Sang, Paul Beame, and Henry Kautz (2005). Solving Bayesian Networks by Weighted Model Counting. 20th Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, 2005.
A. Nareyek, E. Freuder, R. Fourer, E. Giunchiglia, R. Goldman, H. Kuatz, J. Rintanen, and A. Tate (2005). Constraints and AI Planning. IEEE Intelligent Systems, 20(2) 2005, pp. 62-72.
Donald Patterson, Dieter Fox, Henry Kautz, Matthai Philipose (2005). Fine-Grained Activity Recognition by Aggregating Object Usage. IEEE International Symposium on Wearable Computers, Osaka, Japan, Oct. 2005. Best Paper Award. Data Set.
Paul Beame, Henry Kautz, and Ashish Sabharwal (2004). Towards Understanding and Harnessing the Potential of Clause Learning. Journal of Artificial Intelligence Research (JAIR), vol. 22, pp. 319-351, 2004.
Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz, Donald J. Patterson, Dirk Hähnel, Dieter Fox, and Henry Kautz (2004). Inferring ADLs from Interactions with Objects. IEEE Pervasive Computing, 3(4) 2004, pp. 50-56.
Donald J. Patterson, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic, Katherine Olson, Shiaokai Wang, Dieter Fox, and Henry Kautz (2004). Opportunity Knocks: a System to Provide Cognitive Assistance with Transportation Services. Sixth International Conference on Ubiquitous Computing (UBICOMP-2004), Nottingham, England, 2004.
Henry Kautz, Bart Selman, and David McAllester (2004). Walksat in the 2004 SAT Competition. International Conference on Theory and Applications of Satisfiability Testing (SAT-2004), Vancouver, Canada, 2004.
Lin Liao, Dieter Fox, and Henry Kautz (2004). Learning and Inferring Transportation Routines. 19th National Conference on Artificial Intelligence (AAAI-2004), San Jose, CA, 2004. Best Paper Award.
Lin Liao, Donald J. Patterson, Dieter Fox, and Henry Kautz (2004). Invited paper, Behavior Recognition in Assisted Cognition. AAAI 2004 Workshop on Supervisory Control of Learning and Adaptive Systems, San Jose, CA, 2004.
Donald J. Patterson, Ken Fishkin, Dieter Fox, Henry Kautz, Mike Perkowitz, and Matthai Philipose (2004). Contextual Computer Support for Human Activity. AAAI 2004 Spring Symposium on Interaction Between Humans and Autonomous Systems over Extended Operation, Stanford, CA, 2004.
Tian Sang, Fahiem Bacchus, Paul Beame, Henry Kautz, and Toniann Pitassi (2004). Combining Component Caching and Clause Learning for Effective Model Counting. Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT-2004), Vancouver, Canada, 2004.
Yongshao Ruan, Henry Kautz, and Eric Horvitz (2004). The Backdoor Key: A Path to Understanding Problem Hardness. Nineteenth Conference on Artificial Intelligence (AAAI-2004), San Jose, CA, 2004.
Ana-Maria Popescu, Oren Etzioni and Henry A. Kautz (2003). Towards a theory of natural language interfaces to databases. 8th International Conference on Intelligent User Interfaces(IUI-2003), Miami, FL, 2003.
Henry Kautz and Bart Selman (2003). Invited paper, Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), Cork, Ireland, 2003.
Yongshao Ruan, Eric Horvitz, and Henry Kautz (2003). Hardness-Aware Restart Policies. IJCAI-03 Workshop on Stochastic Search Algorithms, Alcapulco, Mexico, 2003.
Don Patterson, Lin Liao, Dieter Fox, and Henry Kautz (2003). Inferring High Level Behavior from Low Level Sensors.. Fifth Annual Conference on Ubiquitous Computing (UBICOMP 2003), Seattle, WA, 2003.
Don Patterson, Dieter Fox, Henry Kautz, and Matthai Philipose (2003). Expressive, Tractable and Scalable Techniques for Modeling Activities of Daily Living.. UbiHealth 2003: The 2nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Application, Seattle, WA, Oct 12, 2003.
Lin Liao, Dieter Fox, Jeffrey Hightower, Henry Kautz and Dirk Schulz (2003). Voronoi Tracking: Location Estimation using Sparse and Noisy Data. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003), Las Vegas, NV, 2003.
Paul Beame, Henry Kautz, and Ashish Sabharwal (2003). Understanding the Power of Clause Learning. 18th International Joint Conference on Artificial Intelligence (IJCAI-2003). Morgan Kaufman, 2003.
Paul Beame, Henry Kautz, and Ashish Sabharwal (2003). Using Problem Structure for Efficient Clause Learning. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 2003.
Henry Kautz, Oren Etzioni, Dieter Fox, Dan Weld (2003). Foundations of Assisted Cognition Systems. UW CSE Technical Report, March 2003.
Don Patterson, Oren Etzioni, and Henry Kautz (2002). The Activity Compass. First International Workshop on Ubiquitous Computing for Cognitive Aids, Gothenberg, Sweden, 2002.
Ana-Marie Popescu, Oren Etzioni, and Henry Kautz (2002). Towards a Theory of Natural Language Interfaces to Databases. International Conference on Intelligent User Interfaces (IUI-2003), Miami, Florida, 2003.
Yongshao Ruan, Eric Horvitz, and Henry Kautz (2002). Restart Policies with Dependence among Runs: A Dynamic Programming Approach.. 8th International Conference on Principles and Practice of Constraint Programming (CP-2002), Springer-Verlag, 2002.
Henry Kautz, Eric Horvitz, Yongshao Ruan, Carla Gomes, and Bart Selman (2002). Dynamic Restart Policies. 18th National Conference on Artificial Intelligencer (AAAI-2002), Edmunton, Canada, 2002.
Henry Kautz, Larry Arnstein, Gaetano Borriello, Oren Etzioni, and Dieter Fox (2002). An Overview of the Assisted Cognition Project. AAAI-2002 Workshop on Automation as Caregiver: The Role of Intelligent Technology in Elder Care, Edmunton, Canada, 2002.
Eric Horvitz, Yongshao Ruan, Carla Gomes, Henry Kautz, Bart Selman, Max Chickering (2001). A Bayesian Approach to Tackling Hard Computational Problems. 17th Conference on Uncertainty in Artificial Intelligence (UAI-2001), Seattle, WA, 2001.
Henry Kautz, Yongshao Ruan, Dimitiri Achlioptas, Carla Gomes, Bart Selman, and Mark Sticke (2001)l. Balance and Filtering in Structured Satisfiable Problems. 17th International Joint Conference on Artificial Intelligence (IJCAI-2001), Seattle, WA, 2001.
Donald J. Patterson and Henry Kautz (2001). Auto-Walksat: a Self-Tuning Implementation of Walksat.. Electronic Notes in Discrete Mathematics (ENDM) Vol. 9, Elsevier, 2001. Presented at the LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT-2001),Boston University, MA, June 14-15, 2001.
Henry Kautz (2001). Temporal Reasoning. In The MIT Encyclopedia of the Cognitive Sciences, Robert A. Wilson and Frank C. Keil, Eds., MIT Press, 2001.
Dimitris Achlioptas, Carla Gomes, Henry Kautz, and Bart Selman (2000). Generating Satisfiable Problem Instances. 17th National Conference on Artificial Intelligence (AAAI-2000), Austin, TX, 2000.
David McAllester, William Cohen, and Henry Kautz (2000). Hardening soft information sources. Sixth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2000), Boston, MA, 2000.
Yi-Cheng Huang, Bart Selman, and Henry Kautz (2000). Learning Declarative Control Rules for Constraint-Based Planning. 17th International Conference on Machine Learning (ICML-2000), Stanford, CA.
Carla P. Gomes, Bart Selman, Nuno Crator, and Henry Kautz (1999). Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Journal of Automated Reasoning, 24(1-2) 1999, pp. 67-100.
Henry Kautz and Bart Selman (1999). Unifying SAT-based and Graph-based Planning. 16th International Joint Conference on Artificial Intelligence (IJCAI-99),Stockholm, Sweden, 1999.
Henry Kautz and Joachim P. Walser (1999). Integer Optimization Models of AI Planning Problems. Knowledge Engineering Review, 15 (1) 2000, pp. 101-117.
Henry Kautz and Joachim P. Walser (1999). State-space Planning by Integer Optimization. 16th National Conference on Artificial Intelligence (AAAI-99), Orlando, FL, 1999.
Yi-Chen Huang, Bart Selman, and Henry Kautz (1999). Control Knowledge in Planning: Benefits and Tradeoffs. 16th Conference on Artificial Intelligence (AAAI-99), Orlando, FL, 1999.
Henry Kautz and Bart Selman (1998). BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving. Working notes of the AIPS-98 Workshop on Planning as Combinatorial Search, Pittsburgh, PA, 1998.
Henry Kautz and Bart Selman (1998). Creating Models of Real-World Communities with ReferralWeb. Working notes of the AAAI-98 Workshop on Recommender Systems, Madison, WI, 1998.
C.P. Gomes, B. Selman, and H. Kautz (1998). Boosting Combinatorial Search Through Randomization. 15th National Conference on Artificial Intelligence (AAAI-98), Madison, WI, 1998.
Henry Kautz and Bart Selman (1998). The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98), Pittsburgh, PA, 1998.
Henry Kautz, Bart Selman, and Yueyen Jiang (1997). In A General Stochastic Approach to Solving Problems with Hard and Soft Constraints. In The Satisfiability Problem: Theory and Applications, Dingzhu Gu, Jun Du, and Panos Pardalos (Eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 35, American Mathematical Society, 1997, pp. 573-586.
Henry Kautz, David McAllester, and Bart Selman (1997). Exploiting Variable Dependency in Local Search. Abstracts of Poster Sessions of IJCAI-97, Nagoya, Japan, 1997.
Henry Kautz, Bart Selman, and Mehul Shah (1997). The Hidden Web. The AI Magazine, 18 (2) 1997, pp. 27-36.
Bart Selman, Henry Kautz, and David McAllester (1997). Ten Challenges in Propositional Reasoning and Search. 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, 1997.
David McAllester, Bart Selman, and Henry Kautz (1997). Evidence for Invariants in Local Search. 14th Conference on Artificial Intelligence (AAAI-97), Providence, RI, 1997.
Henry Kautz, Bart Selman, and Mehul Shah (1997). ReferralWeb: Combining Social Networks and Collaborative Filtering. Communications of the ACM, 30 (3) 1997, pp. 27-36.
Henry Kautz, David McAllester, and Bart Selman (1996). Encoding Plans in Propositional Logic. 5th International Conference on Knowledge Representation and Reasoning (KR-96), Cambridge, MA, 1996.
Henry Kautz and Bart Selman (1996). Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. 13th National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, 1996. Best Paper Award.
Henry Kautz and Bart Selman (1996). Agent Amplified Communication.13th National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, 1996.
Bart Selman and Henry Kautz (1996). Knowledge Compilation and Theory Approximation. Journal of the ACM, 43(2):193-224, March 1996.
Bart Selman, Henry Kautz, and Bram Cohen (1996). Local Search Strategies for Satisfiability Testing. In Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13, 1993. David S. Johnson and Michael A. Trick, ed. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 26, AMS, 1996. Appendix summarizing results of walksat on challenge instances.
Yueyun Jiang, Henry Kautz, and Bart Selman (1995). Solving Problems with Hard and Soft Constraints Using A Stochastic Algorithm for MAX-SAT. First International Joint Workshop on Artificial Intelligence and Operations Research, 1995.
Henry Kautz, Michael Kearns, and Bart Selman (1995). Horn Approximations of Empirical Data. Artificial Intelligence, 74(1), 1995, pp. 129-145.
Goran Gogic, Henry Kautz, Christos Papadimitriou, and Bart Selman (1995). The Comparative Linguistics of Knowledge Representation. 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, 1995.
Bart Selman, Henry Kautz, and Bram Cohen (1994). Noise Strategies for Improving Local Search. 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, 1994.
Henry Kautz, Bart Selman, Michael Coen, Steven Ketchpel, and Chris Ramming (1994). An Experiment in the Design of Software Agents. 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, 1994.
Henry Kautz and Bart Selman (1994). An Empirical Evaluation of Knowledge Compilation. 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, 1994.
Bart Selman and Henry Kautz (1993). Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France, 1993.
Henry Kautz, Michael Kearn, Bart Selman (1993). Reasoning With Characteristic Models. 11th National Conference on Artificial Intelligence (AAAI-93), Washington, DC, 1993.
Bart Selman and Henry Kautz (1993). An Empirical Study of Greedy Local Search for Satisfiability Testing. 11th National Conference on Artificial Intelligence (AAAI-93), Washington, DC, 1993.
Henry Kautz and Bart Selman (1992). Planning as Satisfiability. Tenth European Conference on Artificial Intelligence (ECAI-92), Vienna, Austria, 1992.
Henry Kautz and Bart Selman (1992). Forming Concepts for Fast Inference. Tenth National Conference on Artificial Intelligence (AAAI-92),San Jose, CA, 1992.
Henry Kautz and Bart Selman (1991). A General Framework for Knowledge Compilation. International Workshop on Processing Declarative Knowledge (PDK-91), Kauserlautern, Germany, 1991.
Bart Selman and Henry Kautz (1991). Knowledge Compilation Using Horn Approximations. Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1992.
Henry Kautz and Peter Ladin (1991). Integrating Metric and Qualitative Temporal Reasoning. Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1992.
Henry Kautz (1991). A Formal Theory of Plan Recognition and its Implementation. In Reasoning About Plans, by J.F. Allen, H.A. Kautz, R.N. Pelavin, and J.D. Tennenberg, Morgan Kaufmann Publishers, 1991, pp. 69-126.
Henry Kautz and Bart Selman (1991). Hard Problems for Simple Default Logics. Artificial Intelligence 49 (1-3) 1991, pp. 243-279.
B. Selman and H. Kautz. Model-Preference Default Theories (1990). Artificial Intelligence 45 (3) 1990, pp. 287-322.
Henry Kautz and Bart Selman (1989). Hard Problems for Simple Default Logics. First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada, 1989.
W. Etherington, Alexander Borgida, Ronald J. Brachman, and Henry A. Kautz (1989). Vivid Knowledge and Tractable Reasoning. 11th International Joint Conference on Artificial Intelligence (IJCAI-89), pp. 1146-1152.
Marc Vilain, Henry Kautz, and Peter van Beek (1989). Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. In Readings in Qualitative Reasoning about Physical Systems, Daniel S. Weld and Johan de Kleer (eds.), Morgan-Kaufman, 1989, pp. 373-381.
B. Selman and H. Kautz (1988). The complexity of model-preference default theories. Second International Workshop on Non-Monotonic Reasoning, (NMR 1998), Grassau, Germany, 1998.
Henry Kautz (1987). A Formal Theory of Plan Recognition. TR 215 (PhD Thesis), Dept. of Computer Science, University of Rochester, 1987.
Henry A. Kautz (1986). The Logic of Persistence. Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986.
Marc B. Vilain and Henry A. Kautz (1986). Constraint Propagation Algorithms for Temporal Reasoning. Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986.
Henry A. Kautz and James F. Allen (1986). Generalized Plan Recognition. Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986.
Henry A. Kautz (1982). Planning within First-Order Dynamic Logic. Fourth National Conferenceof the Canadian Society for Computational Studies of Intelligence (CSCSI/SCEIO), Saskatoon, Canada, 1982.