{"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"}