Encoding Choice Logics in ASP.

Michael Bernreiter Jan Maly Stefan Woltran

Published in: ICLP Workshops (2020)

Keyphrases

answer set programming
web applications
expressive power
encoding scheme
propositional dynamic logic
data sets
data mining
information retrieval
search engine
decision making
search algorithm
modal logic
inference rules