2025
HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods.
CoRR, April, 2025
2023
ARCHIMEDES: Active Reasoning Conducted with Heterogeneous Information Monitors for Evading Dangers and Extended Surveillance.
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
2021
Toward A Robust Method for Understanding the Replicability of Research.
Proceedings of the Workshop on Scientific Document Understanding co-located with 35th AAAI Conference on Artificial Inteligence, 2021
2020
Provenance-Based Assessment of Plans in Context.
CoRR, 2020
2019
Hierarchical Task Network Planning in Common Lisp: the case of SHOP3.
Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019
Profiles, Proxies, and Assumptions: Decentralized, Communications-Resilient Planning, Allocation, and Scheduling.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Learning task hierarchies using statistical semantics and goal reasoning.
AI Commun., 2018
2017
Analogical Localization: Flexible Plan Execution in Open Worlds.
Proceedings of ICCBR 2017 Workshops (CAW, 2017
2016
Learning Hierarchical Task Models from Input Traces.
Comput. Intell., 2016
2015
Active Perception for Cyber Intrusion Detection and Defense.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
Computational Mechanisms to Support Reporting of Self Confidence of Automated/Autonomous Systems.
Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015
HACKAR: Helpful Advice for Code Knowledge and Attack Resilience.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Plan aggregation for strong cyclic planning in nondeterministic domains.
Artif. Intell., 2014
On the Feasibility of Planning Graph Style Heuristics for HTN Planning.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014
2013
Comparing Strategic and Tactical Responses to Cyber Threats.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning.
Proceedings of the IJCAI 2013, 2013
2012
An Ensemble Architecture for Learning Complex Problem-Solving Techniques from Demonstration.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
ACM Trans. Intell. Syst. Technol., 2012
Learning and Verifying Safety Constraints for Planners in a Knowledge-Impoverished System.
Comput. Intell., 2012
HTN Problem Spaces: Structure, Algorithms, Termination.
Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
A hierarchical goal-based formalism and algorithm for single-agent planning.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Generating strategies for multi-agent pursuit-evasion games in partially observable Euclidean space.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
DiscoverHistory: understanding the past in planning and execution.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Caretaker: A Social Game for Studying Trust Dynamics.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011
Coevolving Strategies in Social-Elimination Games.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011
Real-Time Planning for Covering an Initially-Unknown Spatial Environment.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011
What Just Happened? Explaining the Past in Planning and Execution.
Proceedings of the Explanation-aware Computing, 2011
Learning Event Models that Explain Anomalies.
Proceedings of the Explanation-aware Computing, 2011
2010
Using probabilistic confidence models for trust inference in Web-based social networks.
ACM Trans. Internet Techn., 2010
The IJCAI-09 Workshop on Learning Structural Knowledge From Observations (STRUCK-09).
AI Mag., 2010
Using a Social Orientation Model for the Evolution of Cooperative Societies.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010
Emergence of cooperative societies in evolutionary games.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010
Incremental plan aggregation for generating policies in MDPs.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Strategy generation in multi-agent imperfect-information pursuit games.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
The Ripple Effect: Change in Trust and Its Impact Over a Social Network.
Proceedings of the Computing with Social Trust, 2009
Learning and Planning (Intelligent Systems).
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009
Task decomposition on abstract states, for planning under nondeterminism.
Artif. Intell., 2009
Semantic Web Service Composition in Social Environments.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009
A goal- and dependency-directed algorithm for learning hierarchical task networks.
Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), 2009
Inductive Generalization of Analytically Learned Goal Hierarchies.
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009
Learning Hierarchical Task Networks for Nondeterministic Planning Domains.
Proceedings of the IJCAI 2009, 2009
Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way.
Proceedings of the IJCAI 2009, 2009
An Ensemble Learning and Problem Solving Architecture for Airspace Management.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Twenty-First Conference on Innovative Applications of Artificial Intelligence, 2009
Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009
Thinking Ahead in Real-Time Search.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Planning for Interactions among Autonomous Agents.
Proceedings of the Programming Multi-Agent Systems, 2008
Using Friendship Ties and Family Circles for Link Prediction.
Proceedings of the Advances in Social Network Mining and Analysis, 2008
Combining Heuristic Search with Hierarchical Task-Network Planning: A Preliminary Report.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008
Web Service Composition with User Preferences.
Proceedings of the Semantic Web: Research and Applications, 2008
Combining Domain-Independent Planning and HTN Planning: The Duet Planner.
Proceedings of the ECAI 2008, 2008
Using Classical Planners to Solve Nondeterministic Planning Problems.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008
HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning.
Proceedings of the Abstraction, 2007
SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Web Service Composition via Problem Decomposition Across Multiple Ontologies.
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007
2006
Planning Under Uncertainty: Moving Forward.
PhD thesis, 2006
Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond.
Proceedings of the Proceedings, 2006
2005
Information gathering during planning for Web Service composition.
J. Web Semant., 2005
Applications of SHOP and SHOP2.
IEEE Intell. Syst., 2005
Web Service Composition with Volatile Information.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005
A Hierarchical Task-Network Planner based on Symbolic Model Checking.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005
Using Domain-Configurable Search Control for Probabilistic Planning.
Proceedings of the Proceedings, 2005
2004
Forward-Chaining Planning in Nondeterministic Domains.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
SHOP2: An HTN Planning System.
J. Artif. Intell. Res., 2003
Planning in Answer Set Programming Using Ordered Task Decomposition.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003