Assembly planning by disjunctive programming and geometrical reasoning.
Markó HorváthTamás KisAndrás KovácsMárk FekulaPublished in: Comput. Oper. Res. (2022)
Keyphrases
- assembly systems
- model based reasoning
- programming language
- planning systems
- forward chaining
- plan execution
- reasoning systems
- programming environment
- robotic tasks
- process planning
- planning problems
- general purpose
- knowledge base
- reasoning tasks
- temporal planning
- ai planning
- stochastic domains
- automated reasoning
- knowledge representation
- computer programming
- information gathering
- reasoning mechanisms
- incomplete knowledge
- high level
- spatial reasoning
- htn planning
- decision support
- dynamic environments
- knowledge representation and reasoning
- motion planning
- model based diagnosis
- goal oriented
- qualitative reasoning
- development environment