Planning with Incomplete Information in Quantified Answer Set Programming
From MaRDI portal
Publication:5019607
DOI10.1017/S1471068421000259MaRDI QIDQ5019607
Tran Cao Son, Torsten Schaub, Jorge Fandinno, Javier Romero, Francois Laferriere
Publication date: 10 January 2022
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.06405
68N17: Logic programming
Uses Software