A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system

From MaRDI portal
(Redirected from A logic programming approach to knowledge-state planning. II: The DLV^ K system)
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system