|
..
|
|
|
|
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...
|
|