Home /Research /Planning with Transaction Logic
OTHER

Planning with Transaction Logic

Reza Basseda, Michael Kifer, Anthony J. Bonner

Year
2014
Citations
9

Keywords

Rotation formalisms in three dimensionsComputer scienceSTRIPSDatabase transactionCompleteness (order theory)Artificial intelligenceTheoretical computer scienceProgramming languageMathematics

Related papers

Browse all OTHER papers