Formalization of psychological knowledge in answer set programming and its application.

Marcello Balduccini Sara Girotto

Published in: Theory Pract. Log. Program. (2010)

Keyphrases

answer set programming
knowledge representation
logic programming
logic programs
answer sets
knowledge base
reasoning tasks
expert systems
constraint logic programming
answer set programs
domain knowledge
background knowledge
database
general purpose
inductive logic programming