Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Grounding Rule-Based Argumentation Using Datalog
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch +2
ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reaso…
cs.AI2024
Winning Snake: Design Choices in Multi-Shot ASP
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its…