Towards parallel nonmonotonic reasoning with billions of facts
- Ilias Tachmazidis
- Grigoris Antoniou
- et al.
- 2012
- KR 2012
Conference paper
Publications
2 results at KR 2012
An axiomatic framework for influence diagram computation with partially ordered utilities
- Nic Wilson
- Radu Marinescu
- 2012
- KR 2012
Conference paper