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.
Copyright Statement
Download count: 0
Details
Contributors
- Meng, Yunsong (Author)
- Lee, Joohyung (Thesis advisor)
- Ahn, Gail-Joon (Committee member)
- Baral, Chitta (Committee member)
- Fainekos, Georgios (Committee member)
- Lifschitz, Vladimir (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2013
Subjects
- Computer Science
- Information Technology
- answer set programming
- artificial intelligence
- Framework for Integration
- Knowledge Representation and Reasoning
- Logic programming
- Stable Model
- Logic programming
- Knowledge representation (Information theory)
- artificial intelligence
- Constraint programming (Computer science)
Resource Type
Collections this item is in
Note
- Partial requirement for: Ph.D., Arizona State University, 2013Note typethesis
- Includes bibliographical references (p. 263-272)Note typebibliography
- Field of study: Computer science
Citation and reuse
Statement of Responsibility
by Yunsong Meng