Answer Set Programming and Other Computing Paradigms

abstract: Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. T...

Full description

Bibliographic Details
Other Authors: Meng, Yunsong (Author)
Format: Doctoral Thesis
Language:English
Published: 2013
Subjects:
Online Access:http://hdl.handle.net/2286/R.I.17828