plasp 3: Towards Effective ASP Planning
From MaRDI portal
Publication:4957186
DOI10.1017/S1471068418000583zbMath1472.68182MaRDI QIDQ4957186
Yannis Dimopoulos, Torsten Schaub, Martin Gebser, Javier Romero, Patrick Lühne
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
knowledge representation; nonmonotonic reasoning; answer set programming; automated planning; action and change
68T30: Knowledge representation
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Uses Software