{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:BHD53TQR7JE4ANUB6DYGLSMX6N","short_pith_number":"pith:BHD53TQR","canonical_record":{"source":{"id":"1111.7025","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-11-30T00:31:47Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"130d57bcaea0a126f5ebc7ee368a7f63f503a1a26f40f4cd382331956266d3b3","abstract_canon_sha256":"1d283b2094e1b3beaf23637b0b3e69fc532dfd552f3b341073b01f81eac2cdd0"},"schema_version":"1.0"},"canonical_sha256":"09c7ddce11fa49c03681f0f065c997f36f5461e62a6ef71d8a592d59a0f8e766","source":{"kind":"arxiv","id":"1111.7025","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.7025","created_at":"2026-05-18T04:07:19Z"},{"alias_kind":"arxiv_version","alias_value":"1111.7025v1","created_at":"2026-05-18T04:07:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.7025","created_at":"2026-05-18T04:07:19Z"},{"alias_kind":"pith_short_12","alias_value":"BHD53TQR7JE4","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"BHD53TQR7JE4ANUB","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"BHD53TQR","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:BHD53TQR7JE4ANUB6DYGLSMX6N","target":"record","payload":{"canonical_record":{"source":{"id":"1111.7025","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-11-30T00:31:47Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"130d57bcaea0a126f5ebc7ee368a7f63f503a1a26f40f4cd382331956266d3b3","abstract_canon_sha256":"1d283b2094e1b3beaf23637b0b3e69fc532dfd552f3b341073b01f81eac2cdd0"},"schema_version":"1.0"},"canonical_sha256":"09c7ddce11fa49c03681f0f065c997f36f5461e62a6ef71d8a592d59a0f8e766","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:19.010042Z","signature_b64":"dmUNaSUSgNwyTWVgpa+JcK/pb4Y3JyZGzvArI4mpkEn0510XLALf6qAsez4ckkf8wS5jEIeI0skZGQBp95gJAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"09c7ddce11fa49c03681f0f065c997f36f5461e62a6ef71d8a592d59a0f8e766","last_reissued_at":"2026-05-18T04:07:19.009421Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:19.009421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1111.7025","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-18T04:07:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Rf5a6gAb98aZHwrcvr/Jd0rE3tMb+KH32wueUSVcO1BnkE/0eJMXykczmHLQQgpMYUDH8H/uAj/y0YqHTc6WDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T17:21:10.416049Z"},"content_sha256":"a364326a7c75c62e21524fc93b47db6138c9fdfd3e784180cf8fc101446828f5","schema_version":"1.0","event_id":"sha256:a364326a7c75c62e21524fc93b47db6138c9fdfd3e784180cf8fc101446828f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:BHD53TQR7JE4ANUB6DYGLSMX6N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Task Interaction in an HTN Planner","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.AI","authors_text":"Alexander Lazovik, Il\\v{c}e Georgievski, Marco Aiello","submitted_at":"2011-11-30T00:31:47Z","abstract_excerpt":"Hierarchical Task Network (HTN) planning uses task decomposition to plan for an executable sequence of actions as a solution to a problem. In order to reason effectively, an HTN planner needs expressive domain knowledge. For instance, a simplified HTN planning system such as JSHOP2 uses such expressivity and avoids some task interactions due to the increased complexity of the planning process. We address the possibility of simplifying the domain representation needed for an HTN planner to find good solutions, especially in real-world domains describing home and building automation environments"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.7025","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-18T04:07:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u7Zc1rDI1GgNiEK0OiBFOrgdyq/W3PTvudIUS8vWjo9WH05Sb6lH+KbaNgTgp9ZzSvuUQ5ZGzRcjwEIby4EiBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T17:21:10.416481Z"},"content_sha256":"59339b32ffb1e9cd49e1dce116cad74173c4f07bd56bc79b2d855e83f7ede9b5","schema_version":"1.0","event_id":"sha256:59339b32ffb1e9cd49e1dce116cad74173c4f07bd56bc79b2d855e83f7ede9b5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BHD53TQR7JE4ANUB6DYGLSMX6N/bundle.json","state_url":"https://pith.science/pith/BHD53TQR7JE4ANUB6DYGLSMX6N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BHD53TQR7JE4ANUB6DYGLSMX6N/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-07-02T17:21:10Z","links":{"resolver":"https://pith.science/pith/BHD53TQR7JE4ANUB6DYGLSMX6N","bundle":"https://pith.science/pith/BHD53TQR7JE4ANUB6DYGLSMX6N/bundle.json","state":"https://pith.science/pith/BHD53TQR7JE4ANUB6DYGLSMX6N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BHD53TQR7JE4ANUB6DYGLSMX6N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:BHD53TQR7JE4ANUB6DYGLSMX6N","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":"1d283b2094e1b3beaf23637b0b3e69fc532dfd552f3b341073b01f81eac2cdd0","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-11-30T00:31:47Z","title_canon_sha256":"130d57bcaea0a126f5ebc7ee368a7f63f503a1a26f40f4cd382331956266d3b3"},"schema_version":"1.0","source":{"id":"1111.7025","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.7025","created_at":"2026-05-18T04:07:19Z"},{"alias_kind":"arxiv_version","alias_value":"1111.7025v1","created_at":"2026-05-18T04:07:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.7025","created_at":"2026-05-18T04:07:19Z"},{"alias_kind":"pith_short_12","alias_value":"BHD53TQR7JE4","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"BHD53TQR7JE4ANUB","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"BHD53TQR","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:59339b32ffb1e9cd49e1dce116cad74173c4f07bd56bc79b2d855e83f7ede9b5","target":"graph","created_at":"2026-05-18T04:07:19Z","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":"Hierarchical Task Network (HTN) planning uses task decomposition to plan for an executable sequence of actions as a solution to a problem. In order to reason effectively, an HTN planner needs expressive domain knowledge. For instance, a simplified HTN planning system such as JSHOP2 uses such expressivity and avoids some task interactions due to the increased complexity of the planning process. We address the possibility of simplifying the domain representation needed for an HTN planner to find good solutions, especially in real-world domains describing home and building automation environments","authors_text":"Alexander Lazovik, Il\\v{c}e Georgievski, Marco Aiello","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-11-30T00:31:47Z","title":"Task Interaction in an HTN Planner"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.7025","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:a364326a7c75c62e21524fc93b47db6138c9fdfd3e784180cf8fc101446828f5","target":"record","created_at":"2026-05-18T04:07:19Z","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":"1d283b2094e1b3beaf23637b0b3e69fc532dfd552f3b341073b01f81eac2cdd0","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-11-30T00:31:47Z","title_canon_sha256":"130d57bcaea0a126f5ebc7ee368a7f63f503a1a26f40f4cd382331956266d3b3"},"schema_version":"1.0","source":{"id":"1111.7025","kind":"arxiv","version":1}},"canonical_sha256":"09c7ddce11fa49c03681f0f065c997f36f5461e62a6ef71d8a592d59a0f8e766","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09c7ddce11fa49c03681f0f065c997f36f5461e62a6ef71d8a592d59a0f8e766","first_computed_at":"2026-05-18T04:07:19.009421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:07:19.009421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dmUNaSUSgNwyTWVgpa+JcK/pb4Y3JyZGzvArI4mpkEn0510XLALf6qAsez4ckkf8wS5jEIeI0skZGQBp95gJAw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:07:19.010042Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.7025","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a364326a7c75c62e21524fc93b47db6138c9fdfd3e784180cf8fc101446828f5","sha256:59339b32ffb1e9cd49e1dce116cad74173c4f07bd56bc79b2d855e83f7ede9b5"],"state_sha256":"65ff7880f75dda7ce074a078dc9d0224f2a2c661f8ba757851b146135b9273cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"31QV7xzsqB0Ac6+2qnZ7If/T69knwMALtRXv4jzbeKAOdWQS7KpsKbIl1jqLD4TPshtJ7ZMC5PpXb02qG8fXAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T17:21:10.418451Z","bundle_sha256":"5cc78c3cf031f62dd1a8758978f89b4d67a515138501f6dd3940e8cf1e372764"}}