Matches in SemOpenAlex for { <https://semopenalex.org/work/W2176855430> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2176855430 endingPage "481" @default.
- W2176855430 startingPage "474" @default.
- W2176855430 abstract "Abstract Minimization in circumscription has focussed on minimizing the extent of a set of predicates (with or without priorities among them), or of a formula. Although functions and other constants may be left varying during circumscription, no earlier formalism to the best of our knowledge minimized functions. In this paper we introduce and motivate the notion of value minimizing a function in circumscription. Intuitively, value minimizing a function consists in choosing those models where the value of the function is minimal relative to an ordering on its range. We first give the formulation of value minimization of a single function based on a syntactic transformation and then give a formulation in model-theoretic terms. We then discuss value minimization of a set of functions with and without priorities. We show how Lifschitz's Nested Abnormality Theories can be used to express value minimization, and discuss the prospect of its use for knowledge representation, particularly in formalizing reasoning about actions." @default.
- W2176855430 created "2016-06-24" @default.
- W2176855430 creator A5026824657 @default.
- W2176855430 creator A5081508670 @default.
- W2176855430 creator A5083735830 @default.
- W2176855430 date "1996-11-05" @default.
- W2176855430 modified "2023-09-26" @default.
- W2176855430 title "Value minimization in circumscription" @default.
- W2176855430 cites W1505436358 @default.
- W2176855430 cites W1561103552 @default.
- W2176855430 cites W162353158 @default.
- W2176855430 cites W1989492347 @default.
- W2176855430 cites W1998363560 @default.
- W2176855430 cites W2087532070 @default.
- W2176855430 cites W2165063953 @default.
- W2176855430 cites W2248022409 @default.
- W2176855430 cites W95060067 @default.
- W2176855430 hasPublicationYear "1996" @default.
- W2176855430 type Work @default.
- W2176855430 sameAs 2176855430 @default.
- W2176855430 citedByCount "4" @default.
- W2176855430 countsByYear W21768554302013 @default.
- W2176855430 crossrefType "proceedings-article" @default.
- W2176855430 hasAuthorship W2176855430A5026824657 @default.
- W2176855430 hasAuthorship W2176855430A5081508670 @default.
- W2176855430 hasAuthorship W2176855430A5083735830 @default.
- W2176855430 hasConcept C119857082 @default.
- W2176855430 hasConcept C126255220 @default.
- W2176855430 hasConcept C14036430 @default.
- W2176855430 hasConcept C142362112 @default.
- W2176855430 hasConcept C147764199 @default.
- W2176855430 hasConcept C153349607 @default.
- W2176855430 hasConcept C154945302 @default.
- W2176855430 hasConcept C159985019 @default.
- W2176855430 hasConcept C192562407 @default.
- W2176855430 hasConcept C204323151 @default.
- W2176855430 hasConcept C2776291640 @default.
- W2176855430 hasConcept C33923547 @default.
- W2176855430 hasConcept C41008148 @default.
- W2176855430 hasConcept C558565934 @default.
- W2176855430 hasConcept C62360110 @default.
- W2176855430 hasConcept C73301696 @default.
- W2176855430 hasConcept C78458016 @default.
- W2176855430 hasConcept C86803240 @default.
- W2176855430 hasConceptScore W2176855430C119857082 @default.
- W2176855430 hasConceptScore W2176855430C126255220 @default.
- W2176855430 hasConceptScore W2176855430C14036430 @default.
- W2176855430 hasConceptScore W2176855430C142362112 @default.
- W2176855430 hasConceptScore W2176855430C147764199 @default.
- W2176855430 hasConceptScore W2176855430C153349607 @default.
- W2176855430 hasConceptScore W2176855430C154945302 @default.
- W2176855430 hasConceptScore W2176855430C159985019 @default.
- W2176855430 hasConceptScore W2176855430C192562407 @default.
- W2176855430 hasConceptScore W2176855430C204323151 @default.
- W2176855430 hasConceptScore W2176855430C2776291640 @default.
- W2176855430 hasConceptScore W2176855430C33923547 @default.
- W2176855430 hasConceptScore W2176855430C41008148 @default.
- W2176855430 hasConceptScore W2176855430C558565934 @default.
- W2176855430 hasConceptScore W2176855430C62360110 @default.
- W2176855430 hasConceptScore W2176855430C73301696 @default.
- W2176855430 hasConceptScore W2176855430C78458016 @default.
- W2176855430 hasConceptScore W2176855430C86803240 @default.
- W2176855430 hasLocation W21768554301 @default.
- W2176855430 hasOpenAccess W2176855430 @default.
- W2176855430 hasPrimaryLocation W21768554301 @default.
- W2176855430 hasRelatedWork W101723311 @default.
- W2176855430 hasRelatedWork W108458627 @default.
- W2176855430 hasRelatedWork W1505436358 @default.
- W2176855430 hasRelatedWork W153515563 @default.
- W2176855430 hasRelatedWork W1536469384 @default.
- W2176855430 hasRelatedWork W1598212952 @default.
- W2176855430 hasRelatedWork W1973847026 @default.
- W2176855430 hasRelatedWork W1994226409 @default.
- W2176855430 hasRelatedWork W1998363560 @default.
- W2176855430 hasRelatedWork W2036645083 @default.
- W2176855430 hasRelatedWork W2039470898 @default.
- W2176855430 hasRelatedWork W2051200809 @default.
- W2176855430 hasRelatedWork W2087532070 @default.
- W2176855430 hasRelatedWork W2094873706 @default.
- W2176855430 hasRelatedWork W2122455927 @default.
- W2176855430 hasRelatedWork W2129708147 @default.
- W2176855430 hasRelatedWork W2230306527 @default.
- W2176855430 hasRelatedWork W2588862862 @default.
- W2176855430 hasRelatedWork W2912123332 @default.
- W2176855430 hasRelatedWork W2952829960 @default.
- W2176855430 isParatext "false" @default.
- W2176855430 isRetracted "false" @default.
- W2176855430 magId "2176855430" @default.
- W2176855430 workType "article" @default.