Login / Signup
A Categorical Representation Language and Computational System for Knowledge-Based Planning.
Angeline Aguinaldo
Evan Patterson
James P. Fairbanks
Jaime Ruiz
Published in:
CoRR (2023)
Keyphrases
</>
representation language
knowledge representation
domain description
first order logic
background knowledge
expert systems
formal language
inductive logic programming
concept descriptions
planning problems
database
learning algorithm
relational databases
knowledge structures