Knowledge-State Planning: Semantics and Complexity: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 03:4403:44, 24 December 2023SatoshiNakamoto talk contribs 2,795 bytes +2,795 Created page with "Title: Knowledge-State Planning: Semantics and Complexity Abstract: This research proposes a new declarative planning language called K, based on principles of logic programming. K allows for the representation of transitions between states of knowledge, making it well-suited for planning under incomplete knowledge. The language also supports the use of default principles in the planning process, enabling natural and compact problem representation. The paper provides a..."