{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2003:IKCG7I35UPDJ7TUHDPNDEUOKOH","short_pith_number":"pith:IKCG7I35","canonical_record":{"source":{"id":"cs/0311052","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2003-11-28T09:29:35Z","cross_cats_sorted":["cs.HC"],"title_canon_sha256":"132b6a64abbfdb224a1bf9a6f494aeef631cd9633b16bab46673814b7c3d5c30","abstract_canon_sha256":"211fd72b253e93e0ae473fdd11aa15c9c028efd75f600607c903222d292a9e7f"},"schema_version":"1.0"},"canonical_sha256":"42846fa37da3c69fce871bda3251ca71f618798bd711c8c23aee8eb7b9cae8de","source":{"kind":"arxiv","id":"cs/0311052","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0311052","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0311052v2","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0311052","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"pith_short_12","alias_value":"IKCG7I35UPDJ","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"pith_short_16","alias_value":"IKCG7I35UPDJ7TUH","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"pith_short_8","alias_value":"IKCG7I35","created_at":"2026-07-04T14:24:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2003:IKCG7I35UPDJ7TUHDPNDEUOKOH","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0311052","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2003-11-28T09:29:35Z","cross_cats_sorted":["cs.HC"],"title_canon_sha256":"132b6a64abbfdb224a1bf9a6f494aeef631cd9633b16bab46673814b7c3d5c30","abstract_canon_sha256":"211fd72b253e93e0ae473fdd11aa15c9c028efd75f600607c903222d292a9e7f"},"schema_version":"1.0"},"canonical_sha256":"42846fa37da3c69fce871bda3251ca71f618798bd711c8c23aee8eb7b9cae8de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:39.160482Z","signature_b64":"DPianXejVPepA28eqfHLIbmyQiuJSKcR/0Nn/7jdzRHJ/CmttXhDRs4VFzNfkIxJEGgCbkNh6xfVJmZs1zX4DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42846fa37da3c69fce871bda3251ca71f618798bd711c8c23aee8eb7b9cae8de","last_reissued_at":"2026-07-04T14:24:39.160135Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:39.160135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0311052","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-04T14:24:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8jso6ZYXSZaiUBYI3bMKqaYAc58Td8YOohg6VfOG3bp8pVhX9Ks9IhtKfJ9tiVFvb1ONVIaI8q43Brt4HzUOCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:33:47.543819Z"},"content_sha256":"5ff83c7981dcf20391274362392cc782c6b604831cff99dbd12d14eb2d704617","schema_version":"1.0","event_id":"sha256:5ff83c7981dcf20391274362392cc782c6b604831cff99dbd12d14eb2d704617"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2003:IKCG7I35UPDJ7TUHDPNDEUOKOH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Situation Calculus-based Approach To Model Ubiquitous Information Services","license":"","headline":"","cross_cats":["cs.HC"],"primary_cat":"cs.AI","authors_text":"Dong Wen-Yu, Lin Meng-Xiang, Xu Ke","submitted_at":"2003-11-28T09:29:35Z","abstract_excerpt":"This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous information services. To make it practical for commercial development and easier to support autonomous paradigm imposed by ubiquitous information services, we made improvements based on Reiter's standard situation calculus. First we explore the inherent relationship between fluents and evolution: since not all fluents contribute to systems' evolution and some fluents can be derived from some others, we define those fluents that are sufficient and necessary to determine evolut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0311052","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0311052/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-04T14:24:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7I3ugt48xgRCo6FSAvOtp1MHNNDL2wrC4EwCnrkGZ6u2dY7wlp1y3R1S1JpDQpZ0+hP8t+vw/h2V4IaTvRDNCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:33:47.544319Z"},"content_sha256":"f6ac57072d5480c0151af36f4673b348746811de6e1042d5dd9269ac76606433","schema_version":"1.0","event_id":"sha256:f6ac57072d5480c0151af36f4673b348746811de6e1042d5dd9269ac76606433"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IKCG7I35UPDJ7TUHDPNDEUOKOH/bundle.json","state_url":"https://pith.science/pith/IKCG7I35UPDJ7TUHDPNDEUOKOH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IKCG7I35UPDJ7TUHDPNDEUOKOH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-23T11:33:47Z","links":{"resolver":"https://pith.science/pith/IKCG7I35UPDJ7TUHDPNDEUOKOH","bundle":"https://pith.science/pith/IKCG7I35UPDJ7TUHDPNDEUOKOH/bundle.json","state":"https://pith.science/pith/IKCG7I35UPDJ7TUHDPNDEUOKOH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IKCG7I35UPDJ7TUHDPNDEUOKOH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2003:IKCG7I35UPDJ7TUHDPNDEUOKOH","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"211fd72b253e93e0ae473fdd11aa15c9c028efd75f600607c903222d292a9e7f","cross_cats_sorted":["cs.HC"],"license":"","primary_cat":"cs.AI","submitted_at":"2003-11-28T09:29:35Z","title_canon_sha256":"132b6a64abbfdb224a1bf9a6f494aeef631cd9633b16bab46673814b7c3d5c30"},"schema_version":"1.0","source":{"id":"cs/0311052","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0311052","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0311052v2","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0311052","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"pith_short_12","alias_value":"IKCG7I35UPDJ","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"pith_short_16","alias_value":"IKCG7I35UPDJ7TUH","created_at":"2026-07-04T14:24:39Z"},{"alias_kind":"pith_short_8","alias_value":"IKCG7I35","created_at":"2026-07-04T14:24:39Z"}],"graph_snapshots":[{"event_id":"sha256:f6ac57072d5480c0151af36f4673b348746811de6e1042d5dd9269ac76606433","target":"graph","created_at":"2026-07-04T14:24:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0311052/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous information services. To make it practical for commercial development and easier to support autonomous paradigm imposed by ubiquitous information services, we made improvements based on Reiter's standard situation calculus. First we explore the inherent relationship between fluents and evolution: since not all fluents contribute to systems' evolution and some fluents can be derived from some others, we define those fluents that are sufficient and necessary to determine evolut","authors_text":"Dong Wen-Yu, Lin Meng-Xiang, Xu Ke","cross_cats":["cs.HC"],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2003-11-28T09:29:35Z","title":"A Situation Calculus-based Approach To Model Ubiquitous Information Services"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0311052","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5ff83c7981dcf20391274362392cc782c6b604831cff99dbd12d14eb2d704617","target":"record","created_at":"2026-07-04T14:24:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"211fd72b253e93e0ae473fdd11aa15c9c028efd75f600607c903222d292a9e7f","cross_cats_sorted":["cs.HC"],"license":"","primary_cat":"cs.AI","submitted_at":"2003-11-28T09:29:35Z","title_canon_sha256":"132b6a64abbfdb224a1bf9a6f494aeef631cd9633b16bab46673814b7c3d5c30"},"schema_version":"1.0","source":{"id":"cs/0311052","kind":"arxiv","version":2}},"canonical_sha256":"42846fa37da3c69fce871bda3251ca71f618798bd711c8c23aee8eb7b9cae8de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42846fa37da3c69fce871bda3251ca71f618798bd711c8c23aee8eb7b9cae8de","first_computed_at":"2026-07-04T14:24:39.160135Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:39.160135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DPianXejVPepA28eqfHLIbmyQiuJSKcR/0Nn/7jdzRHJ/CmttXhDRs4VFzNfkIxJEGgCbkNh6xfVJmZs1zX4DA==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:39.160482Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0311052","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ff83c7981dcf20391274362392cc782c6b604831cff99dbd12d14eb2d704617","sha256:f6ac57072d5480c0151af36f4673b348746811de6e1042d5dd9269ac76606433"],"state_sha256":"f574e839e92bba2730800ccd5a3225dcc316a0fdb128bf9a4bc52db306beb8b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B/LK1UH7KOZxw0J6VJ0HnKQ+V+zv35DylFm14pWYRragPXesINSRSx8OIINZKvyUzc5buT/qoBptLdyhrU2TDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T11:33:47.548149Z","bundle_sha256":"e55532db1071bcbe04615139243e828a7f07e015d63711dbc2a1f9e6695009a3"}}