Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2112.07596
Cited By
Rushing and Strolling among Answer Sets -- Navigation Made Easy
14 December 2021
Johannes Fichte
S. A. Gaggl
Dominik Rusovac
Re-assign community
ArXiv (abs)
PDF
HTML
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
10
1
0
04 Jan 2024
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Johannes Fichte
S. A. Gaggl
Markus Hecher
Dominik Rusovac
35
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
1
