Login / Signup
Theory Revision with Goal-directed ASP.
Elmer Salazar
Published in:
ICLP Workshops (2021)
Keyphrases
</>
goal directed
theory revision
answer set programming
knowledge base
concept learning
background knowledge
autonomous robots
logic programs
domain theory
knowledge based systems
revision operators
answer sets
logic programming
event calculus
expert systems
support vector
mobile robot
pairwise