Subgoal Search For Complex Reasoning Tasks.
Konrad CzechowskiTomasz OdrzygózdzMarek ZbysinskiMichal ZawalskiKrzysztof OlejnikYuhuai WuLukasz KucinskiPiotr MilosPublished in: NeurIPS (2021)
Keyphrases
- reasoning tasks
- description logics
- search algorithm
- automated reasoning
- search space
- temporal reasoning
- abductive reasoning
- logic programming
- situation calculus
- search strategies
- reasoning problems
- answer set programming
- search strategy
- general purpose
- search methods
- quantified boolean formulas
- image classification