{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:HPPS3VKTAGQY6MQUPQR7OTIORF","short_pith_number":"pith:HPPS3VKT","canonical_record":{"source":{"id":"1903.01153","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-04T09:55:33Z","cross_cats_sorted":[],"title_canon_sha256":"499d0560ec6acd2ee671d45116eb3a98a102d992021ceedd60af70cc52ec1658","abstract_canon_sha256":"e0ee4a3e770a2f9b6a1fcb3dedae45995ea66134208a6506c1c8e4a036f294f9"},"schema_version":"1.0"},"canonical_sha256":"3bdf2dd55301a18f32147c23f74d0e8968a7ac1ebc15cda3cf8a27d03df900e2","source":{"kind":"arxiv","id":"1903.01153","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.01153","created_at":"2026-05-17T23:52:12Z"},{"alias_kind":"arxiv_version","alias_value":"1903.01153v1","created_at":"2026-05-17T23:52:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.01153","created_at":"2026-05-17T23:52:12Z"},{"alias_kind":"pith_short_12","alias_value":"HPPS3VKTAGQY","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"HPPS3VKTAGQY6MQU","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"HPPS3VKT","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:HPPS3VKTAGQY6MQUPQR7OTIORF","target":"record","payload":{"canonical_record":{"source":{"id":"1903.01153","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-04T09:55:33Z","cross_cats_sorted":[],"title_canon_sha256":"499d0560ec6acd2ee671d45116eb3a98a102d992021ceedd60af70cc52ec1658","abstract_canon_sha256":"e0ee4a3e770a2f9b6a1fcb3dedae45995ea66134208a6506c1c8e4a036f294f9"},"schema_version":"1.0"},"canonical_sha256":"3bdf2dd55301a18f32147c23f74d0e8968a7ac1ebc15cda3cf8a27d03df900e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:12.146493Z","signature_b64":"qIcLWx6gC1Nn5ysi/Qgrc/4/sXeCDHyOiHL3uwwffGZ2zkrQSX7d2lFsgTQyp5YKCBlQgSPlBZ+qvPbk0baHAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3bdf2dd55301a18f32147c23f74d0e8968a7ac1ebc15cda3cf8a27d03df900e2","last_reissued_at":"2026-05-17T23:52:12.145656Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:12.145656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.01153","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-17T23:52:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Iw9l1lg5GFBB51t6GeD104KSWMDO7rsSuWyH0ALHdqMIVBIVjr1B5P4UTQSnPAURnCO4L4OhYf+qt2F136LWBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T15:06:04.683104Z"},"content_sha256":"7db7421c3fd8c9b9280c47dd3830b96a2a73c320cc4269a903b9aef263e8870b","schema_version":"1.0","event_id":"sha256:7db7421c3fd8c9b9280c47dd3830b96a2a73c320cc4269a903b9aef263e8870b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:HPPS3VKTAGQY6MQUPQR7OTIORF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning STRIPS Action Models with Classical Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Diego Aineto, Eva Onaindia, Sergio Jim\\'enez","submitted_at":"2019-03-04T09:55:33Z","abstract_excerpt":"This paper presents a novel approach for learning STRIPS action models from examples that compiles this inductive learning task into a classical planning task. Interestingly, the compilation approach is flexible to different amounts of available input knowledge; the learning examples can range from a set of plans (with their corresponding initial and final states) to just a pair of initial and final states (no intermediate action or state is given). Moreover, the compilation accepts partially specified action models and it can be used to validate whether the observation of a plan execution fol"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.01153","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-17T23:52:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yEodWzQVjlx4VoOZUYqsq5x7zk0z54Y/o0IQh7BKl1TMFfbYyD8kZivfi2pqOZK5lJvUJgYdjQLuEa2Gy1ZjCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T15:06:04.683461Z"},"content_sha256":"b02bb346fbe508e08b760427e095cacdfc1bdb4d919ea04f60a0ed8ad7c380d4","schema_version":"1.0","event_id":"sha256:b02bb346fbe508e08b760427e095cacdfc1bdb4d919ea04f60a0ed8ad7c380d4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HPPS3VKTAGQY6MQUPQR7OTIORF/bundle.json","state_url":"https://pith.science/pith/HPPS3VKTAGQY6MQUPQR7OTIORF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HPPS3VKTAGQY6MQUPQR7OTIORF/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-26T15:06:04Z","links":{"resolver":"https://pith.science/pith/HPPS3VKTAGQY6MQUPQR7OTIORF","bundle":"https://pith.science/pith/HPPS3VKTAGQY6MQUPQR7OTIORF/bundle.json","state":"https://pith.science/pith/HPPS3VKTAGQY6MQUPQR7OTIORF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HPPS3VKTAGQY6MQUPQR7OTIORF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:HPPS3VKTAGQY6MQUPQR7OTIORF","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":"e0ee4a3e770a2f9b6a1fcb3dedae45995ea66134208a6506c1c8e4a036f294f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-04T09:55:33Z","title_canon_sha256":"499d0560ec6acd2ee671d45116eb3a98a102d992021ceedd60af70cc52ec1658"},"schema_version":"1.0","source":{"id":"1903.01153","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.01153","created_at":"2026-05-17T23:52:12Z"},{"alias_kind":"arxiv_version","alias_value":"1903.01153v1","created_at":"2026-05-17T23:52:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.01153","created_at":"2026-05-17T23:52:12Z"},{"alias_kind":"pith_short_12","alias_value":"HPPS3VKTAGQY","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"HPPS3VKTAGQY6MQU","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"HPPS3VKT","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:b02bb346fbe508e08b760427e095cacdfc1bdb4d919ea04f60a0ed8ad7c380d4","target":"graph","created_at":"2026-05-17T23:52:12Z","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 a novel approach for learning STRIPS action models from examples that compiles this inductive learning task into a classical planning task. Interestingly, the compilation approach is flexible to different amounts of available input knowledge; the learning examples can range from a set of plans (with their corresponding initial and final states) to just a pair of initial and final states (no intermediate action or state is given). Moreover, the compilation accepts partially specified action models and it can be used to validate whether the observation of a plan execution fol","authors_text":"Diego Aineto, Eva Onaindia, Sergio Jim\\'enez","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-04T09:55:33Z","title":"Learning STRIPS Action Models with Classical Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.01153","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:7db7421c3fd8c9b9280c47dd3830b96a2a73c320cc4269a903b9aef263e8870b","target":"record","created_at":"2026-05-17T23:52:12Z","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":"e0ee4a3e770a2f9b6a1fcb3dedae45995ea66134208a6506c1c8e4a036f294f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-04T09:55:33Z","title_canon_sha256":"499d0560ec6acd2ee671d45116eb3a98a102d992021ceedd60af70cc52ec1658"},"schema_version":"1.0","source":{"id":"1903.01153","kind":"arxiv","version":1}},"canonical_sha256":"3bdf2dd55301a18f32147c23f74d0e8968a7ac1ebc15cda3cf8a27d03df900e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3bdf2dd55301a18f32147c23f74d0e8968a7ac1ebc15cda3cf8a27d03df900e2","first_computed_at":"2026-05-17T23:52:12.145656Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:12.145656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qIcLWx6gC1Nn5ysi/Qgrc/4/sXeCDHyOiHL3uwwffGZ2zkrQSX7d2lFsgTQyp5YKCBlQgSPlBZ+qvPbk0baHAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:12.146493Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.01153","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7db7421c3fd8c9b9280c47dd3830b96a2a73c320cc4269a903b9aef263e8870b","sha256:b02bb346fbe508e08b760427e095cacdfc1bdb4d919ea04f60a0ed8ad7c380d4"],"state_sha256":"3777bce09c42cee9a31aacd7539b5556aa2b80aef3b7abba13ec26ad4c07c96d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/MEyQt1CYeebinH4oWGeF84FL+nXHfjhmLQsvbYVVBdTzjE0TneYHtZbb3bOkuaW9mW7eNQgbvlPHiEMBhQrDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T15:06:04.685406Z","bundle_sha256":"85632de1c4a18f39c108c9761a4603619fb1561af8933008663d6bccd182b26c"}}