Reasoning       

links

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

Anytime Recursive Best-First Search for Bounding Marginal MAP
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

Metis 2018
Silvan Sievers, 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
Proceedings of Demonstration Track at the the 27th International Joint Conference on Artificial Intelligence (IJCAI-18), 2018
Won runner-up award.


Delfi: Online Planner Selection for Cost-Optimal Planning
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

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

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

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

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

Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs
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

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


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

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

AI Meets Chemistry
Akihiro Kishimoto, Beat Buesser, Adi Botea
AAAI (senior track), 2018
Accepted

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


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

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

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

Planning-based Scenario Generation for Enterprise Risk Management
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.

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)

State Projection via AI Planning
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

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

Stubborn Sets for Fully Observable Nondeterministic Planning
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

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

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

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

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

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

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

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

Herding the Crowd: Using Automated Planning for Better Crowdsourced Planning
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

New Results for the GEO-CAPE Observation Scheduling Problem
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


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

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

Producing Clustered Top-K Plans
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

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

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

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

Plan Recognition as Planning Revisited
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

Structural Symmetries for Fully Observable Nondeterministic Planning
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

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

Automatic Resolution of Policy Conflicts in IoT Environments Through Planning
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

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

Proceedings of the Ninth Annual Symposium on Combinatorial Search
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

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

Hedging the Risk of Delays in Multi-Modal Journey Planning
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


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




Related links

Professional Interest Communities at IBM Research

AI Planning at IBM

Reasoning is one of five interrelated research areas under the Cognitive Computing umbrella:

Perception

Interaction

Learning

Knowledge

Cognitive Computing

Algorithms and Theory