AI Planning Publications
2020
Parallel AND/OR Search for Marginal MAP
Radu Marinescu, Akihiro Kishimoto, Adi Botea
AAAI, 2020
Accepted
Radu Marinescu, Akihiro Kishimoto, Adi Botea
AAAI, 2020
Accepted
Top-Quality Planning: Finding Practically Useful Sets of Best Plans
Michael Katz, Shirin Sohrabi, Octavian Udrea
AAAI 2020
Michael Katz, Shirin Sohrabi, Octavian Udrea
AAAI 2020
Online Planner Selection with Graph Neural Networks and Adaptive Scheduling
Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
AAAI 2020
Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
AAAI 2020
2019
AI Planning for Enterprise: Putting Theory Into Practice
Shirin Sohrabi
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19), 2019
Shirin Sohrabi
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19), 2019
Towards Automated Planning for Enterprise Services: Opportunities and Challenges
Maja Vukovic, Scott Gerard, Rick Hull, Michael Katz, Laura Shwartz, Shirin Sohrabi, Christian Muise, John Rofrano, Anup Kalia, Jinho Hwang, Dang Yabin, Ma Jie, Jiang Zhuoxuan
Service-Oriented Computing, 64-68, Springer International Publishing, 2019
Maja Vukovic, Scott Gerard, Rick Hull, Michael Katz, Laura Shwartz, Shirin Sohrabi, Christian Muise, John Rofrano, Anup Kalia, Jinho Hwang, Dang Yabin, Ma Jie, Jiang Zhuoxuan
Service-Oriented Computing, 64-68, Springer International Publishing, 2019
Unsupervised Grounding of Plannable First-Order Logic Representation from Images
Masataro Asai
ICAPS, 2019
Masataro Asai
ICAPS, 2019
Towards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder
Masataro Asai, Hiroshi Kajino
ICAPS, 2019
Masataro Asai, Hiroshi Kajino
ICAPS, 2019
Planning and visualization for a smart meeting room assistant1: A case study in the Cognitive Environments Laboratory at IBM T.J. Waston Research Center, Yorktown
Tathagata Chakraborti, Kshitij P. Fadnis, Kartik Talamadupula, Mishal Dholakia, Biplav Srivastava, Jeffrey O. Kephart, Rachel K. E. Bellamy
Ai Communications, 1-9, 2019
visualization, research center, ibm, human computer interaction, computer science, cognition, artificial intelligence
Tathagata Chakraborti, Kshitij P. Fadnis, Kartik Talamadupula, Mishal Dholakia, Biplav Srivastava, Jeffrey O. Kephart, Rachel K. E. Bellamy
Ai Communications, 1-9, 2019
visualization, research center, ibm, human computer interaction, computer science, cognition, artificial intelligence
IBM Scenario Planning Advisor: Plan recognition as AI planning in practice
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz, and Anton Riabov
AI Communications 32(1), 1-13, 2019
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz, and Anton Riabov
AI Communications 32(1), 1-13, 2019
Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces
Akihiro Kishimoto, Adi Botea, Radu Marinescu
IJCAI, 2019
Akihiro Kishimoto, Adi Botea, Radu Marinescu
IJCAI, 2019
Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning
Akihiro Kishimoto, Beat Buesser, Bei Chen, Adi Botea
NeurIPS, 2019
Accepted
Akihiro Kishimoto, Beat Buesser, Bei Chen, Adi Botea
NeurIPS, 2019
Accepted
IBM Scenario Planning Advisor: Plan recognition as AI planning in practice
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D Feblowitz, Anton Riabov
AI Communications pp. Preprint, 1--13, IOS Press, 2019
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D Feblowitz, Anton Riabov
AI Communications pp. Preprint, 1--13, IOS Press, 2019
Top-Quality: Finding Practically Useful Sets of Best Plans
Michael Katz, Shirin Sohrabi, Octavian Udrea
2019
Michael Katz, Shirin Sohrabi, Octavian Udrea
2019
IPC: A Benchmark Data Set for Learning with Graph-Structured Data
Patrick Ferber, Tengfei Ma, Siyu Huo, Jie Chen, Michael Katz
arXiv preprint arXiv:1905.06393, 2019
Patrick Ferber, Tengfei Ma, Siyu Huo, Jie Chen, Michael Katz
arXiv preprint arXiv:1905.06393, 2019
The Role of IPC in Setting Standards for Experimental Evaluation in Planning Research
Michael Katz, Silvan Sievers
2019
Michael Katz, Silvan Sievers
2019
Democratizing Usage of Planning Systems by Facilitating Research in Algorithm Selection for Planning
Michael Katz, Silvan Sievers
2019
Michael Katz, Silvan Sievers
2019
A* Search and Bound-Sensitive Heuristics for Oversubscription Planning
Michael Katz, Emil Keyder
HSDIP 2019
Michael Katz, Emil Keyder
HSDIP 2019
Answering binary causal questions through large-scale text mining: An evaluation using cause-effect pairs from human experts
Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz
IJCAI19, 2019
Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz
IJCAI19, 2019
Towards Automated Planning for Enterprise Services: Opportunities and Challenges
Maja Vukovic, Scott Gerard, Rick Hull, Michael Katz, Laura Shwartz, Shirin Sohrabi, Christian Muise, John Rofrano, Anup Kalia, Jinho Hwang, others
International Conference on Service-Oriented Computing, pp. 64--68, 2019
Maja Vukovic, Scott Gerard, Rick Hull, Michael Katz, Laura Shwartz, Shirin Sohrabi, Christian Muise, John Rofrano, Anup Kalia, Jinho Hwang, others
International Conference on Service-Oriented Computing, pp. 64--68, 2019
Oversubscription Planning as Classical Planning with Multiple Cost Functions
Michael Katz, Emil Keyder, Florian Pommerening, Dominik Winterer
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), 2019
Michael Katz, Emil Keyder, Florian Pommerening, Dominik Winterer
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), 2019
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks
Silvan Sievers, Gabriele Roeger, Martin Wehrle, Michael Katz
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), 2019
Silvan Sievers, Gabriele Roeger, Martin Wehrle, Michael Katz
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), 2019
Red-Black Heuristics for Planning Tasks with Conditional Effects
Michael Katz
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI-19), 2019
Michael Katz
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI-19), 2019
Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection
Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz, Patrick Ferber
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI-19), 2019
Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz, Patrick Ferber
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI-19), 2019
PETRA: The PErsonal TRansport Advisor Platform and Services
Michele Berlingerio, Veli Bicer, Adi Botea, Stefano Braghin, Francesco Calabrese, Nuno Lopes, Riccardo Guidotti, Francesca Pratesi, Andrea Sassi
2019
Michele Berlingerio, Veli Bicer, Adi Botea, Stefano Braghin, Francesco Calabrese, Nuno Lopes, Riccardo Guidotti, Francesca Pratesi, Andrea Sassi
2019
Anytime Recursive Best-First Search for Bounding Marginal MAP
Radu Marinescu, Rina Dechter, Alexander Ihler, Akihiro Kishimoto, Adi Botea
Proceedings of AAAI 2019
Radu Marinescu, Rina Dechter, Alexander Ihler, Akihiro Kishimoto, Adi Botea
Proceedings of AAAI 2019
2018
Adaptive Planner Scheduling with Graph Neural Networks
Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
arXiv preprint arXiv:1811.00210, 2018
Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
arXiv preprint arXiv:1811.00210, 2018
Delfi: Online Planner Selection for Cost-Optimal Planning
Michael Katz, Shirin Sohrabi, Horst Samulowitz, Silvan Sievers
Ninth International Planning Competition (IPC-9), 2018
Michael Katz, Shirin Sohrabi, Horst Samulowitz, Silvan Sievers
Ninth International Planning Competition (IPC-9), 2018
Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs
Adi Botea, Davide Bonusi, Pavel Surynek
Journal of AI Research, JAIR, 2018
Adi Botea, Davide Bonusi, Pavel Surynek
Journal of AI Research, JAIR, 2018
Symmetry-based Task Reduction for Relaxed Reachability Analysis
Gabriele Roeger and Silvan Sievers and Michael Katz
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018)
To appear
Gabriele Roeger and Silvan Sievers and Michael Katz
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018)
To appear
A Novel Iterative Approach to Top-k Planning
Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018)
Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018)
Semi-Black Box: Rapid Development of Planning Based Solutions
Michael Katz, Dany Moshkovich, Erez Karpas
AAAI, 2018
Michael Katz, Dany Moshkovich, Erez Karpas
AAAI, 2018
An AI Planning Solution to Scenario Generation for Enterprise Risk Management
Shirin Sohrabi, Anton Riabov, Michael Katz, and Octavian Udrea
Proceedings of the 32nd Conference on Artificial Intelligence (AAAI-18), 2018
Shirin Sohrabi, Anton Riabov, Michael Katz, and Octavian Udrea
Proceedings of the 32nd Conference on Artificial Intelligence (AAAI-18), 2018
Parallel A* for State-Space Search
Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto
Handbook of Parallel Constraint Programming, pp. 419-455, Springer, 2018
Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto
Handbook of Parallel Constraint Programming, pp. 419-455, Springer, 2018
Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract)
Adi Botea, Davide Bonusi, Pavel Surynek
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 5563-5567, 2018
discrete mathematics, machine learning, artificial intelligence, computer science
Adi Botea, Davide Bonusi, Pavel Surynek
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 5563-5567, 2018
discrete mathematics, machine learning, artificial intelligence, computer science
Two-Oracle Optimal Path Planning on Grid Maps
Matteo Salvetti, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti
Proceedings of the International Conference on Automated Planning and Scheduling ICAPS, pp. 227--231, AAAI Press, 2018
Matteo Salvetti, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti
Proceedings of the International Conference on Automated Planning and Scheduling ICAPS, pp. 227--231, AAAI Press, 2018
On the Complexity of Quantum Circuit Compilation
Adi Botea, Akihiro Kishimoto, Radu Marinescu
Symposium on Combinatorial Search (SoCS), 2018
Adi Botea, Akihiro Kishimoto, Radu Marinescu
Symposium on Combinatorial Search (SoCS), 2018
Reformulating Oversubscription Planning Tasks
Michael Katz, Vitaly Mirkis, Florian Pommerening, Dominik Winterer
Proceedings of the 10th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'18), 2018
Michael Katz, Vitaly Mirkis, Florian Pommerening, Dominik Winterer
Proceedings of the 10th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'18), 2018
IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz
Proceedings of Demonstration Track at the the 27th International Joint Conference on Artificial Intelligence (IJCAI-18), 2018
Won runner-up award.
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz
Proceedings of Demonstration Track at the the 27th International Joint Conference on Artificial Intelligence (IJCAI-18), 2018
Won runner-up award.
A Novel Iterative Approach to Top-k Planning
Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS), pp. 132-140, 2018
Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS), pp. 132-140, 2018
Good Old Mercury Planner
Michael Katz, Joerg Hoffmann
Ninth International Planning Competition (IPC-9), 2018
Michael Katz, Joerg Hoffmann
Ninth International Planning Competition (IPC-9), 2018
Delfi: Online Planner Selection for Cost-Optimal Planning
Michael Katz, Shirin Sohrabi, Horst Samulowitz, Silvan Sievers
Ninth International Planning Competition (IPC-9), 2018
Michael Katz, Shirin Sohrabi, Horst Samulowitz, Silvan Sievers
Ninth International Planning Competition (IPC-9), 2018
Cerberus: Red-Black Heuristic for Planning Tasks with Conditional Effects Meets Novelty Heuristic and Enhanced Mutex Detection
Michael Katz
Ninth International Planning Competition (IPC-9), 2018
Michael Katz
Ninth International Planning Competition (IPC-9), 2018
IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice.
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D Feblowitz
IJCAI Demonstrations, pp. 5865--5867, 2018
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D Feblowitz
IJCAI Demonstrations, pp. 5865--5867, 2018
MERWIN Planner: Mercury Enchanced With Novelty Heuristic
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Ninth International Planning Competition (IPC-9), 2018
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Ninth International Planning Competition (IPC-9), 2018
2017
Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads
Carlos Hern\'{a}ndez, Adi Botea, Jorge A. Baier, Vadim Bulitko
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 510--516
Carlos Hern\'{a}ndez, Adi Botea, Jorge A. Baier, Vadim Bulitko
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 510--516
New Results for the GEO-CAPE Observation Scheduling Problem
Philippe Laborie, Bilal Messaoudi
27th International Conference on Automated Planning and Scheduling, 2017
Abstract
Philippe Laborie, Bilal Messaoudi
27th International Conference on Automated Planning and Scheduling, 2017
Abstract
Efficient Optimal Search under Expensive Edge Cost Computation
Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth Daly, Spyros Kotoulas
IJCAI, 2017
Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth Daly, Spyros Kotoulas
IJCAI, 2017
UbuntuWorld 1.0 LTS - A Platform for Automated Problem Solving and Troubleshooting in the Ubuntu OS
Tathagata Chakraborti, Kartik Talamadupula, Kshitij P. Fadnis, Murray Campbell, Subbarao Kambhampati
IAAI/AAAI, AAAI Press, 2017
Tathagata Chakraborti, Kartik Talamadupula, Kshitij P. Fadnis, Murray Campbell, Subbarao Kambhampati
IAAI/AAAI, AAAI Press, 2017
Herding the Crowd: Using Automated Planning for Better Crowdsourced Planning
Lydia Manikonda, Tathagata Chakraborti, Kartik Talamadupula, Subbarao Kambhampati
Human Computation Journal, 2017
Lydia Manikonda, Tathagata Chakraborti, Kartik Talamadupula, Subbarao Kambhampati
Human Computation Journal, 2017
A Knowledge Driven Policy Framework for Internet of Things.
G{\"o}yn{\"u}g{\"u}r, Emre and de Mel, Geeth and Sensoy, Murat and Talamadupula, Kartik and Calo, Seraphin B
ICAART (2), pp. 207--216, 2017
G{\"o}yn{\"u}g{\"u}r, Emre and de Mel, Geeth and Sensoy, Murat and Talamadupula, Kartik and Calo, Seraphin B
ICAART (2), pp. 207--216, 2017
Mr. Jones--Towards a Proactive Smart Room Orchestrator
Chakraborti, Tathagata and Talamadupula, Kartik and Dholakia, Mishal and Srivastava, Biplav and Kephart, Jeffrey O and Bellamy, Rachel KE
arXiv preprint arXiv:1709.04517, 2017
Abstract
Chakraborti, Tathagata and Talamadupula, Kartik and Dholakia, Mishal and Srivastava, Biplav and Kephart, Jeffrey O and Bellamy, Rachel KE
arXiv preprint arXiv:1709.04517, 2017
Abstract
Policy Conflict Resolution in IoT via Planning
Talamadupula, Kartik and Sensoy, Murat
Advances in Artificial Intelligence: 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings, pp. 169
Abstract
Talamadupula, Kartik and Sensoy, Murat
Advances in Artificial Intelligence: 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings, pp. 169
Abstract
Workflow Complexity for Collaborative Interactions: Where are the Metrics?--A Challenge
Talamadupula, Kartik and Srivastava, Biplav and Kephart, Jeffrey O
arXiv preprint arXiv:1709.04524, 2017
Abstract
Talamadupula, Kartik and Srivastava, Biplav and Kephart, Jeffrey O
arXiv preprint arXiv:1709.04524, 2017
Abstract
UbuntuWorld 1.0 LTS-A Platform for Automated Problem Solving \& Troubleshooting in the Ubuntu OS.
Chakraborti, Tathagata and Talamadupula, Kartik and Fadnis, Kshitij P and Campbell, Murray and Kambhampati, Subbarao
AAAI, pp. 4657--4663, 2017
Abstract
Chakraborti, Tathagata and Talamadupula, Kartik and Fadnis, Kshitij P and Campbell, Murray and Kambhampati, Subbarao
AAAI, pp. 4657--4663, 2017
Abstract
Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework
Peveler, Matthew and Srivastava, Biplav and Talamadupula, Kartik and Bringsjord, Selmer and Su, Hui and others
arXiv preprint arXiv:1709.05958, 2017
Abstract
Peveler, Matthew and Srivastava, Biplav and Talamadupula, Kartik and Bringsjord, Selmer and Su, Hui and others
arXiv preprint arXiv:1709.05958, 2017
Abstract
Adapting Novelty to Classical Planning as Heuristic Search
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Proc. ICAPS, 2017
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Proc. ICAPS, 2017
Stubborn Sets for Fully Observable Nondeterministic Planning
Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
Proc. ICAPS, 2017
Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
Proc. ICAPS, 2017
Strengthening Canonical Pattern Databases with Structural Symmetries
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS), 2017
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS), 2017
Structural Symmetries of the Lifted Representation of Classical Planning Tasks
Silvan Sievers, Gabriele Roeger, Martin Wehrle, Michael Katz
Proceedings of the Heuristics and Search for Domain-independent Planning (HSDIP) workshop at ICAPS, 2017
Silvan Sievers, Gabriele Roeger, Martin Wehrle, Michael Katz
Proceedings of the Heuristics and Search for Domain-independent Planning (HSDIP) workshop at ICAPS, 2017
State Projection via AI Planning
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of the 31st Conference on Artificial Intelligence (AAAI-17), 2017
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of the 31st Conference on Artificial Intelligence (AAAI-17), 2017
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report)
Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith
Proceedings of the The AAAI 2017 Workshop on Plan, Activity, and Intent Recognition (PAIR)
Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith
Proceedings of the The AAAI 2017 Workshop on Plan, Activity, and Intent Recognition (PAIR)
Scenario Planning for Enterprise Risk Management
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of Application Showcase Program at the 27th International Conference on Automated Planning and Scheduling (ICAPS-17), 2017
Won best demo award.
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of Application Showcase Program at the 27th International Conference on Automated Planning and Scheduling (ICAPS-17), 2017
Won best demo award.
Planning-based Scenario Generation for Enterprise Risk Management
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of the Scheduling and Planning Applications woRKshop (SPARK), 2017
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of the Scheduling and Planning Applications woRKshop (SPARK), 2017
Using Lightweight Semantic Models to Assist Risk Management in a Large Enterprise
Shirin Sohrabi, Anton Riabov, Octavian Udrea, Fang Yuan
Proceedings of the 16th International Semantic Web Conference - Industry Track (ISWC-17), 2017
Shirin Sohrabi, Anton Riabov, Octavian Udrea, Fang Yuan
Proceedings of the 16th International Semantic Web Conference - Industry Track (ISWC-17), 2017
Extracting Incomplete Planning Action Models from Unstructured Social Media Data to Support Decision Making
Lydia Manikonda, Shirin Sohrabi, Kartik Talamadupula, Biplav Srivastava, Subbarao Kambhampati
Proceedings of the Automated Planning and Scheduling (ICAPS) Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), 2017
Lydia Manikonda, Shirin Sohrabi, Kartik Talamadupula, Biplav Srivastava, Subbarao Kambhampati
Proceedings of the Automated Planning and Scheduling (ICAPS) Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), 2017
Compressed Path Databases with Ordered Wildcard Substitutions
Matteo Salvetti, Adi Botea, Alessandro Saetti, Alfonso Emilio Gerevini
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017., pp. 250--258
Matteo Salvetti, Adi Botea, Alessandro Saetti, Alfonso Emilio Gerevini
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017., pp. 250--258
A Scalable Approach to Chasing Multiple Moving Targets with Multiple
Agents
Fan Xie, Adi Botea, Akihiro Kishimoto
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4470--4476
Fan Xie, Adi Botea, Akihiro Kishimoto
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4470--4476
2016
Hedging the Risk of Delays in Multi-Modal Journey Planning
Adi Botea
AI Magazine, 2016
Adi Botea
AI Magazine, 2016
Service Bundle Recommendation for Person-centered Care Planning in Cities
Spyros Kotoulas, Elizabeth Daly, Pierpaolo Tommasi, Akihiro Kishimoto, Vanessa Lopez, Martin Stephenson, Adi Botea, Marco Sbodio, Radu Marinescu, Ronan Rooney
Health-Exploring Complexity: An Interdisciplinary Systems Approach (HEC), 2016
Spyros Kotoulas, Elizabeth Daly, Pierpaolo Tommasi, Akihiro Kishimoto, Vanessa Lopez, Martin Stephenson, Adi Botea, Marco Sbodio, Radu Marinescu, Ronan Rooney
Health-Exploring Complexity: An Interdisciplinary Systems Approach (HEC), 2016
Scalable Exact MAP Inference in Graphical Models
Radu Marinescu, Akihiro Kishimoto, Adi Botea
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16), pp. 1684--1685, 2016
Radu Marinescu, Akihiro Kishimoto, Adi Botea
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16), pp. 1684--1685, 2016
Proceedings of the Ninth Annual Symposium on Combinatorial Search
Jorge Baier and Adi Botea, editors
AAAI Press, 2016
Jorge Baier and Adi Botea, editors
AAAI Press, 2016
Docit: An Integrated System for Risk-Averse Multi-Modal Journey Advising
A. Botea, M. Berlingerio, E. Bouillet, S. Braghin, F. Calabrese, B. Chen, Y. Gkoufas, M. Laummans, R. Nair, T. Nonner
Cities and Homes: Key Enabling Technologies, Morgan Kaufmann, 2016
A. Botea, M. Berlingerio, E. Bouillet, S. Braghin, F. Calabrese, B. Chen, Y. Gkoufas, M. Laummans, R. Nair, T. Nonner
Cities and Homes: Key Enabling Technologies, Morgan Kaufmann, 2016
Service Bundle Recommendation for Person-Centered Care Planning in Cities.
KOTOULAS, Spyros and DALY, Elizabeth and TOMMASI, Pierpaolo and KISHIMOTO, Akihiro and LOPEZ, Vanessa and STEPHENSON, Martin and BOTEA, Adi and SBODIO, Marco and MARINESCU, Radu and ROONEY, Ronan
Studies in health technology and informatics228, 33, 2016
KOTOULAS, Spyros and DALY, Elizabeth and TOMMASI, Pierpaolo and KISHIMOTO, Akihiro and LOPEZ, Vanessa and STEPHENSON, Martin and BOTEA, Adi and SBODIO, Marco and MARINESCU, Radu and ROONEY, Ronan
Studies in health technology and informatics228, 33, 2016
Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty
Kishimoto, Akihiro and Botea, Adi and Daly, Elizabeth
Proceedings of the 22nd European Conference on Artificial Intelligence, ECAI-16, pp. 295, 2016
Kishimoto, Akihiro and Botea, Adi and Daly, Elizabeth
Proceedings of the 22nd European Conference on Artificial Intelligence, ECAI-16, pp. 295, 2016
Automatic Resolution of Policy Conflicts in IoT Environments Through Planning
Emre Goynugur, Kartik Talamadupula, Geeth de Mel, Murat Sensoy
ICAPS 2016 SPARK Workshop
Emre Goynugur, Kartik Talamadupula, Geeth de Mel, Murat Sensoy
ICAPS 2016 SPARK Workshop
A Formal Framework for Studying Interaction in Human-Robot Societies
Tathagata Chakraborti, Kartik Talamadupula, Yu Zhang, Subbarao Kambhampati
AAAI 2016 Symbiotic Cognitive Systems Workshop
Tathagata Chakraborti, Kartik Talamadupula, Yu Zhang, Subbarao Kambhampati
AAAI 2016 Symbiotic Cognitive Systems Workshop
A Formal Framework for Studying Interaction in Human-Robot Societies.
Chakraborti, Tathagata and Talamadupula, Kartik and Zhang, Yu and Kambhampati, Subbarao
AAAI Workshop: Symbiotic Cognitive Systems, 2016
Abstract
Chakraborti, Tathagata and Talamadupula, Kartik and Zhang, Yu and Kambhampati, Subbarao
AAAI Workshop: Symbiotic Cognitive Systems, 2016
Abstract
In Search of Tractability for Partial Satisfaction Planning
Michael Katz, Vitaly Mirkis
25th International Joint Conference on Artificial Intelligence, 2016
Michael Katz, Vitaly Mirkis
25th International Joint Conference on Artificial Intelligence, 2016
Structural Symmetries for Fully Observable Nondeterministic Planning
Dominik Winterer, Martin Wehrle, Michael Katz
25th International Joint Conference on Artificial Intelligence, 2016
Dominik Winterer, Martin Wehrle, Michael Katz
25th International Joint Conference on Artificial Intelligence, 2016
Lifting Delete Relaxation Heuristics To Successor Generator Planning
Michael Katz, Dany Moshkovich, Erez Karpas
Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), 2016
Michael Katz, Dany Moshkovich, Erez Karpas
Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), 2016
Proceedings of the 8th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP)
J. Benton, Daniel Bryce, Michael Katz, Nir Lipovetzky, Christian Muise, Miquel Ram\irez, Alvaro Torralba
ICAPS, 2016
J. Benton, Daniel Bryce, Michael Katz, Nir Lipovetzky, Christian Muise, Miquel Ram\irez, Alvaro Torralba
ICAPS, 2016
Plan Recognition as Planning Revisited
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016
Shirin Sohrabi, Anton Riabov, Octavian Udrea
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016
Future State Projection as Planning
Shirin Sohrabi, Octavian Udrea, Anton Riabov
Proceedings of Application Showcase Program at the 26th International Conference on Automated Planning and Scheduling (ICAPS-16), 2016
Won runner-up award
Shirin Sohrabi, Octavian Udrea, Anton Riabov
Proceedings of Application Showcase Program at the 26th International Conference on Automated Planning and Scheduling (ICAPS-16), 2016
Won runner-up award
Efficient High Quality Plan Exploration for Network Security
Anton Riabov, Shirin Sohrabi, Octavian Udrea, Oktie Hassanzadeh
Proceedings of the Scheduling and Planning Applications woRKshop (SPARK), pp. 76-81, 2016
Anton Riabov, Shirin Sohrabi, Octavian Udrea, Oktie Hassanzadeh
Proceedings of the Scheduling and Planning Applications woRKshop (SPARK), pp. 76-81, 2016
Finding Diverse High-Quality Plans for Hypothesis Generation
Shirin Sohrabi, Anton Riabov, Octavian Udrea, Oktie Hassanzadeh
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI), 2016
Shirin Sohrabi, Anton Riabov, Octavian Udrea, Oktie Hassanzadeh
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI), 2016
Interactive Planning-based Hypothesis Generation with LTS++
Shirin Sohrabi, Octavian Udrea, Anton Riabov, Oktie Hassanzadeh
Proceedings of Application Showcase Program at the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016
Shirin Sohrabi, Octavian Udrea, Anton Riabov, Oktie Hassanzadeh
Proceedings of Application Showcase Program at the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016
Producing Clustered Top-K Plans
Hassanzadeh, Oktie and Riabov, Anton V and Sohrabi, Shirin and Udrea, Octavian
US Patent 20,160,117,602
Hassanzadeh, Oktie and Riabov, Anton V and Sohrabi, Shirin and Udrea, Octavian
US Patent 20,160,117,602
Automated Software Composition
Feblowitz, Mark D and Halim, Nagui and Riabov, Anton V and Ranganathan, Anand and Sohrabi, Shirin and Udrea, Octavian
US Patent 9,286,032
Feblowitz, Mark D and Halim, Nagui and Riabov, Anton V and Ranganathan, Anand and Sohrabi, Shirin and Udrea, Octavian
US Patent 9,286,032
Finding Diverse High-Quality Plans for Hypothesis Generation
Shirin Sohrabi and Anton Riabov and Octavian Udrea and Oktie Hassanzadeh
Proceedings of the Eighth International Workshop on Modeling and Reasoning in Context at ECAI (MRC), 2016
Shirin Sohrabi and Anton Riabov and Octavian Udrea and Oktie Hassanzadeh
Proceedings of the Eighth International Workshop on Modeling and Reasoning in Context at ECAI (MRC), 2016
2015
Parallel Recursive Best-First AND/OR Search for Exact MAP Inference in Graphical Models
Akihiro Kishimoto, Radu Marinescu and Adi Botea
Proceedings of the 29th Annual Conference on Neural Information Processing Systems (NIPS) , 2015
Akihiro Kishimoto, Radu Marinescu and Adi Botea
Proceedings of the 29th Annual Conference on Neural Information Processing Systems (NIPS) , 2015
Active Learning for Multi-relational Data Construction
Hiroshi Kajino, Akihiro Kishimoto, Adi Botea, Elizabeth Daly, Spyros Kotoulas
Proceedings of the 24th World Wide Web Conference (WWW 2015)., pp. 560-569
Hiroshi Kajino, Akihiro Kishimoto, Adi Botea, Elizabeth Daly, Spyros Kotoulas
Proceedings of the 24th World Wide Web Conference (WWW 2015)., pp. 560-569
Heuristic-Aided Compressed Distance Databases
Fan Xie, Adi Botea, Akihiro Kishimoto
The PlanOpt-15 Workshop at the AAAI Conference, 2015
Fan Xie, Adi Botea, Akihiro Kishimoto
The PlanOpt-15 Workshop at the AAAI Conference, 2015
Complexity Results for Compressing Optimal Paths
Adi Botea, Ben Strasser and Daniel Harabor
Proceedings of AAAI 2015, AAAI Press
Adi Botea, Ben Strasser and Daniel Harabor
Proceedings of AAAI 2015, AAAI Press
Contingent versus Deterministic Plans in Multi-Modal Journey Planning
Adi Botea, Stefano Braghin
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015., pp. 268--272
Adi Botea, Stefano Braghin
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015., pp. 268--272
Compressing Optimal Paths with Run Length Encoding
Ben Strasser, Adi Botea, Daniel Harabor
Journal of Artificial Intelligence Research, 2015
Ben Strasser, Adi Botea, Daniel Harabor
Journal of Artificial Intelligence Research, 2015
The Grid-Based Path Planning Competition: 2014 Entries and Results
Nathan R Sturtevant, Jason Traish, James Tulip, Tansel Uras, Sven Koenig, Ben Strasser, Adi Botea, Daniel Harabor, Steve Rabin
Eighth Annual Symposium on Combinatorial Search, 2015
Nathan R Sturtevant, Jason Traish, James Tulip, Tansel Uras, Sven Koenig, Ben Strasser, Adi Botea, Daniel Harabor, Steve Rabin
Eighth Annual Symposium on Combinatorial Search, 2015
Managing travels with PETRA: The Rome use case
Adi Botea, Stefano Braghin, Nuno Lopes, Riccardo Guidotti, Francesca Pratesi
2015 31st IEEE International Conference on Data Engineering Workshops (ICDEW), pp. 110--111
Adi Botea, Stefano Braghin, Nuno Lopes, Riccardo Guidotti, Francesca Pratesi
2015 31st IEEE International Conference on Data Engineering Workshops (ICDEW), pp. 110--111
Mobility Mining for Journey Planning in Rome
Michele Berlingerio, Veli Bicer, Adi Botea, Stefano Braghin, Nuno Lopes, Riccardo Guidotti, Francesca Pratesi
Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III, pp. 222--226
Michele Berlingerio, Veli Bicer, Adi Botea, Stefano Braghin, Nuno Lopes, Riccardo Guidotti, Francesca Pratesi
Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III, pp. 222--226
The 2014 International Planning Competition: Progress and Trends
Stefano V. Albrecht, J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea, Chi Hung Chi, Theodoros Damoulas, Bistra Dilkina, Eric Eaton, Pooyan Fazli, Sam Ganzfried, C. Lee Giles, Sebastien Guillet, Robert Holte, Frank Hutter, Thorsten Ko
Ai Magazine 36(2), 90-101, 2015
Abstract web intelligence, marketing and artificial intelligence, intelligence cycle, computational sustainability, intelligence cycle, actor modeling, music and artificial intelligence, applications of artificial intelligence, simulation, artificial intelligence,
Stefano V. Albrecht, J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea, Chi Hung Chi, Theodoros Damoulas, Bistra Dilkina, Eric Eaton, Pooyan Fazli, Sam Ganzfried, C. Lee Giles, Sebastien Guillet, Robert Holte, Frank Hutter, Thorsten Ko
Ai Magazine 36(2), 90-101, 2015
Abstract web intelligence, marketing and artificial intelligence, intelligence cycle, computational sustainability, intelligence cycle, actor modeling, music and artificial intelligence, applications of artificial intelligence, simulation, artificial intelligence,
Multi-Agent Path Finding on Strongly Biconnected Digraphs.
Botea, Adi and Surynek, Pavel
Proceedings of AAAI-15, pp. 2024--2030, 2015
Botea, Adi and Surynek, Pavel
Proceedings of AAAI-15, pp. 2024--2030, 2015
Factored Symmetries for Merge-and-Shrink Abstractions.
Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael
AAAI, pp. 3378--3385, 2015
Abstract
Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael
AAAI, pp. 3378--3385, 2015
Abstract
Heuristics and Symmetries in Classical Planning.
Shleyfman, Alexander and Katz, Michael and Helmert, Malte and Sievers, Silvan and Wehrle, Martin
AAAI, pp. 3371--3377, 2015
Abstract
Shleyfman, Alexander and Katz, Michael and Helmert, Malte and Sievers, Silvan and Wehrle, Martin
AAAI, pp. 3371--3377, 2015
Abstract
Planning for Serendipity
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Matthias Scheutz, David E. Smith, Subbarao Kambhampati
IEEE/RSJ International Conference on Intelligent Robots (IROS), 2015
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Matthias Scheutz, David E. Smith, Subbarao Kambhampati
IEEE/RSJ International Conference on Intelligent Robots (IROS), 2015
Planning for serendipity-altruism in human-robot cohabitation
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Matthias Scheutz, David Smith, Subbarao Kambhampati
ICAPS Workshop on Planning and Robotics (PlanRob), 2015
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Matthias Scheutz, David Smith, Subbarao Kambhampati
ICAPS Workshop on Planning and Robotics (PlanRob), 2015
Factored symmetries for merge-and-shrink abstractions
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3378--3385
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3378--3385
Heuristics and Symmetries in Classical Planning
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Red-black planning: a new systematic approach to partial delete relaxation
Carmel Domshlak, J\"org Hoffmann, Michael Katz
Artificial Intelligence 221(April 2015), 73--114, Elsevier
Carmel Domshlak, J\"org Hoffmann, Michael Katz
Artificial Intelligence 221(April 2015), 73--114, Elsevier
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Symmetry Breaking in Deterministic Planning as Forward Search: Orbit Space Search Algorithm
Carmel Domshlak, Michael Katz, Alexander Shleyfman
http://ie.technion.ac.il/tech\_reports/1430403498\_main.pdf pp. Technical Report IS/IE-2015-02
Carmel Domshlak, Michael Katz, Alexander Shleyfman
http://ie.technion.ac.il/tech\_reports/1430403498\_main.pdf pp. Technical Report IS/IE-2015-02
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
The 38th German Conference on Artificial Intelligence, 2015
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
The 38th German Conference on Artificial Intelligence, 2015
Proceedings of the 7th Workshop on Heuristics and Search for Domain Independent Planning
Ron Alford, J Benton, Erez Karpas, Michael Katz, Nir Lipovetzky, Gabriele Roeger, Jordan Thayer
ICAPS, 2015
Ron Alford, J Benton, Erez Karpas, Michael Katz, Nir Lipovetzky, Gabriele Roeger, Jordan Thayer
ICAPS, 2015
Integrating partial order reduction and symmetry elimination for cost-optimal classical planning: Additional examples
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Technical Report, Technical Report CS-2015-001, University of Basel, Department of Mathematics and Computer Science
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Technical Report, Technical Report CS-2015-001, University of Basel, Department of Mathematics and Computer Science
Planning-Based Reasoning for Automated Large-Scale Data Analysis
Anton V Riabov, Shirin Sohrabi, Daby Sow, Deepak Turaga, Octavian Udrea, Long Vu
Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS-15), 2015
Anton V Riabov, Shirin Sohrabi, Daby Sow, Deepak Turaga, Octavian Udrea, Long Vu
Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS-15), 2015
Goal-Driven Composition with Preferences Method and System
Riabov, Anton V and Sohrabi, Shirin and Udrea, Octavian
US Patent 20,150,339,582
Riabov, Anton V and Sohrabi, Shirin and Udrea, Octavian
US Patent 20,150,339,582
Predictive Hypothesis Exploration Using Planning
Riabov, Anton V and Sohrabi, Shirin and Udrea, Octavian
US Patent 20,150,339,580
Riabov, Anton V and Sohrabi, Shirin and Udrea, Octavian
US Patent 20,150,339,580
2014
Docit: An Integrated System for Risk-Averse Multi-Modal Journey Advising
Adi Botea, Michele Berlingerio, Stefano Braghin Eric Bouillet, Francesco Calabrese, Bei Chen Yiannis Gkoufas, Rahul Nair, Tim Nonner, Marco Laumanns
Technical Report, 2014
Adi Botea, Michele Berlingerio, Stefano Braghin Eric Bouillet, Francesco Calabrese, Bei Chen Yiannis Gkoufas, Rahul Nair, Tim Nonner, Marco Laumanns
Technical Report, 2014
Fast First-Move Queries through Run Length Encoding
Ben Strasser, Daniel Harabor, Adi Botea
Proceedings of the Symposium on Combinatorial Search SoCS-14, 2014
Ben Strasser, Daniel Harabor, Adi Botea
Proceedings of the Symposium on Combinatorial Search SoCS-14, 2014
Multi-Criteria Journey Aware Housing Recommender System
Elizabeth M. Daly, Adi Botea, Akihiro Kishimoto, Radu Marinescu
Proceedings of the ACM Conference on Recommender Systems RecSys-14, pp. 325--328, 2014
Elizabeth M. Daly, Adi Botea, Akihiro Kishimoto, Radu Marinescu
Proceedings of the ACM Conference on Recommender Systems RecSys-14, pp. 325--328, 2014
Stochastic Travel Planning for Unreliable Public Transportation Systems
Tim Nonner, Adi Botea, Marco Laumanns
ERCIM News pp. 98, 2014
Tim Nonner, Adi Botea, Marco Laumanns
ERCIM News pp. 98, 2014
Multi-Criteria Journey Aware Housing Recommender System
Adi Botea, Elizabeth Daly, Akihiro Kishimoto, Radu Marinescu
ACM International Conference on Recommender Systems (RecSys), 2014
Adi Botea, Elizabeth Daly, Akihiro Kishimoto, Radu Marinescu
ACM International Conference on Recommender Systems (RecSys), 2014
A Fast Algorithm for Catching a Prey Quickly in Known and Partially Known Game Maps
Jorge A. Baier, Adi Botea, Daniel Harabor, and Carlos Hernandez
IEEE Transactions on Computational Intelligence and AI in Games, 2014
Jorge A. Baier, Adi Botea, Daniel Harabor, and Carlos Hernandez
IEEE Transactions on Computational Intelligence and AI in Games, 2014
Spatially Distributed Multiagent Path Planning.
Wilt, Christopher Makoto and Botea, Adi
Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS-14, 2014
Abstract
Wilt, Christopher Makoto and Botea, Adi
Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS-14, 2014
Abstract
Coordination in human-robot teams using mental modeling and plan recognition
Kartik Talamadupula, Gordon Briggs, Tathagata Chakraborti, Matthias Scheutz, Subbarao Kambhampati
Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on, pp. 2957--2962
Kartik Talamadupula, Gordon Briggs, Tathagata Chakraborti, Matthias Scheutz, Subbarao Kambhampati
Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on, pp. 2957--2962
AI-MIX: How a Planner Can Help Guide Humans Towards a Better Crowdsourced Plan
Lydia Manikonda, Tathagata Chakraborti, Sushovan De, Kartik Talamadupula, Subbarao Kambhampati
HCOMP 2014
Lydia Manikonda, Tathagata Chakraborti, Sushovan De, Kartik Talamadupula, Subbarao Kambhampati
HCOMP 2014
The Metrics Matter! On the Incompatibility of Different Flavors of Replanning
Kartik Talamadupula, David E Smith, Subbarao Kambhampati
arXiv preprint arXiv:1405.2883, 2014
Kartik Talamadupula, David E Smith, Subbarao Kambhampati
arXiv preprint arXiv:1405.2883, 2014
Pushing the Limits of Partial Delete Relaxation: Red-Black DAG Heuristics
Michael Katz, J\"org Hoffmann
Heuristics and Search for Domain Independent Planning, 40, 2014
Michael Katz, J\"org Hoffmann
Heuristics and Search for Domain Independent Planning, 40, 2014
Metis: Arming Fast Downward with Pruning and Incremental Computation
Yusra Alkhazraji, Michael Katz, Florian Pommerening, Alexander Shleyfman, Martin Wehrle
Eighth International Planning Competition (IPC 2014)
Yusra Alkhazraji, Michael Katz, Florian Pommerening, Alexander Shleyfman, Martin Wehrle
Eighth International Planning Competition (IPC 2014)
Mercury Planner: Pushing the Limits of Partial Delete Relaxation
Michael Katz, Joerg Hoffmann
Eighth International Planning Competition (IPC 2014)
Michael Katz, Joerg Hoffmann
Eighth International Planning Competition (IPC 2014)
Heuristics and symmetries in classical planning: Additional proofs
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Technical Report, Technical Report CS-2014-006, Universit\"at Basel, Departement Mathematik und Informatik
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Technical Report, Technical Report CS-2014-006, Universit\"at Basel, Departement Mathematik und Informatik
Proceedings of the 6th Workshop on Heuristics and Search for Domain Independent Planning
J Benton, Patrik Haslum, Malte Helmert, Michael Katz, Jordan Thayer
2014
J Benton, Patrik Haslum, Malte Helmert, Michael Katz, Jordan Thayer
2014
New Algorithms for The Top-K Planning Problem
Anton Riabov and Shirin Sohrabi and Octavian Udrea
Proceedings of the Scheduling and Planning Applications woRKshop (SPARK) at the 24th International Conference on Automated Planning and Scheduling (ICAPS), pp. 10-16, 2014
Anton Riabov and Shirin Sohrabi and Octavian Udrea
Proceedings of the Scheduling and Planning Applications woRKshop (SPARK) at the 24th International Conference on Automated Planning and Scheduling (ICAPS), pp. 10-16, 2014
Knowledge Engineering for Planning-Based Hypothesis Generation
Shirin Sohrabi and Octavian Udrea and Anton Riabov
Proceedings of the Automated Planning and Scheduling (ICAPS) Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), pp. 46-53, 2014
Also appears in the ICAPS 2014 System Demonstrations
Shirin Sohrabi and Octavian Udrea and Anton Riabov
Proceedings of the Automated Planning and Scheduling (ICAPS) Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), pp. 46-53, 2014
Also appears in the ICAPS 2014 System Demonstrations
2013
Pathfinding in Games
Adi Botea, Bruno Bouzy, Michael Buro, Christian Bauckhage, Dana Nau
Artificial and Computational Intelligence in Games, pp. 21--31, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013
Adi Botea, Bruno Bouzy, Michael Buro, Christian Bauckhage, Dana Nau
Artificial and Computational Intelligence in Games, pp. 21--31, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013
Search in Real-Time Video Games
Peter I. Cowling, Michael Buro, Michal Bida, Adi Botea, Bruno Bouzy, Martin V. Butz, Philip Hingston, Hector Mu\ noz-Avila, Dana Nau, Moshe Sipper
Artificial and Computational Intelligence in Games, pp. 1--19, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013
Peter I. Cowling, Michael Buro, Michal Bida, Adi Botea, Bruno Bouzy, Martin V. Butz, Philip Hingston, Hector Mu\ noz-Avila, Dana Nau, Moshe Sipper
Artificial and Computational Intelligence in Games, pp. 1--19, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013
Uncertainty in Intelligent Multi-Modal Transport Networks
Adi Botea, Bei Chen, Eoin Creedon, Michele Berlingerio, Eric Bouillet, Tim Nonner
European ITS Congress, 2013
Adi Botea, Bei Chen, Eoin Creedon, Michele Berlingerio, Eric Bouillet, Tim Nonner
European ITS Congress, 2013
Path Planning with Compressed All-Pairs Shortest Paths Data.
Botea, Adi and Harabor, Daniel
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, pp. 288--292
Botea, Adi and Harabor, Daniel
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, pp. 288--292
Multi-Modal Journey Planning in the Presence of Uncertainty.
Botea, Adi and Nikolova, Evdokia and Berlingerio, Michele
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013
Botea, Adi and Nikolova, Evdokia and Berlingerio, Michele
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013
Moving Target Search with Compressed Path Databases.
Botea, Adi and Baier, Jorge A and Harabor, Daniel and Hernandez, Carlos
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013
Botea, Adi and Baier, Jorge A and Harabor, Daniel and Hernandez, Carlos
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013
Red-Black Relaxed Plan Heuristics.
Katz, Michael and Hoffmann, J{\"o}rg and Domshlak, Carmel
AAAI, 2013
Abstract
Katz, Michael and Hoffmann, J{\"o}rg and Domshlak, Carmel
AAAI, 2013
Abstract
Strategic Planning for Network Data Analysis
Kartik Talamadupula, Octavian Udrea, Anton Riabov, Anand Ranganathan
arXiv preprint arXiv:1305.2561, 2013
Kartik Talamadupula, Octavian Udrea, Anton Riabov, Anand Ranganathan
arXiv preprint arXiv:1305.2561, 2013
Herding the crowd: Automated planning for crowdsourced planning
Kartik Talamadupula, Subbarao Kambhampati, Yuheng Hu, Tuan Anh Nguyen, Hankz Hankui Zhuo
First AAAI Conference on Human Computation and Crowdsourcing, 2013
Kartik Talamadupula, Subbarao Kambhampati, Yuheng Hu, Tuan Anh Nguyen, Hankz Hankui Zhuo
First AAAI Conference on Human Computation and Crowdsourcing, 2013
Architectural Mechanisms for Handling Human Instructions in Open-World Mixed-Initiative Team Tasks
Kartik Talamadupula, Gordon Briggs, Matthias Scheutz, Subbarao Kambhampati
Advances in Cognitive Systems 2013
Kartik Talamadupula, Gordon Briggs, Matthias Scheutz, Subbarao Kambhampati
Advances in Cognitive Systems 2013
Symmetry Breaking: Satisficing Planning and Landmark Heuristics
Carmel Domshlak, Michael Katz, Alexander Shleyfman
Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013). AAAI Press. Forthcoming
Carmel Domshlak, Michael Katz, Alexander Shleyfman
Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013). AAAI Press. Forthcoming
Red-black relaxed plan heuristics
Michael Katz, Joerg Hoffmann, Carmel Domshlak
Proceedings of the 27th National Conference of the American Association for Artificial Intelligence (AAAIÿ 13), 2013
Michael Katz, Joerg Hoffmann, Carmel Domshlak
Proceedings of the 27th National Conference of the American Association for Artificial Intelligence (AAAIÿ 13), 2013
Who said we need to relax all variables?
Michael Katz, J\"org Hoffmann, Carmel Domshlak
ICAPS, 2013
Michael Katz, J\"org Hoffmann, Carmel Domshlak
ICAPS, 2013
Red-Black Relaxed Plan Heuristics
Michael Katz, J\"org Hoffmann, Carmel Domshlak
Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI), Bellevue, Washington, USA, 2013
Michael Katz, J\"org Hoffmann, Carmel Domshlak
Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI), Bellevue, Washington, USA, 2013
Red-Black Relaxed Plan Heuristics Reloaded
Michael Katz, J\"org Hoffmann
Sixth Annual Symposium on Combinatorial Search, 2013
Michael Katz, J\"org Hoffmann
Sixth Annual Symposium on Combinatorial Search, 2013
Proceedings of the 5th Workshop on Heuristics and Search for Domain-Independent Planning
Malte Helmert, Michael Katz, Gabriele R\"oger, Jordan Thayer
2013
Malte Helmert, Michael Katz, Gabriele R\"oger, Jordan Thayer
2013
Hypothesis Exploration for Malware Detection Using Planning
Shirin Sohrabi, Octavian Udrea, Anton Riabov
Proceedings of the 27th Conference on Artificial Intelligence (AAAI-13), pp. 883-889, 2013
Shirin Sohrabi, Octavian Udrea, Anton Riabov
Proceedings of the 27th Conference on Artificial Intelligence (AAAI-13), pp. 883-889, 2013
HTN Planning for the Composition of Stream Processing Applications.
Sohrabi, Shirin and Udrea, Octavian and Ranganathan, Anand and Riabov, Anton
ICAPS, 2013
Sohrabi, Shirin and Udrea, Octavian and Ranganathan, Anand and Riabov, Anton
ICAPS, 2013
2012
Iterative resource allocation for memory intensive parallel search algorithms on clouds, grids, and shared clusters
Alex Fukunaga, Akihiro Kishimoto, Adi Botea
Proceedings of the 26th AAAI Conference on Artificial Intelligence, pp. 478--485, 2012
Alex Fukunaga, Akihiro Kishimoto, Adi Botea
Proceedings of the 26th AAAI Conference on Artificial Intelligence, pp. 478--485, 2012
Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms
A. Fukunaga, A. Kishimoto, A. Botea
Symposium on Combinatorial Search SoCS-12, 2012
A. Fukunaga, A. Kishimoto, A. Botea
Symposium on Combinatorial Search SoCS-12, 2012
Optimal Reconfiguration for Supply Restoration With Informed A* Search
A. Botea, J. Rintanen, D. Banerjee
Smart Grid, IEEE Transactions on 3(2), 583--593, IEEE, 2012
A. Botea, J. Rintanen, D. Banerjee
Smart Grid, IEEE Transactions on 3(2), 583--593, IEEE, 2012
Tell me when and why to do it! Run-time planner model updates via natural language instruction
Rehj Cantrell, Kartik Talamadupula, Paul Schermerhorn, J Benton, Subbarao Kambhampati, Matthias Scheutz
Human-Robot Interaction (HRI), 2012 7th ACM/IEEE International Conference on, pp. 471--478
Rehj Cantrell, Kartik Talamadupula, Paul Schermerhorn, J Benton, Subbarao Kambhampati, Matthias Scheutz
Human-Robot Interaction (HRI), 2012 7th ACM/IEEE International Conference on, pp. 471--478
Composition of Flow-based Applications with HTN Planning
Shirin Sohrabi, Octavian Udrea, Anand Ranganathan, Anton Riabov
International Scheduling and Planning Applications woRKshop (SPARK), pp. 1-7, 2012
This paper also appears in the AAAI-12 Workshop on Problem Solving using Classical Planners (CP4PS)
Shirin Sohrabi, Octavian Udrea, Anand Ranganathan, Anton Riabov
International Scheduling and Planning Applications woRKshop (SPARK), pp. 1-7, 2012
This paper also appears in the AAAI-12 Workshop on Problem Solving using Classical Planners (CP4PS)
2011
Planning for agents with changing goals
Kartik Talamadupula, Paul Schermerhorn, J Benton, Subbarao Kambhampati, Matthias Scheutz
Twenty-First International Conference on Automated Planning and Scheduling: Proceedings of the System Demonstrations, pp. 71--74, 2011
Kartik Talamadupula, Paul Schermerhorn, J Benton, Subbarao Kambhampati, Matthias Scheutz
Twenty-First International Conference on Automated Planning and Scheduling: Proceedings of the System Demonstrations, pp. 71--74, 2011
Planning with implicit abstraction heuristics
Michael Katz, Carmel Domshlak
7th International Planning Competition (IPC), 46--49, 2011
Michael Katz, Carmel Domshlak
7th International Planning Competition (IPC), 46--49, 2011
2010
Planning for human-robot teaming in open worlds
Kartik Talamadupula, J Benton, Subbarao Kambhampati, Paul Schermerhorn, Matthias Scheutz
ACM Transactions on Intelligent Systems and Technology (TIST) 1(2), 14, ACM, 2010
Kartik Talamadupula, J Benton, Subbarao Kambhampati, Paul Schermerhorn, Matthias Scheutz
ACM Transactions on Intelligent Systems and Technology (TIST) 1(2), 14, ACM, 2010
Integrating a Closed World Planner with an Open World Robot: A Case Study.
Kartik Talamadupula, J Benton, Paul W Schermerhorn, Subbarao Kambhampati, Matthias Scheutz
AAAI, 2010
Kartik Talamadupula, J Benton, Paul W Schermerhorn, Subbarao Kambhampati, Matthias Scheutz
AAAI, 2010
G-Value Plateaus: A Challenge for Planning.
J Benton, Kartik Talamadupula, Patrick Eyerich, Robert Mattm\"uller, Subbarao Kambhampati
ICAPS, pp. 259--262, 2010
J Benton, Kartik Talamadupula, Patrick Eyerich, Robert Mattm\"uller, Subbarao Kambhampati
ICAPS, pp. 259--262, 2010
2009
Finding and exploiting goal opportunities in real-time during plan execution
Paul Schermerhorn, J Benton, Matthias Scheutz, Kartik Talamadupula, Subbarao Kambhampati
Intelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on, pp. 3912--3917
Paul Schermerhorn, J Benton, Matthias Scheutz, Kartik Talamadupula, Subbarao Kambhampati
Intelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on, pp. 3912--3917
2007
Evaluating Temporal Planning Domains.
William Cushing, Daniel S Weld, Subbarao Kambhampati, Mausam, Kartik Talamadupula
ICAPS, pp. 105--112, 2007
William Cushing, Daniel S Weld, Subbarao Kambhampati, Mausam, Kartik Talamadupula
ICAPS, pp. 105--112, 2007
2003
Algorithms for Propagating Resource Constraints in AI Planning and Scheduling: Existing Approaches and New Results
Philippe Laborie
Artificial Intelligence Journal 143(2), 2003
Abstract
Philippe Laborie
Artificial Intelligence Journal 143(2), 2003
Abstract
Resource Temporal Networks: Definition and Complexity
Philippe Laborie
In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-03), 2003
Abstract
Philippe Laborie
In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-03), 2003
Abstract