Reasoning about Actions and Processes:
Highlights of Recent Advances
Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA)
Program
- October 28, 2018
- Morning:
- 09:00 - 09:15 Welcome
- 09:15 - 10:30 Invited talk by Moshe Vardi + discussion
- 10:30 - 11:00 Coffee break
- 11:00 - 12:30 Session 1: Core Reasoning about Actions (5 talks + 15 min discussion)
- Afternoon:
- 13:45 - 15:45 Joint session with Hybrid Reasoning
& Learning :
- 13:45-14:45 Invited talk by Guy Van den Broeck
- 14:45 - 15:45 Session 2: HRL and RAC (4 Talks)
- 15:45 - 16:00 tea break
- 16:00 - 17:30 Session 3: Planning (4 talks + 30 min discussion)
- 13:45 - 15:45 Joint session with Hybrid Reasoning
& Learning :
- Evening:
- 19:00 - 24:00 Actions@KR18 Dinner at Macayo's
- 19:00 - 24:00 Actions@KR18 Dinner at Macayo's
- Morning:
- October 29, 2018
- Morning:
- 09:15 - 10:30 Invited talk by Shlomo Zilberstein + discussion
- 10:30 - 11:00 Coffee break
- 11:00 - 12:30 Session 4: Reinforcement Learning (5 talks + 15 min discussion)
- Afternoon:
- 14:00 - 15:30 Session 5: Verification & Strategic Reasoning 1 (5 talks + 15 min discussion)
- 15:30 - 16:00 tea break
- 16:00 - 16:30 Session 6: Verification & Strategic Reasoning 2 (2 talks)
- 16:30 - 17:30 Discussion and wrap-up
Session 1: Core Reasoning about Actions
| James Delgrande | Incorporating Belief Change in a Theory of Actions |
| Yves Lesperance | Abstraction in Situation Calculus Action Theories - Presentation |
| Magdalena Ortiz | Reasoning About the Evolution of in Graph Structured Data Using Description Logics |
| Eugenia Ternovska | On the Devilish Non-Determinism of Hilbert's Epsilon Operator and a Dynamic Logic over Finite Traces |
| Edward Wertz | CALM: a Compiler for Modular Action Language ALM |
Session 2: HRL and RAC
| Fredrik Heintz | Three Examples of Hybrid Reasoning in the Context of Stream Reasoning |
| Patrick Koopmann and Benjamin Zarriess | On the Complexity of Verifying Timed Golog Programs over Description Logic Actions |
| Joohyung Lee | Recent Developments in Action Language Based on Extensions of Answer Set Programs |
| Paolo Traverso and Luciano Serafini | Where am I? Let me learn from the real world! |
Session 3: Planning
| Gregory Gelfond | The Escapee Domain: A Multi-Agent Planning Domain |
| Bernhard Nebel | Implicitly Coordinated Multi-Agent Path Finding Under Destination Uncertainty |
| Zeynep G. Saribatur | ASP-based Perspective on Reactive Policies with Planning |
| Shiqi Zhang | Reasoning about Actions for Planning in Robotics |
Session 4: Reinforcement Learning
| Pedro Cabalar and Torsten Schaub | Dynamic and Temporal Answer Set Programming on Linear Finite Traces |
| Giuseppe De Giacomo | Foundations for Restraining Bolts: Reinforcement Learning for LTLf/LDLf Goals |
| Toryn Q. Klassen | Advising and Instructing Reinforcement Learning Agents with LTL and Automata |
| Angelo Montanari | Model checking with Interval Temporal Logic: Results and Perspectives |
| Giuseppe Perelli | Synthesis of Controllable Nash Equilibria in Quantitative Objective Games |
Session 5: Verification & Strategic Reasoning 1
| Francesco Belardinelli, Ioana Boureanu, Catalin Dima and Vadim Malvone | Towards the Verification of Strategic Ability in MAS with Private Data-Sharing |
| Alessio Lomuscio, Panagiotis Kouvaros and Edoardo Pirovano | Verification of unbounded multi-agent systems via parameterised model checking |
| Bastien Maubert | Reasoning about Knowledge and Strategies under Hierarchical Information |
| Aniello Murano | On Module Checking and Strategies |
| Sasha Rubin | Reasoning about interactions when all actions are public |
Session 6: Verification & Strategic Reasoning 2
| Pavel Naumov | Knowing-How Under Uncertainty |
| Jia Tao | Second-Order Know-How Strategies |