Reasoning Publications
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
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
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.
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
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
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
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
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
On the Complexity of Quantum Circuit Compilation
Adi Botea, Akihiro Kishimoto, Radu Marinescu
Proceedings of the 11th Annual Symposium on Combinatorial Search, AAAI Press, 2018
Adi Botea, Akihiro Kishimoto, Radu Marinescu
Proceedings of the 11th Annual Symposium on Combinatorial Search, AAAI Press, 2018
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
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
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
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
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
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
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
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
2017
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
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
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
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
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.
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)
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
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
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
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
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
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
UbuntuWorld 1.0 LTS - A Platform for Automated Problem Solving and Troubleshooting in the Ubuntu OS
T. Chakraborti, K. Talamadupula, K. Fadnis, M. Campbell, S. Kambhampati
Innovative Applications of Artificial Intelligence, 2017
T. Chakraborti, K. Talamadupula, K. Fadnis, M. Campbell, S. Kambhampati
Innovative Applications of Artificial Intelligence, 2017
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
Policy conflict resolution in iot via planning
Emre G\"oyn\"ug\"ur, Sara Bernardini, Geeth de Mel, Kartik Talamadupula, Murat \c{S}ensoy
Canadian Conference on Artificial Intelligence, pp. 169--175, 2017
Emre G\"oyn\"ug\"ur, Sara Bernardini, Geeth de Mel, Kartik Talamadupula, Murat \c{S}ensoy
Canadian Conference on Artificial Intelligence, pp. 169--175, 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
A knowledge driven policy framework for internet of things
Emre Goynugur, Geeth de Mel, Murat Sensoy, Kartik Talamadupula, Seraphin Calo
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, pp. 207--216, 2017
Emre Goynugur, Geeth de Mel, Murat Sensoy, Kartik Talamadupula, Seraphin Calo
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, pp. 207--216, 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
Efficient Optimal Search under Expensive Edge Cost Computation
Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth M. Daly, Spyros Kotoulas
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4266--4272
Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth M. Daly, Spyros Kotoulas
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4266--4272
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty
Akihiro Kishimoto, Adi Botea, Elizabeth Daly
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16), pp. 295--303, 2016
Akihiro Kishimoto, Adi Botea, Elizabeth Daly
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16), pp. 295--303, 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
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
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
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
Hedging the Risk of Delays in Multi-Modal Journey Planning
Adi Botea
AI Magazine, 2016
Adi Botea
AI Magazine, 2016
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
arXiv preprint arXiv:1609.08524, 2016
Abstract
Chakraborti, Tathagata and Talamadupula, Kartik and Fadnis, Kshitij P and Campbell, Murray and Kambhampati, Subbarao
arXiv preprint arXiv:1609.08524, 2016
Abstract
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
Related links
Professional Interest Communities at IBM Research
Reasoning is one of five interrelated research areas under the Cognitive Computing umbrella: