GRAPPA
From MaRDI portal
Software:32744
swMATH20931MaRDI QIDQ32744FDOQ32744
Author name not available (Why is that?)
Cited In (6)
- Lpopt: a rule optimization tool for answer set programming
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- Realizability of three-valued semantics for abstract dialectical frameworks
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence
- Opposition Frameworks
- Solving Advanced Argumentation Problems with Answer Set Programming
This page was built for software: GRAPPA