{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:XTXW4MXAQYQH5VGHTIFP4WBZKC","short_pith_number":"pith:XTXW4MXA","canonical_record":{"source":{"id":"1401.3443","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T04:54:59Z","cross_cats_sorted":[],"title_canon_sha256":"9324c1827d775078b2e26390cc8685ae0df088857b3633e47dae616f58066639","abstract_canon_sha256":"7d06125b6940e5094297e2c4f59620cb651903cd8b943be91c6fc6faa2a6ad3b"},"schema_version":"1.0"},"canonical_sha256":"bcef6e32e086207ed4c79a0afe583950b85e6809fae72d869c1e8d9083123f11","source":{"kind":"arxiv","id":"1401.3443","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3443","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3443v1","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3443","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"pith_short_12","alias_value":"XTXW4MXAQYQH","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"XTXW4MXAQYQH5VGH","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"XTXW4MXA","created_at":"2026-05-18T12:28:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:XTXW4MXAQYQH5VGHTIFP4WBZKC","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3443","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T04:54:59Z","cross_cats_sorted":[],"title_canon_sha256":"9324c1827d775078b2e26390cc8685ae0df088857b3633e47dae616f58066639","abstract_canon_sha256":"7d06125b6940e5094297e2c4f59620cb651903cd8b943be91c6fc6faa2a6ad3b"},"schema_version":"1.0"},"canonical_sha256":"bcef6e32e086207ed4c79a0afe583950b85e6809fae72d869c1e8d9083123f11","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:09.123713Z","signature_b64":"C3f3LZUQdl0borz6g+34Bbf30UB9Ukd+ioG+H4xOdoPUQpzQPhX1CXJFT83L2eOlnU639fYi8eBmaiH2D7z5Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bcef6e32e086207ed4c79a0afe583950b85e6809fae72d869c1e8d9083123f11","last_reissued_at":"2026-05-18T03:02:09.123114Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:09.123114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3443","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-18T03:02:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XoHueLRupTVEdKGM3nmrdBZUSVi5QikcOSMCYKAaDvTqAwUoUo3waNrHjLPk5Z0pSHSq2Pajmz22x8nsZDu8Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:30:16.551417Z"},"content_sha256":"1e2002bac65af9e5cb856ff6ae7ddb880bb34bee5aeee9b695064b5fac78e057","schema_version":"1.0","event_id":"sha256:1e2002bac65af9e5cb856ff6ae7ddb880bb34bee5aeee9b695064b5fac78e057"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:XTXW4MXAQYQH5VGHTIFP4WBZKC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computational Logic Foundations of KGP Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Antonis Kakas, Fariba Sadri, Francesca Toni, Kostas Stathis, Paolo Mancarella","submitted_at":"2014-01-15T04:54:59Z","abstract_excerpt":"This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan model. This model allows the specification of heterogeneous agents that can interact with each other, and can exhibit both proactive and reactive behaviour allowing them to function in dynamic environments by adjusting their goals and plans when changes happen in such environments.  KGP provides a highly modular agent architecture that integrates a collection of reasoning and physical capabilities, synthesised within transitions that update the agents state in response to reas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3443","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-18T03:02:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OUYHgI+iHD6haZ078w34gGvTBxz9yjXPjRxYzwr2kqLOVWkwOZKrrXa6H6K3ABaC5BpSG1QQ7JeUr578YeBrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:30:16.551790Z"},"content_sha256":"b872af79d4733e97d3c6ac8299e420657edfd0c5f207eb1e071cfc95ac73e54b","schema_version":"1.0","event_id":"sha256:b872af79d4733e97d3c6ac8299e420657edfd0c5f207eb1e071cfc95ac73e54b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XTXW4MXAQYQH5VGHTIFP4WBZKC/bundle.json","state_url":"https://pith.science/pith/XTXW4MXAQYQH5VGHTIFP4WBZKC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XTXW4MXAQYQH5VGHTIFP4WBZKC/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-05-31T03:30:16Z","links":{"resolver":"https://pith.science/pith/XTXW4MXAQYQH5VGHTIFP4WBZKC","bundle":"https://pith.science/pith/XTXW4MXAQYQH5VGHTIFP4WBZKC/bundle.json","state":"https://pith.science/pith/XTXW4MXAQYQH5VGHTIFP4WBZKC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XTXW4MXAQYQH5VGHTIFP4WBZKC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:XTXW4MXAQYQH5VGHTIFP4WBZKC","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":"7d06125b6940e5094297e2c4f59620cb651903cd8b943be91c6fc6faa2a6ad3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T04:54:59Z","title_canon_sha256":"9324c1827d775078b2e26390cc8685ae0df088857b3633e47dae616f58066639"},"schema_version":"1.0","source":{"id":"1401.3443","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3443","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3443v1","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3443","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"pith_short_12","alias_value":"XTXW4MXAQYQH","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"XTXW4MXAQYQH5VGH","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"XTXW4MXA","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:b872af79d4733e97d3c6ac8299e420657edfd0c5f207eb1e071cfc95ac73e54b","target":"graph","created_at":"2026-05-18T03:02:09Z","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":"This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan model. This model allows the specification of heterogeneous agents that can interact with each other, and can exhibit both proactive and reactive behaviour allowing them to function in dynamic environments by adjusting their goals and plans when changes happen in such environments.  KGP provides a highly modular agent architecture that integrates a collection of reasoning and physical capabilities, synthesised within transitions that update the agents state in response to reas","authors_text":"Antonis Kakas, Fariba Sadri, Francesca Toni, Kostas Stathis, Paolo Mancarella","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T04:54:59Z","title":"Computational Logic Foundations of KGP Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3443","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:1e2002bac65af9e5cb856ff6ae7ddb880bb34bee5aeee9b695064b5fac78e057","target":"record","created_at":"2026-05-18T03:02:09Z","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":"7d06125b6940e5094297e2c4f59620cb651903cd8b943be91c6fc6faa2a6ad3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T04:54:59Z","title_canon_sha256":"9324c1827d775078b2e26390cc8685ae0df088857b3633e47dae616f58066639"},"schema_version":"1.0","source":{"id":"1401.3443","kind":"arxiv","version":1}},"canonical_sha256":"bcef6e32e086207ed4c79a0afe583950b85e6809fae72d869c1e8d9083123f11","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bcef6e32e086207ed4c79a0afe583950b85e6809fae72d869c1e8d9083123f11","first_computed_at":"2026-05-18T03:02:09.123114Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:09.123114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C3f3LZUQdl0borz6g+34Bbf30UB9Ukd+ioG+H4xOdoPUQpzQPhX1CXJFT83L2eOlnU639fYi8eBmaiH2D7z5Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:09.123713Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3443","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e2002bac65af9e5cb856ff6ae7ddb880bb34bee5aeee9b695064b5fac78e057","sha256:b872af79d4733e97d3c6ac8299e420657edfd0c5f207eb1e071cfc95ac73e54b"],"state_sha256":"225ded6890a7b35a3d2b85da55cacc803d0d5e7ab37fc1de1e87e17df021315d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nKmDBwIUOxlzofXlyakPa1I90+u4iBvFfGkzdb3JOs7U63yvh7ayW+3NEUAQ9W+HK3oKFCi3WAUwG1YOHjNsAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T03:30:16.554382Z","bundle_sha256":"23077bbd078b615411ee46795428d8ddd691d9619e6cb357ea2268b23d7610ec"}}