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...
Other Authors: | |
---|---|
Format: | Doctoral Thesis |
Language: | English |
Published: |
2013
|
Subjects: | |
Online Access: | http://hdl.handle.net/2286/R.I.17828 |