{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:25XTGET3U6CTZWH3NMIF4TOI3N","short_pith_number":"pith:25XTGET3","canonical_record":{"source":{"id":"1207.4107","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","cross_cats_sorted":[],"title_canon_sha256":"b0ac60df4357f7541bfad92969ccd0f52cc7d27cdaf652a0a5c39ea636380957","abstract_canon_sha256":"b9c40504ceedbb04c88ab1720207ecc4904cbbfdf3584cb8a755fea4b533ff17"},"schema_version":"1.0"},"canonical_sha256":"d76f33127ba7853cd8fb6b105e4dc8db7682a1a09a25b218e77cd6c022fd5224","source":{"kind":"arxiv","id":"1207.4107","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.4107","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"arxiv_version","alias_value":"1207.4107v1","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.4107","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"pith_short_12","alias_value":"25XTGET3U6CT","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"25XTGET3U6CTZWH3","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"25XTGET3","created_at":"2026-05-18T12:26:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:25XTGET3U6CTZWH3NMIF4TOI3N","target":"record","payload":{"canonical_record":{"source":{"id":"1207.4107","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","cross_cats_sorted":[],"title_canon_sha256":"b0ac60df4357f7541bfad92969ccd0f52cc7d27cdaf652a0a5c39ea636380957","abstract_canon_sha256":"b9c40504ceedbb04c88ab1720207ecc4904cbbfdf3584cb8a755fea4b533ff17"},"schema_version":"1.0"},"canonical_sha256":"d76f33127ba7853cd8fb6b105e4dc8db7682a1a09a25b218e77cd6c022fd5224","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:50:47.997123Z","signature_b64":"pFGnLl1XEZLPmQ2d1jdEsrDBStHcnzHeK2OeNwaGd+zyZ7AJUiLDJUG1rgmzTytmNl0KaoCKF++YqDjV4xb7DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d76f33127ba7853cd8fb6b105e4dc8db7682a1a09a25b218e77cd6c022fd5224","last_reissued_at":"2026-05-18T03:50:47.996536Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:50:47.996536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.4107","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:50:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mZaldKc8Ba5dvRVk+9qUxekl9FMsyhY43z5b+/XCa4oi5tKzZEJQSkwESuQh1laaBsEcrOWZg1rVK0zDicOFCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T17:30:33.757634Z"},"content_sha256":"6061e296f134c7d4dfe9bfc8dc0fc2bebbcbc273f2f542cfafa61136599cc63d","schema_version":"1.0","event_id":"sha256:6061e296f134c7d4dfe9bfc8dc0fc2bebbcbc273f2f542cfafa61136599cc63d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:25XTGET3U6CTZWH3NMIF4TOI3N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploiting First-Order Regression in Inductive Policy Selection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Charles Gretton, Sylvie Thiebaux","submitted_at":"2012-07-11T14:40:15Z","abstract_excerpt":"We consider the problem of computing optimal generalised policies for relational Markov decision processes. We describe an approach combining some of the benefits of purely inductive techniques with those of symbolic dynamic programming methods. The latter reason about the optimal value function using first-order decision theoretic regression and formula rewriting, while the former, when provided with a suitable hypotheses language, are capable of generalising value functions or policies for small instances. Our idea is to use reasoning and in particular classical first-order regression to aut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.4107","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:50:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"avPQjlC9KlSIZRcoQOx5Pvqj5bE2xhuue9TjUqaOV+fAlyziorvngcfOrYiClMp1RimjdGqPWy38wDmf0jqABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T17:30:33.758054Z"},"content_sha256":"4b8f3cb08a07393dbcb7d7f49a2de0db659e57eb4de305c05f1c34298c304c1d","schema_version":"1.0","event_id":"sha256:4b8f3cb08a07393dbcb7d7f49a2de0db659e57eb4de305c05f1c34298c304c1d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/25XTGET3U6CTZWH3NMIF4TOI3N/bundle.json","state_url":"https://pith.science/pith/25XTGET3U6CTZWH3NMIF4TOI3N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/25XTGET3U6CTZWH3NMIF4TOI3N/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-27T17:30:33Z","links":{"resolver":"https://pith.science/pith/25XTGET3U6CTZWH3NMIF4TOI3N","bundle":"https://pith.science/pith/25XTGET3U6CTZWH3NMIF4TOI3N/bundle.json","state":"https://pith.science/pith/25XTGET3U6CTZWH3NMIF4TOI3N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/25XTGET3U6CTZWH3NMIF4TOI3N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:25XTGET3U6CTZWH3NMIF4TOI3N","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":"b9c40504ceedbb04c88ab1720207ecc4904cbbfdf3584cb8a755fea4b533ff17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","title_canon_sha256":"b0ac60df4357f7541bfad92969ccd0f52cc7d27cdaf652a0a5c39ea636380957"},"schema_version":"1.0","source":{"id":"1207.4107","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.4107","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"arxiv_version","alias_value":"1207.4107v1","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.4107","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"pith_short_12","alias_value":"25XTGET3U6CT","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"25XTGET3U6CTZWH3","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"25XTGET3","created_at":"2026-05-18T12:26:50Z"}],"graph_snapshots":[{"event_id":"sha256:4b8f3cb08a07393dbcb7d7f49a2de0db659e57eb4de305c05f1c34298c304c1d","target":"graph","created_at":"2026-05-18T03:50:47Z","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":"We consider the problem of computing optimal generalised policies for relational Markov decision processes. We describe an approach combining some of the benefits of purely inductive techniques with those of symbolic dynamic programming methods. The latter reason about the optimal value function using first-order decision theoretic regression and formula rewriting, while the former, when provided with a suitable hypotheses language, are capable of generalising value functions or policies for small instances. Our idea is to use reasoning and in particular classical first-order regression to aut","authors_text":"Charles Gretton, Sylvie Thiebaux","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","title":"Exploiting First-Order Regression in Inductive Policy Selection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.4107","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:6061e296f134c7d4dfe9bfc8dc0fc2bebbcbc273f2f542cfafa61136599cc63d","target":"record","created_at":"2026-05-18T03:50:47Z","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":"b9c40504ceedbb04c88ab1720207ecc4904cbbfdf3584cb8a755fea4b533ff17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","title_canon_sha256":"b0ac60df4357f7541bfad92969ccd0f52cc7d27cdaf652a0a5c39ea636380957"},"schema_version":"1.0","source":{"id":"1207.4107","kind":"arxiv","version":1}},"canonical_sha256":"d76f33127ba7853cd8fb6b105e4dc8db7682a1a09a25b218e77cd6c022fd5224","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d76f33127ba7853cd8fb6b105e4dc8db7682a1a09a25b218e77cd6c022fd5224","first_computed_at":"2026-05-18T03:50:47.996536Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:50:47.996536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pFGnLl1XEZLPmQ2d1jdEsrDBStHcnzHeK2OeNwaGd+zyZ7AJUiLDJUG1rgmzTytmNl0KaoCKF++YqDjV4xb7DA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:50:47.997123Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.4107","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6061e296f134c7d4dfe9bfc8dc0fc2bebbcbc273f2f542cfafa61136599cc63d","sha256:4b8f3cb08a07393dbcb7d7f49a2de0db659e57eb4de305c05f1c34298c304c1d"],"state_sha256":"8d6e1939ba0b3cb48e73bb0de4ff714583e35b1a58a512f43fdb8e420e143b16"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PCqnhs2R8IZizGNor1k+vK9w2oTFUjO2khPQb1LozV1vKfSb0uLDvo1bWVWieAX/B9ytNaxd6Iybva9bga1mCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T17:30:33.761367Z","bundle_sha256":"24263a565add0af2480e609417d4ffc5a38176790c98bb6733abe36ab23e067f"}}