{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:ZLGYXJHKJXA77PRQJJGTX6SQBH","short_pith_number":"pith:ZLGYXJHK","canonical_record":{"source":{"id":"1109.4095","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-19T17:09:21Z","cross_cats_sorted":["cs.AI","cs.GR","cs.PL"],"title_canon_sha256":"61ac1952e08c6e8595df891cb80b12f8a0e274c2e8afcc2009c0342916070314","abstract_canon_sha256":"15cf1e6efa611ecc2a8f4adc0bda20321f6251ced34081141bf755dd717e6f4b"},"schema_version":"1.0"},"canonical_sha256":"cacd8ba4ea4dc1ffbe304a4d3bfa5009c5509681ddb73bfc1ef1324b222144bb","source":{"kind":"arxiv","id":"1109.4095","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.4095","created_at":"2026-05-18T04:11:17Z"},{"alias_kind":"arxiv_version","alias_value":"1109.4095v2","created_at":"2026-05-18T04:11:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.4095","created_at":"2026-05-18T04:11:17Z"},{"alias_kind":"pith_short_12","alias_value":"ZLGYXJHKJXA7","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"ZLGYXJHKJXA77PRQ","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"ZLGYXJHK","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:ZLGYXJHKJXA77PRQJJGTX6SQBH","target":"record","payload":{"canonical_record":{"source":{"id":"1109.4095","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-19T17:09:21Z","cross_cats_sorted":["cs.AI","cs.GR","cs.PL"],"title_canon_sha256":"61ac1952e08c6e8595df891cb80b12f8a0e274c2e8afcc2009c0342916070314","abstract_canon_sha256":"15cf1e6efa611ecc2a8f4adc0bda20321f6251ced34081141bf755dd717e6f4b"},"schema_version":"1.0"},"canonical_sha256":"cacd8ba4ea4dc1ffbe304a4d3bfa5009c5509681ddb73bfc1ef1324b222144bb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:11:17.573711Z","signature_b64":"5Te75eB52oTiD9+TqIfnz1MCfDSF1q7775wTCnEjMqa0mvInAAoDc8hESCzMxWM/ewYU+GP+YcT8S2hIMSaMBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cacd8ba4ea4dc1ffbe304a4d3bfa5009c5509681ddb73bfc1ef1324b222144bb","last_reissued_at":"2026-05-18T04:11:17.573056Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:11:17.573056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1109.4095","source_version":2,"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:11:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OTVCAB284YJoVjLhogjYUVnbyTGVVXWavW6WxlEydQsJXI2AbUU08CuQZPzGWphJipht+hITbbx3MqmizuqqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T06:05:10.013403Z"},"content_sha256":"85bcfe302c7dee5e0e05325e6ca5cbfd8b54bf6915760499c589d1f3f3864c74","schema_version":"1.0","event_id":"sha256:85bcfe302c7dee5e0e05325e6ca5cbfd8b54bf6915760499c589d1f3f3864c74"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:ZLGYXJHKJXA77PRQJJGTX6SQBH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.GR","cs.PL"],"primary_cat":"cs.LO","authors_text":"Christian Kloim\\\"ullner, Hans Tompits, Johannes Oetsch, J\\\"org P\\\"uhrer","submitted_at":"2011-09-19T17:09:21Z","abstract_excerpt":"In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this paper, follows these approaches, using ASP itself as a language for defining visualisations of interpre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.4095","kind":"arxiv","version":2},"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:11:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NMvSk51upSOGNMESeOCu49/KLmT2Hknd8e+/r74BrZAKNG9v7Q5JR8gqkiOidSnwW8AMx0lJwDNxU2cm8e4pCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T06:05:10.014111Z"},"content_sha256":"a35a718d2c26d26cc037e2aaea8239247bbaefdc0f2c99db2897e9e098a69f05","schema_version":"1.0","event_id":"sha256:a35a718d2c26d26cc037e2aaea8239247bbaefdc0f2c99db2897e9e098a69f05"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZLGYXJHKJXA77PRQJJGTX6SQBH/bundle.json","state_url":"https://pith.science/pith/ZLGYXJHKJXA77PRQJJGTX6SQBH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZLGYXJHKJXA77PRQJJGTX6SQBH/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-06T06:05:10Z","links":{"resolver":"https://pith.science/pith/ZLGYXJHKJXA77PRQJJGTX6SQBH","bundle":"https://pith.science/pith/ZLGYXJHKJXA77PRQJJGTX6SQBH/bundle.json","state":"https://pith.science/pith/ZLGYXJHKJXA77PRQJJGTX6SQBH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZLGYXJHKJXA77PRQJJGTX6SQBH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:ZLGYXJHKJXA77PRQJJGTX6SQBH","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":"15cf1e6efa611ecc2a8f4adc0bda20321f6251ced34081141bf755dd717e6f4b","cross_cats_sorted":["cs.AI","cs.GR","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-19T17:09:21Z","title_canon_sha256":"61ac1952e08c6e8595df891cb80b12f8a0e274c2e8afcc2009c0342916070314"},"schema_version":"1.0","source":{"id":"1109.4095","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.4095","created_at":"2026-05-18T04:11:17Z"},{"alias_kind":"arxiv_version","alias_value":"1109.4095v2","created_at":"2026-05-18T04:11:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.4095","created_at":"2026-05-18T04:11:17Z"},{"alias_kind":"pith_short_12","alias_value":"ZLGYXJHKJXA7","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"ZLGYXJHKJXA77PRQ","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"ZLGYXJHK","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:a35a718d2c26d26cc037e2aaea8239247bbaefdc0f2c99db2897e9e098a69f05","target":"graph","created_at":"2026-05-18T04:11:17Z","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":"In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this paper, follows these approaches, using ASP itself as a language for defining visualisations of interpre","authors_text":"Christian Kloim\\\"ullner, Hans Tompits, Johannes Oetsch, J\\\"org P\\\"uhrer","cross_cats":["cs.AI","cs.GR","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-19T17:09:21Z","title":"Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.4095","kind":"arxiv","version":2},"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:85bcfe302c7dee5e0e05325e6ca5cbfd8b54bf6915760499c589d1f3f3864c74","target":"record","created_at":"2026-05-18T04:11:17Z","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":"15cf1e6efa611ecc2a8f4adc0bda20321f6251ced34081141bf755dd717e6f4b","cross_cats_sorted":["cs.AI","cs.GR","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-19T17:09:21Z","title_canon_sha256":"61ac1952e08c6e8595df891cb80b12f8a0e274c2e8afcc2009c0342916070314"},"schema_version":"1.0","source":{"id":"1109.4095","kind":"arxiv","version":2}},"canonical_sha256":"cacd8ba4ea4dc1ffbe304a4d3bfa5009c5509681ddb73bfc1ef1324b222144bb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cacd8ba4ea4dc1ffbe304a4d3bfa5009c5509681ddb73bfc1ef1324b222144bb","first_computed_at":"2026-05-18T04:11:17.573056Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:11:17.573056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Te75eB52oTiD9+TqIfnz1MCfDSF1q7775wTCnEjMqa0mvInAAoDc8hESCzMxWM/ewYU+GP+YcT8S2hIMSaMBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:11:17.573711Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.4095","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85bcfe302c7dee5e0e05325e6ca5cbfd8b54bf6915760499c589d1f3f3864c74","sha256:a35a718d2c26d26cc037e2aaea8239247bbaefdc0f2c99db2897e9e098a69f05"],"state_sha256":"6781b5a6dc8e84607796a98e3db096441e61b9eaa4eb137e247f11d333bad80e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"unNSU+PfAt4kJY0lyaSx2huR6xOUsIPeCXTSdVQyucwkZ7FNUGrMMo9TMotfMnc9QEXZF+Ycr0KfgrdbOlbuAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T06:05:10.018020Z","bundle_sha256":"947f697abd29c5c52f6d470aa59df6cc9210439a3f87b1c4fc8e5b41813d460b"}}