Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming

von Carro, Joaquin Arias. Manuel
Veröffentlicht in PADL (24. : 2022 : Philadelphia, Pa.) Practical Aspects of Declarative Languages (2022)