Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Answer set programming (ASP) extensions"”.
-
Refining the semantics for epistemic logic programs
… agent. Epistemic Specifications is a declarative programming language that is an extension of answer set programming (ASP) through the addition of modal operators K and M. Programs written in this language are called epistemic logic programs. Previously proposed semantics did not satisfy our …