{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:C3XISC4JSMDPK5P2AI25YRYC7M","short_pith_number":"pith:C3XISC4J","canonical_record":{"source":{"id":"1101.4554","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T14:50:57Z","cross_cats_sorted":[],"title_canon_sha256":"10d69b47842a9e014e98efaa43bc0fb4c791faa59103866e80321dc75f7ca99e","abstract_canon_sha256":"2afce7b51ff4a71b816453856bee6deb22e63ea94f8b3154f8356712e3260fa2"},"schema_version":"1.0"},"canonical_sha256":"16ee890b899306f575fa0235dc4702fb3a9799171a523dfba2f037bab5591728","source":{"kind":"arxiv","id":"1101.4554","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.4554","created_at":"2026-05-18T04:31:10Z"},{"alias_kind":"arxiv_version","alias_value":"1101.4554v1","created_at":"2026-05-18T04:31:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.4554","created_at":"2026-05-18T04:31:10Z"},{"alias_kind":"pith_short_12","alias_value":"C3XISC4JSMDP","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"C3XISC4JSMDPK5P2","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"C3XISC4J","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:C3XISC4JSMDPK5P2AI25YRYC7M","target":"record","payload":{"canonical_record":{"source":{"id":"1101.4554","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T14:50:57Z","cross_cats_sorted":[],"title_canon_sha256":"10d69b47842a9e014e98efaa43bc0fb4c791faa59103866e80321dc75f7ca99e","abstract_canon_sha256":"2afce7b51ff4a71b816453856bee6deb22e63ea94f8b3154f8356712e3260fa2"},"schema_version":"1.0"},"canonical_sha256":"16ee890b899306f575fa0235dc4702fb3a9799171a523dfba2f037bab5591728","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:31:10.878692Z","signature_b64":"yrG+x6neBCEF1zlFxcE+sZGfnvI5HN1w1OuPa87lkQk5VnE+NSqm8qXezS3+XluOAI1524DFckzjOVyDRsdpCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"16ee890b899306f575fa0235dc4702fb3a9799171a523dfba2f037bab5591728","last_reissued_at":"2026-05-18T04:31:10.878260Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:31:10.878260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.4554","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:31:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q0qu3birLVKopPSNZafjNuNins0oKs87LBP+t/2CUJt09OTF3/zTAD1KPkOQ4+RHc3H+74juS2Qlj/MkkTWQAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T06:29:05.568650Z"},"content_sha256":"9a928fcd06c80400d63a14782a5bbee08816b2bd9a0890189fd5c2b74e2c1728","schema_version":"1.0","event_id":"sha256:9a928fcd06c80400d63a14782a5bbee08816b2bd9a0890189fd5c2b74e2c1728"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:C3XISC4JSMDPK5P2AI25YRYC7M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Team-building with Answer Set Programming in the Gioia-Tauro Seaport","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Francesco Ricca, Giovanni Grasso, Marco Manna, Mario Alviano, Nicola Leone, Salvatore Iiritano, Vincenzino Lio","submitted_at":"2011-01-24T14:50:57Z","abstract_excerpt":"(To appear in Theory and Practice of Logic Programming (TPLP).)\n  The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management task for the companies operating in the seaport is team building: the problem of properly allocating the available personnel for serving the incoming ships. Teams have to be carefully arranged in order to meet several constraints, such as allocation of the employees with the appropriate skills, fair distribution of the working load, and turnover of the heavy/dangerous roles. This makes team building a hard and expens"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.4554","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:31:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wTqiDoWEyxn7XbGUAjHhpmj770Suk5lsL87iRmS+KGo4UNZgNBO/Jr1oKM6KGBln6rjKfw5z2z9Cvnqq4b3NAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T06:29:05.569006Z"},"content_sha256":"9a04ffb27d0b88517ce1d97cbcde7e6cfcf5727a4d1922e93436e96bcb2db488","schema_version":"1.0","event_id":"sha256:9a04ffb27d0b88517ce1d97cbcde7e6cfcf5727a4d1922e93436e96bcb2db488"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C3XISC4JSMDPK5P2AI25YRYC7M/bundle.json","state_url":"https://pith.science/pith/C3XISC4JSMDPK5P2AI25YRYC7M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C3XISC4JSMDPK5P2AI25YRYC7M/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-01T06:29:05Z","links":{"resolver":"https://pith.science/pith/C3XISC4JSMDPK5P2AI25YRYC7M","bundle":"https://pith.science/pith/C3XISC4JSMDPK5P2AI25YRYC7M/bundle.json","state":"https://pith.science/pith/C3XISC4JSMDPK5P2AI25YRYC7M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C3XISC4JSMDPK5P2AI25YRYC7M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:C3XISC4JSMDPK5P2AI25YRYC7M","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":"2afce7b51ff4a71b816453856bee6deb22e63ea94f8b3154f8356712e3260fa2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T14:50:57Z","title_canon_sha256":"10d69b47842a9e014e98efaa43bc0fb4c791faa59103866e80321dc75f7ca99e"},"schema_version":"1.0","source":{"id":"1101.4554","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.4554","created_at":"2026-05-18T04:31:10Z"},{"alias_kind":"arxiv_version","alias_value":"1101.4554v1","created_at":"2026-05-18T04:31:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.4554","created_at":"2026-05-18T04:31:10Z"},{"alias_kind":"pith_short_12","alias_value":"C3XISC4JSMDP","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"C3XISC4JSMDPK5P2","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"C3XISC4J","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:9a04ffb27d0b88517ce1d97cbcde7e6cfcf5727a4d1922e93436e96bcb2db488","target":"graph","created_at":"2026-05-18T04:31:10Z","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":"(To appear in Theory and Practice of Logic Programming (TPLP).)\n  The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management task for the companies operating in the seaport is team building: the problem of properly allocating the available personnel for serving the incoming ships. Teams have to be carefully arranged in order to meet several constraints, such as allocation of the employees with the appropriate skills, fair distribution of the working load, and turnover of the heavy/dangerous roles. This makes team building a hard and expens","authors_text":"Francesco Ricca, Giovanni Grasso, Marco Manna, Mario Alviano, Nicola Leone, Salvatore Iiritano, Vincenzino Lio","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T14:50:57Z","title":"Team-building with Answer Set Programming in the Gioia-Tauro Seaport"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.4554","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:9a928fcd06c80400d63a14782a5bbee08816b2bd9a0890189fd5c2b74e2c1728","target":"record","created_at":"2026-05-18T04:31:10Z","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":"2afce7b51ff4a71b816453856bee6deb22e63ea94f8b3154f8356712e3260fa2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T14:50:57Z","title_canon_sha256":"10d69b47842a9e014e98efaa43bc0fb4c791faa59103866e80321dc75f7ca99e"},"schema_version":"1.0","source":{"id":"1101.4554","kind":"arxiv","version":1}},"canonical_sha256":"16ee890b899306f575fa0235dc4702fb3a9799171a523dfba2f037bab5591728","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"16ee890b899306f575fa0235dc4702fb3a9799171a523dfba2f037bab5591728","first_computed_at":"2026-05-18T04:31:10.878260Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:31:10.878260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yrG+x6neBCEF1zlFxcE+sZGfnvI5HN1w1OuPa87lkQk5VnE+NSqm8qXezS3+XluOAI1524DFckzjOVyDRsdpCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:31:10.878692Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.4554","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9a928fcd06c80400d63a14782a5bbee08816b2bd9a0890189fd5c2b74e2c1728","sha256:9a04ffb27d0b88517ce1d97cbcde7e6cfcf5727a4d1922e93436e96bcb2db488"],"state_sha256":"bf816bf55b2a4e0f2345786ad0006154ebff586a0730664e056d4484783e147b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BH7B8YlZAZyZsQblnlzLyB1zwkyIpKH4JLeY34H21ky8Kyl1S+U1VqEikMVwuiZRLmm73z4tfYfk/iPJAsmzDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T06:29:05.571579Z","bundle_sha256":"4a1327c809066c0a058d6e9403008ba77e4b07dc31c865d073112aa1ca4b4e57"}}