Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
From MaRDI portal
Publication:3449236
DOI10.1007/978-3-319-23264-5_45zbMath1467.68163OpenAlexW2399307548MaRDI QIDQ3449236
Publication date: 4 November 2015
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_45
Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Cites Work
- A deductive solution for plan generation
- A new deductive approach to planning
- An overview of transaction logic
- Answer set programming and plan generation
- Planning with regression analysis in transaction logic
- STRIPS: A new approach to the application of theorem proving to problem solving
- Gearing Up for Effective ASP Planning
- On Linear Logic Planning and Concurrency
- Domain-dependent knowledge in answer set planning
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
