Login / Signup
A Framework for Distributed Reasoning on the Semantic Web Based on Open Answer Set Programming.
Cristina Feier
Published in:
KWEPSY (2007)
Keyphrases
</>
answer set programming
reasoning tasks
logic programs
modulo theories
high level
logic programming
answer sets
knowledge base
general purpose
search algorithm
knowledge representation
automated reasoning