Francisco Coelho / zugzwang

Name	Last Update	Last Commit 64dd7c8f – Solved subset explanation. History
..
Chiaki Sakama \| Induction from answer sets in nonmonotonic logic programs \| ACM-TOCL \| 2005.pdf	Loading commit data...
S. Tomović, Z. Ognjanović, D. Doder \| A First-order Logic for Reasoning about Knowledge and Probability \| ACM-TOCL \| 2020.pdf	Loading commit data...
Selected Papers of the International Joint Conference on Automated Reasoning (IJCAR 2016).pdf	Loading commit data...
The joy of Probabilistic Answer Set Programming: Semantics - complexity, expressivity, inference \| Fabio Gagliardi Cozman, Denis Deratani Mauá \| 2020.pdf	Loading commit data...