Pakota: A System for Enforcement in Abstract Argumentation

DOI10.1007/978-3-319-48758-8_25zbMath1483.68383MaRDI QIDQ2835885

Matti Järvisalo, Johannes Peter Wallner, Andreas Niskanen

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_25

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• MiniSat
• Glucose
• Open-WBO
• LMHS
• maxino