scientific article; zbMATH DE number 7793276

zbMath1528.03146arXiv2208.03089MaRDI QIDQ6182223

Simon Marynissen, Bart Bogaerts

Publication date: 23 January 2024

Full work available at URL: https://arxiv.org/abs/2208.03089

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17)

Cites Work

• Improving parity game solvers with justifications
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• A Formal Theory of Justifications
• FO(FD): Extending classical logic with rule-based fixpoint definitions
• The well-founded semantics for general logic programs
• Exploiting Game Theory for Analysing Justifications
• CONCUR 2005 – Concurrency Theory

This page was built for publication: