Henry Kautz | Academic Influence

Henry Kautz's AcademicInfluence.com Rankings

Henry Kautz

Computer Science

#1177

World Rank

#1217

Historical Rank

#610

USA Rank

Artificial Intelligence

#151

World Rank

#154

Historical Rank

#68

USA Rank

Database

#1577

World Rank

#1655

Historical Rank

#407

USA Rank

computer-science Degrees

Download Badge

Computer Science

Henry Kautz's Degrees

Bachelors Mathematics Cornell University

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Henry Kautz Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Henry A. Kautz is a computer scientist, Founding Director of Institute for Data Science and Professor at University of Rochester. He is interested in knowledge representation, artificial intelligence, data science and pervasive computing.

(See a Problem?)

Henry Kautz's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Planning as Satisfiability (1992) (1146)
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search (1996) (1071)
Referral Web: combining social networks and collaborative filtering (1997) (1007)
Noise Strategies for Improving Local Search (1994) (972)
Learning and inferring transportation routines (2004) (913)
Constraint Propagation Algorithms for Temporal Reasoning (1986) (806)
Local search strategies for satisfiability testing (1993) (743)
Inferring activities from interactions with objects (2004) (729)
Boosting Combinatorial Search Through Randomization (1998) (708)
Inferring High-Level Behavior from Low-Level Sensors (2003) (605)
Towards a theory of natural language interfaces to databases (2003) (592)
Generalized Plan Recognition (1986) (586)
Unifying SAT-based and Graph-based Planning (1999) (562)
Fine-grained activity recognition by aggregating abstract object usage (2005) (521)
Activity recognition using the velocity histories of tracked keypoints (2009) (514)
A formal theory of plan recognition (1987) (511)
Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields (2007) (466)
Constraint propagation algorithms for temporal reasoning: a revised report (1989) (463)
Evidence for Invariants in Local Search (1997) (452)
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems (2000) (438)
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems (1993) (404)
Location-Based Activity Recognition using Relational Markov Networks (2005) (380)
Finding your friends and following them to where you are (2012) (367)
Encoding Plans in Propositional Logic (1996) (353)
Knowledge compilation and theory approximation (1996) (349)
Towards Understanding and Harnessing the Potential of Clause Learning (2004) (318)
The Hidden Web (1997) (315)
Reasoning about plans (1991) (264)
Satisfiability Solvers (2008) (259)
Integrating Metric and Qualitative Temporal Reasoning (1991) (250)
Combining Component Caching and Clause Learning for Effective Model Counting (2004) (242)
Performing Bayesian Inference by Weighted Model Counting (2005) (242)
BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving (1998) (236)
Opportunity Knocks: A System to Provide Cognitive Assistance with Transportation Services (2004) (234)
Ten Challenges in Propositional Reasoning and Search (1997) (204)
Knowledge Compilation using Horn Approximations (1991) (191)
An Empirical Study of Greedy Local Search for Satisfiability Testing (1993) (191)
Hard Problems for Simple Default Logics (1989) (189)
Generating Satisfiable Problem Instances (2000) (188)
Modeling Spread of Disease from Social Interactions (2012) (184)
Voronoi tracking: location estimation using sparse and noisy sensor data (2003) (177)
The Logic of Persistence (1986) (170)
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data (2012) (166)
An Overview of the Assisted Cognition Project (2002) (163)
A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report) (2001) (148)
Real-time crowd labeling for deployable activity recognition (2013) (147)
Dynamic restart policies (2002) (143)
A general stochastic approach to solving problems with hard and soft constraints (1996) (142)
The Comparative Linguistics of Knowledge Representation (1995) (134)
Agent Amplified Communication (1996) (129)
Hardening soft information sources (2000) (128)
Building Personal Maps from GPS Data (2006) (112)
State-space Planning by Integer Optimization (1999) (109)
A circumscriptive theory of plan recognition (1990) (106)
Noise Strategies for Local Search (1994) (104)
A model of naive temporal reasoning (1985) (103)
Hierarchical organization of urban mobility and its connection with city livability (2019) (102)
Horn Approximations of Empirical Data (1995) (100)
Hierarchical Conditional Random Fields for GPS-Based Activity Recognition (2005) (99)
Improving the recognition of interleaved activities (2008) (97)
Chapter 2 – A Formal Theory of Plan Recognition and its Implementation (1991) (96)
Combining social networks and collaborative ?ltering (1997) (96)
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework (1998) (92)
Understanding the Power of Clause Learning (2003) (91)
Heuristics for Fast Exact Model Counting (2005) (89)
Pushing the envelope: planning (1996) (88)
The state of SAT (2007) (87)
Constraints and AI planning (2005) (86)
Balance and Filtering in Structured Satisfiable Problems (2001) (86)
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense (2006) (86)
Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT (1995) (84)
Solving Bayesian Networks by Weighted Model Counting (2005) (82)
Indoor wayfinding:: developing a functional interface for individuals with cognitive impairments (2006) (81)
Bottom-up design of software agents (1994) (77)
Foundations of Assisted Cognition Systems (2003) (76)
Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media (2016) (74)
Forming Concepts for Fast Inference (1992) (74)
Indoor wayfinding: Developing a functional interface for individuals with cognitive impairments (2008) (71)
Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models (2009) (70)
Recognizing Multi-Agent Activities from GPS Data (2010) (68)
Model-Preference Default Theories (1990) (68)
The AIPS-98 Planning Competition (2000) (66)
Annotating collections of photos using hierarchical event and scene models (2008) (65)
An Experiment in the Design of Software Agents (1994) (65)
Reasoning With Characteristic Models (1993) (64)
Auto-Walksat: A Self-Tuning Implementation of Walksat (2001) (62)
Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search (2003) (61)
Restart Policies with Dependence among Runs: A Dynamic Programming Approach (2002) (61)
Hierarchical recognition of activities of daily living using multi-scale, multi-perspective vision and RFID (2008) (61)
Learning Declarative Control Rules for Constraint-BAsed Planning (2000) (58)
Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing (2015) (58)
nEmesis: Which Restaurants Should You Avoid Today? (2013) (57)
Exploiting Variable Dependency in Local Search (1997) (56)
Control Knowledge in Planning: Benefits and Tradeoffs (1999) (54)
Extending Continuous Time Bayesian Networks (2005) (53)
Training Conditional Random Fields Using Virtual Evidence Boosting (2007) (53)
Discovery of social relationships in consumer photo collections using Markov Logic (2008) (52)
Location-Based Reasoning about Complex Multi-Agent Behavior (2012) (50)
Guide: Towards Understanding Daily Life via Auto- Identification and Statistical Analysis (2003) (49)
Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort (2007) (49)
The Backdoor Key: A Path to Understanding Problem Hardness (2004) (48)
Modeling the impact of lifestyle on health at scale (2013) (48)
SemEval-2020 Task 7: Assessing Humor in Edited News Headlines (2020) (47)
Deconstructing Planning as Satisfiability (2006) (47)
Unsupervised Alignment of Natural Language Instructions with Video Segments (2014) (45)
Blackbox: Unifying sat-based and graph-based planning (1999) (44)
SAT Encodings of State-Space Reachability Problems in Numeric Domains (2007) (44)
Vivid Knowledge and Tractable Reasoning: Preliminary Report (1989) (42)
Incomplete Algorithms (2021) (42)
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations (2007) (42)
Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions (2013) (41)
A General Framework for Knowledge Compilation (1991) (41)
Unsupervised Alignment of Actions in Video with Text Descriptions (2016) (39)
Intelligent Ubiquitous Computing to Support Alzheimer ’ s Patients : Enabling the Cognitively Disabled (2002) (38)
Vivid Knowledge and Tractable Reasoning (1989) (38)
Customizing directions in an automated wayfinding system for individuals with cognitive impairment (2009) (34)
The Complexity of Model-Preference Default Theories (1988) (34)
Learning Large Scale Common Sense Models of Everyday Life (2007) (34)
Uncovering the socioeconomic facets of human mobility (2020) (32)
Mining GPS traces and visual words for event classification (2008) (30)
Integer optimization models of AI planning problems (2000) (30)
Monitoring adolescent alcohol use via multimodal analysis in social multimedia (2015) (29)
Natural Language Processing for the Identification of Surgical Site Infections in Orthopaedics. (2019) (29)
Home location inference from sparse and noisy data: models and applications (2015) (29)
Informing the design of an automated wayfinding system for individuals with cognitive impairments (2009) (28)
Constraint propagation algorithms: A revised report (1990) (28)
Interactive activity recognition and prompting to assist people with cognitive disabilities (2012) (28)
Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas (2017) (28)
Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training (2008) (28)
Integrating Sensing and Cueing for More Effective Activity Reminders (2008) (28)
A Markov logic framework for recognizing complex events from multimodal data (2013) (28)
Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments (2015) (28)
An Empirical Evaluation of Knowledge Compilation by Theory Approximation (1994) (27)
Crowdsourcing medical expertise in near real time. (2014) (27)
Cognitive support technologies for people with TBI: current usage and challenges experienced (2014) (27)
Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities (2016) (26)
Slice Normalized Dynamic Markov Logic Networks (2012) (26)
Using Problem Structure for Efficient Clause Learning (2003) (24)
Inferring ADLs from interactions with objects (2004) (24)
The Relationships of Deteriorating Depression and Anxiety With Longitudinal Behavioral Changes in Google and YouTube Use During COVID-19: Observational Study (2020) (24)
Fast, Detailed Inference of Diverse Daily Human Activities (2004) (22)
Filling the Blanks (hint: plural noun) for Mad Libs Humor (2017) (21)
Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting Patterns in Communities (2016) (21)
Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines (2020) (21)
Towards Lifestyle Understanding: Predicting Home and Vacation Locations from User's Online Photo Collections (2015) (21)
Pervasive Computing in the Home and Community (2006) (20)
The role of domain-specific axioms in the planning as satisfiability framework (1998) (20)
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report) (2001) (18)
A Dynamic Approach for MPE and Weighted MAX-SAT (2007) (18)
Detecting Low Self-Esteem in Youths from Web Search Data (2019) (18)
Creating Models of Real-World Communities with ReferralWeb (1998) (17)
The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture (2022) (17)
Understanding Discourse on Work and Job-Related Well-Being in Public Social Media (2016) (15)
Domain-independant extensions to GSAT : Solving large structured variables (1993) (15)
Integrating metric and temporal qualitative tem-poral reasoning (1991) (14)
Combining Subjective Probabilities and Data in Training Markov Logic Networks (2012) (14)
Planning and plan recognition (1988) (13)
Hard problems for simple default theories (1991) (13)
Branch and bound algorithm selection by performance prediction (2001) (12)
Algorithmic applications of propositional proof complexity (2005) (12)
Walksat in the 2004 SAT Competition (2004) (12)
Behavior recognition in assisted cognition (2004) (11)
Lifted Symmetry Detection and Breaking for MAP Inference (2015) (11)
Efficacy of Web-Based Collection of Strength-Based Testimonials for Text Message Extension of Youth Suicide Prevention Program: Randomized Controlled Experiment (2016) (11)
ming, Propositional Logic, and Stochastic Search (1996) (11)
Modeling Fine-Grained Dynamics of Mood at Scale ⇤ (2013) (10)
Technology and aging : selected papers from the 2007 international conference on technology and aging (2008) (10)
Extracting Places and Activities from GPS Traces (2005) (10)
Constraint Propagation for Efficient Inference in Markov Logic (2011) (10)
Research Challenges and Opportunities in Knowledge Representation (2013) (10)
An Empirical Evaluation of Knowledge Compilation (1994) (10)
Plan Recognition (Dagstuhl Seminar 11141) (2011) (10)
A multimodal corpus for integrated language and action (2012) (9)
Modeling The Interplay of People's Location, Interactions, and Social Ties (2013) (9)
Modeling and Reasoning about Success, Failure, and Intent of Multi-Agent Activities (2010) (9)
Hardness-Aware Restart Policies (2003) (8)
Predicting acute kidney injury at hospital re-entry using high-dimensional electronic health record data (2018) (8)
A patient-centered digital scribe for automatic medical documentation (2021) (8)
The AIPS-98 planning competition: competitors' perspectives (2000) (7)
Node view: a mHealth real-time infectious disease interface disease interface - 2014 ebola outbreak case study (2015) (7)
Hierarchical Plans in a Description Logic of Time and Action (1995) (7)
Inferring Home Location from User's Photo Collections based on Visual Content and Mobility Patterns (2014) (7)
Modeling human behavior at a large scale (2012) (7)
05241 Executive Summary - Synthesis and Planning (2005) (6)
Contextual computer support for human activity (2004) (6)
Discovering Political Slang in Readers' Comments (2018) (6)
When Did You Start Doing that Thing that You Do? Interactive Activity Recognition and Prompting (2011) (6)
Implications for Location Systems in Indoor Wayfinding for Individuals with Cognitive Impairments (2006) (5)
Combining Social Networks and Collaborative Filtering An interactive system for restructuring, visualizing, and searching social networks on the Web. (1997) (5)
A General Framework for Recognizing Complex Events in Markov Logic (2013) (5)
Hierarchical Recognition of Activities in Daily Living using Multi-Scale , Multi-Perspective Vision and RFID ( short paper ) (2008) (5)
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video (2012) (5)
Energy-Aware Intelligence in Smart Spaces: A Case Study using Computer Vision and Machine Learning for User-Behavior Analysis (2012) (4)
Training Activity Recognition Systems Online Using Real-time Crowdsourcing (2012) (4)
Toward Caching Symmetrical Subtheories for Weighted Model Counting (2016) (4)
Multimodal Corpora : How should multimodal corpora deal with the situation ? (4)
Computational Challenges in Propositional Reasoning and Search (2007) (3)
Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10) (2010) (3)
Aligning movies with scripts by exploiting temporal ordering constraints (2016) (3)
Toward A Universal Inference Engine (2004) (3)
Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise (2012) (3)
MIND: A Tool for Mental Health Screening and Support of Therapy to Improve Clinical and Research Outcomes (2020) (2)
ts for Fast Inference (1992) (2)
The Fourth International Workshop on Nonmonotonic Reasoning (1994) (2)
Sporadic State Estimation for General Activity Inference (2004) (2)
Inferring Nighttime Satellite Imagery from Human Mobility (2020) (2)
Estimating Anxiety based on individual level engagements on YouTube & Google Search Engine (2020) (2)
Discovering intimate partner violence from web search history (2020) (2)
Twitter911: A Cautionary Tale (2017) (2)
Detecting Individuals with Depressive Disorder fromPersonal Google Search and YouTube History Logs (2020) (2)
Analyzing Uncivil Speech Provocation and Implicit Topics in Online Political News (2018) (2)
Research on Statistical Relational Learning at the University of Washington (2003) (2)
Boosting combination search through randomiza-tion (1998) (2)
Tractability through Theory Approximation (1992) (2)
Structure and PhaseTransition Phenomenain the VTC Problem (2001) (1)
Explaining Local, Global, And Higher-Order Interactions In Deep Learning (2020) (1)
Satisfiability Testing (2007) (1)
Encoding domain knowledge for propositional planning (2001) (1)
Encoding Domain and Control Knowledge for Propositional Planning (2000) (1)
Walksat in the SAT04 Competition (2004) (1)
Assisted cognition: Computer aids for people with Alzheimer (2002) (1)
AAAI Leadership Transition (2010) (1)
Technical Perspective: Combining logic and probability (2016) (1)
Preface: Volume 9 (2001) (1)
Human activity recognition in video: extending statistical features across time, space and semantic context (2011) (1)
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5 (2013) (1)
Learning and Predicting Transportation Routines (2006) (1)
Towards a Theory of Question-Answering Interfaces to Databases (2003) (1)
AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead (2010) (1)
Modal Markov Logic for Multiple Agents (2013) (1)
Human behavior modeling : papers from the AAAI Spring Symposium (2009) (1)
nowledge Compilation Horn Approximations (1999) (0)
2433: Real-time health activity reporting of citizens in Lagos, Nigeria using mHealth app node (2017) (0)
Techniques de filtrage de messages (1995) (0)
Real-time health activity reporting of citizens in Lagos, Nigeria using mHealth app node (2017) (0)
Best Paper (2015) (0)
Job-related discourse on social media (2015) (0)
A machine learning pipeline to predict acute kidney injury (AKI) in patients without AKI in their most recent hospitalization (2017) (0)
8.2 Denecker's Approach 8 Related Work 8.1 Gelfond and Lifschitz' Original Approach (1997) (0)
A Framework for Political Portmanteau Decomposition (2020) (0)
Incomplete Algorithms [ draft v 2 ] (0)
A Conversational Cognitive Aid with Activity Monitoring, Planning and Execution (2009) (0)
The Relationships of Deteriorating Depression and Anxiety With Longitudinal Behavioral Changes in Google and YouTube Use During COVID-19: Observational Study (Preprint) (2020) (0)
Integrating etrie a alitativ (1991) (0)
Découverte de relations sociales à partir de collections de photos personnelles (2009) (0)
Introduction to the Special Issue (1994) (0)
Planning with Tests, Branches, and Non-Deterministic Actions as Satisfiability (2012) (0)
Synthesis and Planning (2006) (0)
Symmetry Breaking for Relational Weighted Model Finding (2015) (0)
Panel Discussion on Artificial Intelligence Theory and Practice: Hard Challenges and Opportunities Ahead (2016) (0)
Individual-level Anxiety Detection and Prediction from Longitudinal YouTube and Google Search Engagement Logs (2020) (0)
Conditional Term Equivalent Symmetry Breaking for SAT (2017) (0)
Efficient inference: a machine learning approach (2004) (0)
A Unified Approach to Abductive Inference (2014) (0)
Reply to: On the difficulty of achieving differential privacy in practice: user-level guarantees in aggregate location data (2022) (0)
A Bayesian Approach to Solving Hard Computational Problems (2016) (0)
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010 (2010) (0)
Unlocking Government Data to Support and Evaluate Scientific Research: An Overview of Selected Papers from the Value of Science Conference (2022) (0)
Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?: Comparing 911 Calls Where Users Reside or Use Social Media (2018) (0)
Patent Number : 45 Date of Patent : 5 , 619 , 648 Apr . 8 , 1997 (2017) (0)
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 (2020) (0)
Agents vs. direct manipulation: what's best to disentangle the Web? (1999) (0)
Report on the Workshop on Advancing Assisted Cognition Technology for Persons with Traumatic Brain Injury (TBI) (2005) (0)
Planning as Satis abilityHenry (1992) (0)
Agent realization device (1995) (0)
Easoning Istic S (1999) (0)
irical luatio (1999) (0)
Logicism is alive and well (1987) (0)
Human State Estimation Through Learning Over Common Sense Data (0)
Program committee (2022) (0)
A Context for Assisted Cognition (2002) (0)
Reviewers Index (2017) (0)
News filtering techniques (1995) (0)
MIND (2020) (0)
Twitter 911 : A Cautionary Tale (2017) (0)
CupQ: A New Clinical Literature Search Engine (2019) (0)
05241 Abstracts Collection - Synthesis and Planning (2005) (0)
Synthesis and Planning, 12.-17. June 2005 (2006) (0)
Scalable Knowledge Representation and Reasoning Systems (2000) (0)
Device for automatically limiting recipient of message (1995) (0)

This paper list is powered by the following services:

Other Resources About Henry Kautz

en.wikipedia.org

What Schools Are Affiliated With Henry Kautz?

Henry Kautz is affiliated with the following schools: