Rushing and Strolling among Answer Sets -- Navigation Made Easy

14 December 2021

Papers citing "Rushing and Strolling among Answer Sets -- Navigation Made Easy"

3 / 3 papers shown

Title
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment Giovanni Amendola Tobias Berei Giuseppe Mazzotta Francesco Ricca 12 1 0 04 Jan 2024
IASCAR: Incremental Answer Set Counting by Anytime Refinement Johannes Fichte S. A. Gaggl Markus Hecher Dominik Rusovac 37 1 0 13 Nov 2023
A Quantitative Symbolic Approach to Individual Human Reasoning Emmanuelle-Anna Dietz Johannes Fichte Florim Hamiti LRM 8 4 0 10 May 2022