Matches in SemOpenAlex for { <https://semopenalex.org/work/W2187635825> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2187635825 abstract "Chapman’s paper, “Planning for Conjunctive Goals,” has been widely acknowledged for its contribution toward understanding the nature of nonlinear (partial-order) planning, and it has been one of the bases of later work by others---but it is not free of problems. This paper addresses some problems involving modal truth and the Modal Truth Criterion (MTC). Our results are as follows: Even though modal duality is a fundamental axiom of classical modal logics, it does not hold for modal truth in Chapman’s plans; i.e., “necessarily p” is not equivalent to “not possibly lp.” Although the MTC for necessary truth is correct, the MTC for possible truth is incorrect: it provides necessary but insz#kient conditions for ensuring possible truth. Furthermore, even though necessary truth can be determined in polynomial time, possible truth is NP-hard. If we rewrite the MTC to talk about modal conditional truth (i.e., modal truth conditional on executability) rather than modal truth, then both the MTC for necessary conditional truth and the MTC for possible conditional truth are correct; and both can be computed in polynomial time." @default.
- W2187635825 created "2016-06-24" @default.
- W2187635825 creator A5023323170 @default.
- W2187635825 creator A5084686808 @default.
- W2187635825 date "1994-01-01" @default.
- W2187635825 modified "2023-09-24" @default.
- W2187635825 title "n the Nature of Modal Trut" @default.
- W2187635825 cites W129916058 @default.
- W2187635825 cites W1574129634 @default.
- W2187635825 cites W1819330922 @default.
- W2187635825 cites W1990430111 @default.
- W2187635825 cites W2011039300 @default.
- W2187635825 cites W2015250277 @default.
- W2187635825 cites W2086784214 @default.
- W2187635825 cites W2121136891 @default.
- W2187635825 cites W2125789851 @default.
- W2187635825 cites W2166971042 @default.
- W2187635825 cites W2171798962 @default.
- W2187635825 hasPublicationYear "1994" @default.
- W2187635825 type Work @default.
- W2187635825 sameAs 2187635825 @default.
- W2187635825 citedByCount "0" @default.
- W2187635825 crossrefType "journal-article" @default.
- W2187635825 hasAuthorship W2187635825A5023323170 @default.
- W2187635825 hasAuthorship W2187635825A5084686808 @default.
- W2187635825 hasConcept C11191006 @default.
- W2187635825 hasConcept C118615104 @default.
- W2187635825 hasConcept C146849305 @default.
- W2187635825 hasConcept C154945302 @default.
- W2187635825 hasConcept C167729594 @default.
- W2187635825 hasConcept C185592680 @default.
- W2187635825 hasConcept C188027245 @default.
- W2187635825 hasConcept C199360897 @default.
- W2187635825 hasConcept C2524010 @default.
- W2187635825 hasConcept C27508121 @default.
- W2187635825 hasConcept C2778023678 @default.
- W2187635825 hasConcept C33923547 @default.
- W2187635825 hasConcept C41008148 @default.
- W2187635825 hasConcept C46274116 @default.
- W2187635825 hasConcept C71139939 @default.
- W2187635825 hasConceptScore W2187635825C11191006 @default.
- W2187635825 hasConceptScore W2187635825C118615104 @default.
- W2187635825 hasConceptScore W2187635825C146849305 @default.
- W2187635825 hasConceptScore W2187635825C154945302 @default.
- W2187635825 hasConceptScore W2187635825C167729594 @default.
- W2187635825 hasConceptScore W2187635825C185592680 @default.
- W2187635825 hasConceptScore W2187635825C188027245 @default.
- W2187635825 hasConceptScore W2187635825C199360897 @default.
- W2187635825 hasConceptScore W2187635825C2524010 @default.
- W2187635825 hasConceptScore W2187635825C27508121 @default.
- W2187635825 hasConceptScore W2187635825C2778023678 @default.
- W2187635825 hasConceptScore W2187635825C33923547 @default.
- W2187635825 hasConceptScore W2187635825C41008148 @default.
- W2187635825 hasConceptScore W2187635825C46274116 @default.
- W2187635825 hasConceptScore W2187635825C71139939 @default.
- W2187635825 hasLocation W21876358251 @default.
- W2187635825 hasOpenAccess W2187635825 @default.
- W2187635825 hasPrimaryLocation W21876358251 @default.
- W2187635825 hasRelatedWork W1147820697 @default.
- W2187635825 hasRelatedWork W1540581533 @default.
- W2187635825 hasRelatedWork W1587096194 @default.
- W2187635825 hasRelatedWork W1640124338 @default.
- W2187635825 hasRelatedWork W1964222748 @default.
- W2187635825 hasRelatedWork W2015250277 @default.
- W2187635825 hasRelatedWork W2055265907 @default.
- W2187635825 hasRelatedWork W2106381645 @default.
- W2187635825 hasRelatedWork W2142820055 @default.
- W2187635825 hasRelatedWork W2481789733 @default.
- W2187635825 hasRelatedWork W2613997929 @default.
- W2187635825 hasRelatedWork W2619038102 @default.
- W2187635825 hasRelatedWork W2622859658 @default.
- W2187635825 hasRelatedWork W2731521422 @default.
- W2187635825 hasRelatedWork W2771362554 @default.
- W2187635825 hasRelatedWork W2981742593 @default.
- W2187635825 hasRelatedWork W3043491121 @default.
- W2187635825 hasRelatedWork W3131448751 @default.
- W2187635825 hasRelatedWork W3149254954 @default.
- W2187635825 hasRelatedWork W2189621582 @default.
- W2187635825 isParatext "false" @default.
- W2187635825 isRetracted "false" @default.
- W2187635825 magId "2187635825" @default.
- W2187635825 workType "article" @default.