Towards SMT-based Abstract Planning in PlanICS Ontology.
Artur NiewiadomskiWojciech PenczekPublished in: KEOD (2013)
Keyphrases
- domain knowledge
- semantic web
- knowledge base
- planning problems
- domain ontology
- higher level
- mixed initiative
- goal oriented
- semantic information
- knowledge representation
- high level
- artificial intelligence
- motion planning
- planning systems
- plan generation
- stochastic domains
- semi automatic
- expert systems
- ontology mapping
- blocks world
- semantically enhanced
- abstraction hierarchy