Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119032072> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2119032072 endingPage "495" @default.
- W2119032072 startingPage "487" @default.
- W2119032072 abstract "Some normal logic programs under the answer set (or stable model) semantics lack the appealing property of ‘cautious monotonicity.’ That is, augmenting a program with one of its consequences may cause it to lose another of its consequences. The syntactic condition of ‘order-consistency’ was shown by Fages to guarantee existence of an answer set. This note establishes that order-consistent programs are not only consistent, but cautiously monotonic. From this it follows that they are also ‘cumulative’. That is, augmenting an order-consistent program with some of its consequences does not alter its consequences. In fact, as we show, its answer sets remain unchanged." @default.
- W2119032072 created "2016-06-24" @default.
- W2119032072 creator A5084281533 @default.
- W2119032072 date "2001-06-25" @default.
- W2119032072 modified "2023-10-16" @default.
- W2119032072 title "Order-consistent programs are cautiously monotonic" @default.
- W2119032072 cites W1481955269 @default.
- W2119032072 cites W1566892080 @default.
- W2119032072 cites W1672891595 @default.
- W2119032072 cites W1761876784 @default.
- W2119032072 cites W1968513265 @default.
- W2119032072 cites W1970598347 @default.
- W2119032072 cites W2069972706 @default.
- W2119032072 cites W2076698873 @default.
- W2119032072 cites W2080142817 @default.
- W2119032072 cites W2090798572 @default.
- W2119032072 cites W2093089155 @default.
- W2119032072 cites W2141740710 @default.
- W2119032072 cites W2399343913 @default.
- W2119032072 doi "https://doi.org/10.1017/s1471068401001144" @default.
- W2119032072 hasPublicationYear "2001" @default.
- W2119032072 type Work @default.
- W2119032072 sameAs 2119032072 @default.
- W2119032072 citedByCount "4" @default.
- W2119032072 countsByYear W21190320722012 @default.
- W2119032072 crossrefType "journal-article" @default.
- W2119032072 hasAuthorship W2119032072A5084281533 @default.
- W2119032072 hasBestOaLocation W21190320722 @default.
- W2119032072 hasConcept C10138342 @default.
- W2119032072 hasConcept C111472728 @default.
- W2119032072 hasConcept C127001435 @default.
- W2119032072 hasConcept C128838566 @default.
- W2119032072 hasConcept C134306372 @default.
- W2119032072 hasConcept C138885662 @default.
- W2119032072 hasConcept C144237770 @default.
- W2119032072 hasConcept C154945302 @default.
- W2119032072 hasConcept C156325763 @default.
- W2119032072 hasConcept C162324750 @default.
- W2119032072 hasConcept C177264268 @default.
- W2119032072 hasConcept C182306322 @default.
- W2119032072 hasConcept C184337299 @default.
- W2119032072 hasConcept C189950617 @default.
- W2119032072 hasConcept C199360897 @default.
- W2119032072 hasConcept C2776436953 @default.
- W2119032072 hasConcept C2987117450 @default.
- W2119032072 hasConcept C33923547 @default.
- W2119032072 hasConcept C41008148 @default.
- W2119032072 hasConcept C62360110 @default.
- W2119032072 hasConcept C72169020 @default.
- W2119032072 hasConcept C80444323 @default.
- W2119032072 hasConceptScore W2119032072C10138342 @default.
- W2119032072 hasConceptScore W2119032072C111472728 @default.
- W2119032072 hasConceptScore W2119032072C127001435 @default.
- W2119032072 hasConceptScore W2119032072C128838566 @default.
- W2119032072 hasConceptScore W2119032072C134306372 @default.
- W2119032072 hasConceptScore W2119032072C138885662 @default.
- W2119032072 hasConceptScore W2119032072C144237770 @default.
- W2119032072 hasConceptScore W2119032072C154945302 @default.
- W2119032072 hasConceptScore W2119032072C156325763 @default.
- W2119032072 hasConceptScore W2119032072C162324750 @default.
- W2119032072 hasConceptScore W2119032072C177264268 @default.
- W2119032072 hasConceptScore W2119032072C182306322 @default.
- W2119032072 hasConceptScore W2119032072C184337299 @default.
- W2119032072 hasConceptScore W2119032072C189950617 @default.
- W2119032072 hasConceptScore W2119032072C199360897 @default.
- W2119032072 hasConceptScore W2119032072C2776436953 @default.
- W2119032072 hasConceptScore W2119032072C2987117450 @default.
- W2119032072 hasConceptScore W2119032072C33923547 @default.
- W2119032072 hasConceptScore W2119032072C41008148 @default.
- W2119032072 hasConceptScore W2119032072C62360110 @default.
- W2119032072 hasConceptScore W2119032072C72169020 @default.
- W2119032072 hasConceptScore W2119032072C80444323 @default.
- W2119032072 hasIssue "4" @default.
- W2119032072 hasLocation W21190320721 @default.
- W2119032072 hasLocation W21190320722 @default.
- W2119032072 hasOpenAccess W2119032072 @default.
- W2119032072 hasPrimaryLocation W21190320721 @default.
- W2119032072 hasRelatedWork W1484108514 @default.
- W2119032072 hasRelatedWork W1517451538 @default.
- W2119032072 hasRelatedWork W1617965269 @default.
- W2119032072 hasRelatedWork W1988666619 @default.
- W2119032072 hasRelatedWork W2124627636 @default.
- W2119032072 hasRelatedWork W2176973685 @default.
- W2119032072 hasRelatedWork W2294041648 @default.
- W2119032072 hasRelatedWork W2952169544 @default.
- W2119032072 hasRelatedWork W2504286793 @default.
- W2119032072 hasRelatedWork W2610968078 @default.
- W2119032072 hasVolume "1" @default.
- W2119032072 isParatext "false" @default.
- W2119032072 isRetracted "false" @default.
- W2119032072 magId "2119032072" @default.
- W2119032072 workType "article" @default.