publication venue for
- Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. 14:525-538. 2014
- Multi-threaded ASP solving with clasp. 12:525-545. 2012
Theory and Practice of Logic Programming
Journal
Overview
Identity
International Standard Serial Number (ISSN)
- 1471-0684