Refreshing results…
Enhancing DLV for Large-Scale Reasoning
UploadEntity set expansion from the web via ASP
UploadFinite model reasoning over existential rules
Download from arxiv.orgOn the computation of paracoherent answer sets
Download from ojs.aaai.orgGrounding and Solving in Answer Set Programming
Download from aaai.orgApplications of Answer Set Programming
Download from aaai.orgOn the application of answer set programming to the conference paper assignment problem
Download from www.research.ed.ac.ukComplexity and Compilation of GZ-Aggregates in Answer Set Programming
Download from arxiv.orgMissing publications? Search for publications with a matching author name.