Matches in SemOpenAlex for { <https://semopenalex.org/work/W1769188712> ?p ?o ?g. }
- W1769188712 abstract "We propose a new declarative planning language, called K, which is based on principles and methods of logic programming. In this language, transitions between states of knowledge can be described, rather than transitions between completely described states of the world, which makes the language well suited for planning under incomplete knowledge. Furthermore, our formalism enables the use of default principles in the planning process by supporting negation as failure. Nonetheless, K also supports the representation of transitions between states of the world (i.e., states of complete knowledge) as a special case, which shows that the language is very flexible. As we demonstrate on particular examples, the use of knowledge states may allow for a natural and compact problem representation. We then provide a thorough analysis of the computational complexity of K, and consider different planning problems, including standard planning and secure planning (also known as conformant planning) problems. We show that these problems have different complexities under various restrictions, ranging from NP to NEXPTIME in the propositional case. Our results form the theoretical basis for the DLVk system, which implements the language K on top of the DLV logic programming system." @default.
- W1769188712 created "2016-06-24" @default.
- W1769188712 creator A5002604860 @default.
- W1769188712 creator A5017101409 @default.
- W1769188712 creator A5045535458 @default.
- W1769188712 creator A5076886839 @default.
- W1769188712 creator A5082178480 @default.
- W1769188712 date "2001-01-01" @default.
- W1769188712 modified "2023-09-26" @default.
- W1769188712 title "A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity" @default.
- W1769188712 cites W107281026 @default.
- W1769188712 cites W12006093 @default.
- W1769188712 cites W1482748162 @default.
- W1769188712 cites W14839205 @default.
- W1769188712 cites W1502473685 @default.
- W1769188712 cites W1505436358 @default.
- W1769188712 cites W1511336005 @default.
- W1769188712 cites W1513004633 @default.
- W1769188712 cites W1515684991 @default.
- W1769188712 cites W1519226543 @default.
- W1769188712 cites W1532211537 @default.
- W1769188712 cites W1549946801 @default.
- W1769188712 cites W1560971821 @default.
- W1769188712 cites W1563712336 @default.
- W1769188712 cites W1571893670 @default.
- W1769188712 cites W1572073643 @default.
- W1769188712 cites W1589875904 @default.
- W1769188712 cites W161247905 @default.
- W1769188712 cites W163500809 @default.
- W1769188712 cites W16460774 @default.
- W1769188712 cites W1646417535 @default.
- W1769188712 cites W1663140555 @default.
- W1769188712 cites W16661495 @default.
- W1769188712 cites W1667362966 @default.
- W1769188712 cites W1692620746 @default.
- W1769188712 cites W1778687791 @default.
- W1769188712 cites W1797711932 @default.
- W1769188712 cites W1969965298 @default.
- W1769188712 cites W1987080413 @default.
- W1769188712 cites W1993512664 @default.
- W1769188712 cites W1994226409 @default.
- W1769188712 cites W1998668381 @default.
- W1769188712 cites W2009810952 @default.
- W1769188712 cites W2017128525 @default.
- W1769188712 cites W2022090818 @default.
- W1769188712 cites W203560402 @default.
- W1769188712 cites W2036900631 @default.
- W1769188712 cites W2038967932 @default.
- W1769188712 cites W2045474169 @default.
- W1769188712 cites W2054726834 @default.
- W1769188712 cites W2061146398 @default.
- W1769188712 cites W2071617280 @default.
- W1769188712 cites W2076698873 @default.
- W1769188712 cites W2078578754 @default.
- W1769188712 cites W2093089155 @default.
- W1769188712 cites W2105486835 @default.
- W1769188712 cites W2108637261 @default.
- W1769188712 cites W2118823189 @default.
- W1769188712 cites W2138162238 @default.
- W1769188712 cites W2142785340 @default.
- W1769188712 cites W2162621793 @default.
- W1769188712 cites W2164322797 @default.
- W1769188712 cites W2164457256 @default.
- W1769188712 cites W2166971042 @default.
- W1769188712 cites W2170408876 @default.
- W1769188712 cites W2337392266 @default.
- W1769188712 cites W2399343913 @default.
- W1769188712 cites W2611415697 @default.
- W1769188712 cites W2899987233 @default.
- W1769188712 cites W2911829174 @default.
- W1769188712 cites W3021909058 @default.
- W1769188712 cites W3045969830 @default.
- W1769188712 cites W73864267 @default.
- W1769188712 cites W85014365 @default.
- W1769188712 hasPublicationYear "2001" @default.
- W1769188712 type Work @default.
- W1769188712 sameAs 1769188712 @default.
- W1769188712 citedByCount "0" @default.
- W1769188712 crossrefType "journal-article" @default.
- W1769188712 hasAuthorship W1769188712A5002604860 @default.
- W1769188712 hasAuthorship W1769188712A5017101409 @default.
- W1769188712 hasAuthorship W1769188712A5045535458 @default.
- W1769188712 hasAuthorship W1769188712A5076886839 @default.
- W1769188712 hasAuthorship W1769188712A5082178480 @default.
- W1769188712 hasConcept C127001435 @default.
- W1769188712 hasConcept C128838566 @default.
- W1769188712 hasConcept C142362112 @default.
- W1769188712 hasConcept C153349607 @default.
- W1769188712 hasConcept C154945302 @default.
- W1769188712 hasConcept C156325763 @default.
- W1769188712 hasConcept C161301231 @default.
- W1769188712 hasConcept C182620335 @default.
- W1769188712 hasConcept C184337299 @default.
- W1769188712 hasConcept C194146651 @default.
- W1769188712 hasConcept C199360897 @default.
- W1769188712 hasConcept C2185349 @default.
- W1769188712 hasConcept C41008148 @default.
- W1769188712 hasConcept C558565934 @default.
- W1769188712 hasConcept C73301696 @default.
- W1769188712 hasConcept C80444323 @default.