Description

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.

Reuse Permissions
  • Downloads
    pdf (1.2 MB)

    Download count: 0

    Details

    Contributors
    Date Created
    2013
    Resource Type
  • Text
  • Collections this item is in
    Note
    • Partial requirement for: Ph.D., Arizona State University, 2013
      Note type
      thesis
    • Includes bibliographical references (p. 263-272)
      Note type
      bibliography
    • Field of study: Computer science

    Citation and reuse

    Statement of Responsibility

    by Yunsong Meng

    Machine-readable links