2 papers
cs.AI2023
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Johannes K. Fichte, Sarah Alice Gaggl, Markus Hecher +1
Answer set programming (ASP) is a popular declarative programming paradigm with various applications. Programs can easily have many answer sets that cannot be enumerated in practic…
cs.AI2021
Rushing and Strolling among Answer Sets -- Navigation Made Easy
Johannes K. Fichte, Sarah Alice Gaggl, Dominik Rusovac
Answer set programming (ASP) is a popular declarative programming paradigm with a wide range of applications in artificial intelligence. Oftentimes, when modeling an AI problem wit…