3189 22 3235 3 6424 document 3235 WP-88-016.pdf application/pdf 740be1c93b14d15b8f14ca2e823750a9 MD5 625100 2016-01-15 01:59:11 https://pure.iiasa.ac.at/id/eprint/3189/1/WP-88-016.pdf 3189 1 1 text en public

WP-88-016.pdf

22 560f1dd6fe767dcdec32688d7e5f3ecf22af8351 17676 2 29406 document 17676 lightbox.jpg image/png 33551c80fabf4e9333295edbdde87762 MD5 11902 2016-01-15 12:36:56 https://pure.iiasa.ac.at/id/eprint/3189/2/lightbox.jpg 3189 2 2 image/png other Thumbnails conversion from text to thumbnail_lightbox en public

lightbox.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/islightboxThumbnailVersionOf https://pure.iiasa.ac.at/id/document/3235 17677 2 29407 document 17677 preview.jpg image/png d1d8cf377ba33e65d59bb05f990991bb MD5 6353 2016-01-15 12:36:57 https://pure.iiasa.ac.at/id/eprint/3189/3/preview.jpg 3189 3 3 image/png other Thumbnails conversion from text to thumbnail_preview en public

preview.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/ispreviewThumbnailVersionOf https://pure.iiasa.ac.at/id/document/3235 17678 2 29408 document 17678 medium.jpg image/png 9d6b3eed571a99e56eeb8d3a3abdff67 MD5 2179 2016-01-15 12:36:58 https://pure.iiasa.ac.at/id/eprint/3189/4/medium.jpg 3189 4 4 image/png other Thumbnails conversion from text to thumbnail_medium en public

medium.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/ismediumThumbnailVersionOf https://pure.iiasa.ac.at/id/document/3235 17679 2 29409 document 17679 small.jpg image/png a6db4749ce57e8ba53a7dd32935610b2 MD5 1023 2016-01-15 12:36:59 https://pure.iiasa.ac.at/id/eprint/3189/5/small.jpg 3189 5 5 image/png other Thumbnails conversion from text to thumbnail_small en public

small.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/issmallThumbnailVersionOf https://pure.iiasa.ac.at/id/document/3235 17680 1 29410 document 17680 indexcodes.txt text/x-c++ aa24b4090c9d960298d2cfebee1b50c4 MD5 6827 2016-01-15 12:37:00 https://pure.iiasa.ac.at/id/eprint/3189/6/indexcodes.txt 3189 6 6 text/x-c++ other Generate index codes conversion from text to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isIndexCodesVersionOf https://pure.iiasa.ac.at/id/document/3235 81916 2 229808 document 81916 WP-88-016.pdf application/pdf 58e9e576eea72cfdab8e916fa2d735e8 MD5 1321130 2018-03-14 07:16:23 https://pure.iiasa.ac.at/id/eprint/3189/7/WP-88-016.pdf 3189 7 7 application/pdf other Coversheet version en public

WP-88-016.pdf

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/3235 http://eprints.org/relation/isCoversheetVersionOf https://pure.iiasa.ac.at/id/document/3235 archive 351 disk0/00/00/31/89 2016-01-15 01:59:11 2021-08-27 17:13:23 2016-01-15 01:59:11 monograph show 2 Aubin J.-P. 7347 pub iis_met prog_sds This paper deals with a domain of Artificial Intelligence known under the name of "qualitative simulation" or "qualitative physics", to which special volumes of "Artificial Intelligence" (1984) and or "IEEE Transactions on Systems, Man and Cybernetics" (1987) have been devoted. It defines the concept of "qualitative frame" of a set, which allows to introduce strict, large and dual confluence frames of a finite dimensional vector-space. After providing a rigorous definition of standard, lower and upper qualitative solutions in terms of confluences introduced by De Kleer, it provides a duality criterion for the existence of a strict standard solution to both linear and non linear equations. It also furnishes a dual characterization of the existence or upper and lower qualitative solutions to a linear equation. These theorems are extended to the case or "inclusions", where single-valued maps are replaced by set-valued maps. This may be useful for dealing with qualitative properties of maps which are not precisely known, or which are defined by a set of properties, a requirement which is at the heart of qualitative simulation. 1988-03 published WP-88-016 WP-88-016 10 1134 public working_paper IIASA, Laxenburg, Austria 29 FALSE info:eu-repo/semantics/book