ResearchTrend.AI
Rushing and Strolling among Answer Sets -- Navigation Made Easy

Rushing and Strolling among Answer Sets -- Navigation Made Easy

Johannes Fichte
S. A. Gaggl
Dominik Rusovac
ArXiv (abs)PDFHTML

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