ProASP stands as the first compilation-based ASP solver specifically
designed to efficiently evaluate ASP programs. Its evaluation techniques
address the well-known grounding...
The resource: 'The ProASP System' is not accessible as guest user. You must login to access it!
