Action description languages; Constraint logic programming; Knowledge representation; Planning

Multi-valued Action Languages with Constraints in CLP(FD)

Action description languages, A and B(Gelfond and Lifschitz, Electronic Transactions on Artificial Intelligence, 1998, vol. 2, pp. 193210), are expressive instruments introduced for formalizing planning domains and planning problem instances. The …