{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:A6BII74GWOMBTBWHDIDJD2K7JS","short_pith_number":"pith:A6BII74G","canonical_record":{"source":{"id":"1810.06374","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-12T13:17:35Z","cross_cats_sorted":[],"title_canon_sha256":"6ac010450119112b24fa5420770cf0ecc049ca700b5d1fda486233a12bc41c8f","abstract_canon_sha256":"9d2de2e7eddee9620a5408df5f0dc896a248b4a79d512c01a998e0f62d7b7d3f"},"schema_version":"1.0"},"canonical_sha256":"0782847f86b3981986c71a0691e95f4cbe3f3004a8850648808215bbef56d861","source":{"kind":"arxiv","id":"1810.06374","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.06374","created_at":"2026-05-18T00:03:20Z"},{"alias_kind":"arxiv_version","alias_value":"1810.06374v1","created_at":"2026-05-18T00:03:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.06374","created_at":"2026-05-18T00:03:20Z"},{"alias_kind":"pith_short_12","alias_value":"A6BII74GWOMB","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"A6BII74GWOMBTBWH","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"A6BII74G","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:A6BII74GWOMBTBWHDIDJD2K7JS","target":"record","payload":{"canonical_record":{"source":{"id":"1810.06374","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-12T13:17:35Z","cross_cats_sorted":[],"title_canon_sha256":"6ac010450119112b24fa5420770cf0ecc049ca700b5d1fda486233a12bc41c8f","abstract_canon_sha256":"9d2de2e7eddee9620a5408df5f0dc896a248b4a79d512c01a998e0f62d7b7d3f"},"schema_version":"1.0"},"canonical_sha256":"0782847f86b3981986c71a0691e95f4cbe3f3004a8850648808215bbef56d861","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:20.675817Z","signature_b64":"EirGHaVSS/ilRFCJ8NwVVgsYNJS/G2mp8F1z3Oqxc2ZwokD365R4I/8HNKNul7Tp+WBS28SZMSU65TVWs7IDBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0782847f86b3981986c71a0691e95f4cbe3f3004a8850648808215bbef56d861","last_reissued_at":"2026-05-18T00:03:20.674761Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:20.674761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.06374","source_version":1,"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-05-18T00:03:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LMPH0SHGcwPd7zI/653uxDoG5xiA1ZIrib9G+DbjLXRIryji1KiJyYVCjB2Oi4R5YfBekJW7BCWiQEKsOXHuDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T00:39:31.053204Z"},"content_sha256":"e07346c7b60c2a0b09efc98b19a7aca46aa3b2e1d2c875bdd94637eb92666322","schema_version":"1.0","event_id":"sha256:e07346c7b60c2a0b09efc98b19a7aca46aa3b2e1d2c875bdd94637eb92666322"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:A6BII74GWOMBTBWHDIDJD2K7JS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SmartPM: Automatic Adaptation of Dynamic Processes at Run-Time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andrea Marrella","submitted_at":"2018-10-12T13:17:35Z","abstract_excerpt":"The research activity outlined in this PhD thesis is devoted to define a general approach, a concrete architecture and a prototype Process Management System (PMS) for the automated adaptation of dynamic processes at run-time, on the basis of a declarative specification of process tasks and relying on well-established reasoning about actions and planning techniques. The purpose is to demonstrate that the combination of procedural and imperative models with declarative elements, along with the exploitation of techniques from the field of artificial intelligence (AI), such as Situation Calculus, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.06374","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:03:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MCItbPCHUe7l2OW/CoKPFhhXoxOyy8SJP6l5950QkKXrZxgE9/N1+JyMevsq+EdCKlY2Hf6r8xaDnj5i68TwCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T00:39:31.053924Z"},"content_sha256":"4fc132a8a2e68452800a42833c89410f3927d3e7168fda890b085a842819c60a","schema_version":"1.0","event_id":"sha256:4fc132a8a2e68452800a42833c89410f3927d3e7168fda890b085a842819c60a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A6BII74GWOMBTBWHDIDJD2K7JS/bundle.json","state_url":"https://pith.science/pith/A6BII74GWOMBTBWHDIDJD2K7JS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A6BII74GWOMBTBWHDIDJD2K7JS/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-06-11T00:39:31Z","links":{"resolver":"https://pith.science/pith/A6BII74GWOMBTBWHDIDJD2K7JS","bundle":"https://pith.science/pith/A6BII74GWOMBTBWHDIDJD2K7JS/bundle.json","state":"https://pith.science/pith/A6BII74GWOMBTBWHDIDJD2K7JS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A6BII74GWOMBTBWHDIDJD2K7JS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:A6BII74GWOMBTBWHDIDJD2K7JS","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":"9d2de2e7eddee9620a5408df5f0dc896a248b4a79d512c01a998e0f62d7b7d3f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-12T13:17:35Z","title_canon_sha256":"6ac010450119112b24fa5420770cf0ecc049ca700b5d1fda486233a12bc41c8f"},"schema_version":"1.0","source":{"id":"1810.06374","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.06374","created_at":"2026-05-18T00:03:20Z"},{"alias_kind":"arxiv_version","alias_value":"1810.06374v1","created_at":"2026-05-18T00:03:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.06374","created_at":"2026-05-18T00:03:20Z"},{"alias_kind":"pith_short_12","alias_value":"A6BII74GWOMB","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"A6BII74GWOMBTBWH","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"A6BII74G","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:4fc132a8a2e68452800a42833c89410f3927d3e7168fda890b085a842819c60a","target":"graph","created_at":"2026-05-18T00:03:20Z","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"},"paper":{"abstract_excerpt":"The research activity outlined in this PhD thesis is devoted to define a general approach, a concrete architecture and a prototype Process Management System (PMS) for the automated adaptation of dynamic processes at run-time, on the basis of a declarative specification of process tasks and relying on well-established reasoning about actions and planning techniques. The purpose is to demonstrate that the combination of procedural and imperative models with declarative elements, along with the exploitation of techniques from the field of artificial intelligence (AI), such as Situation Calculus, ","authors_text":"Andrea Marrella","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-12T13:17:35Z","title":"SmartPM: Automatic Adaptation of Dynamic Processes at Run-Time"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.06374","kind":"arxiv","version":1},"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:e07346c7b60c2a0b09efc98b19a7aca46aa3b2e1d2c875bdd94637eb92666322","target":"record","created_at":"2026-05-18T00:03:20Z","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":"9d2de2e7eddee9620a5408df5f0dc896a248b4a79d512c01a998e0f62d7b7d3f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-10-12T13:17:35Z","title_canon_sha256":"6ac010450119112b24fa5420770cf0ecc049ca700b5d1fda486233a12bc41c8f"},"schema_version":"1.0","source":{"id":"1810.06374","kind":"arxiv","version":1}},"canonical_sha256":"0782847f86b3981986c71a0691e95f4cbe3f3004a8850648808215bbef56d861","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0782847f86b3981986c71a0691e95f4cbe3f3004a8850648808215bbef56d861","first_computed_at":"2026-05-18T00:03:20.674761Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:20.674761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EirGHaVSS/ilRFCJ8NwVVgsYNJS/G2mp8F1z3Oqxc2ZwokD365R4I/8HNKNul7Tp+WBS28SZMSU65TVWs7IDBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:20.675817Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.06374","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e07346c7b60c2a0b09efc98b19a7aca46aa3b2e1d2c875bdd94637eb92666322","sha256:4fc132a8a2e68452800a42833c89410f3927d3e7168fda890b085a842819c60a"],"state_sha256":"322929ac64f531881cebc5baa80392ed0e92185246c172e3cc5c067a7727193b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9VDfT66VSAkEXMc2v/rVLmSsQeprhqBU8DOQjtRJTzG6+kbPpKRzCtnLln+9vkPa2Pf2ElMMuqb7ZBCqDgs2Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T00:39:31.057749Z","bundle_sha256":"03b078c40b3efba1e9fea0d7d0eba2c8c8ad3472c8a0774ff5ae86c08f4787cf"}}