Implementing Informal Semantics of ASP.

Artur Mikitiuk Miroslaw Truszczynski

Published in: LPNMR (2013)

Keyphrases

answer set programming
logic programming
formal semantics
web applications
logical language
stable model semantics
databases
speech acts
informal learning
semantic information
information systems
real time
website
social networks
proof theory
intended meaning
answer set programs