计算机科学
论证理论
程序设计语言
语义学(计算机科学)
解算器
软件
理论计算机科学
认识论
哲学
作者
Christoph Beierle,Florian Brons,Nico Potyka
标识
DOI:10.1007/978-3-319-24489-1_19
摘要
LabSAT is a software system that for a giving abstract argumentation system AF can determine some or all extensions, and can decide whether an argument is credulously or sceptically accepted. These tasks are solved for complete, stable, preferred, and grounded semantics. LabSAT's implementation employs recent results on the connection between argumentation and Boolean satisfiability and uses the SAT solver Lingeling. In this paper, we give an overview of LabSAT and its capabilities and compare its performance to two other computational argumentation systems.
科研通智能强力驱动
Strongly Powered by AbleSci AI