NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20250
Since 20240
Since 2021 (last 5 years)0
Since 2016 (last 10 years)0
Since 2006 (last 20 years)1
Descriptor
Computation1
Knowledge Representation1
Programming1
Programming Languages1
Semantics1
Source
ProQuest LLC1
Author
Meng, Yunsong1
Publication Type
Dissertations/Theses -…1
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Answer Set Programming and Other Computing Paradigms
Direct linkDirect link
Meng, Yunsong – ProQuest LLC, 2013
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. The wide adoption of ASP has motivated several extensions to…
Descriptors: Programming, Computation, Semantics, Knowledge Representation