{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:HBQ5JKMLFCA2W5XBFZL3KZGEEO","short_pith_number":"pith:HBQ5JKML","schema_version":"1.0","canonical_sha256":"3861d4a98b2881ab76e12e57b564c423b2a4ef8fa87a13084c794fe0c6e6de37","source":{"kind":"arxiv","id":"1105.3414","version":1},"attestation_state":"computed","paper":{"title":"Relating Weight Constraint and Aggregate Programs: Semantics and Representation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Guohua Liu, Jia-Huai You","submitted_at":"2011-05-16T05:36:39Z","abstract_excerpt":"Weight constraint and aggregate programs are among the most widely used logic programs with constraints. In this paper, we relate the semantics of these two classes of programs, namely the stable model semantics for weight constraint programs and the answer set semantics based on conditional satisfaction for aggregate programs. Both classes of programs are instances of logic programs with constraints, and in particular, the answer set semantics for aggregate programs can be applied to weight constraint programs. We show that the two semantics are closely related. First, we show that for a broa"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1105.3414","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-05-16T05:36:39Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"048f68dccfafadc1c6bb8c91a45d48868af4dfad68cb1f74129b88be156364b8","abstract_canon_sha256":"293e6d55c2a4cb310df394174189d6130fdb10c5082afa8281aff4081ac22f66"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:22:00.073191Z","signature_b64":"NT8jQSE3Zi3rlC4VHSL9LHMNWM4QxzA4r97Gi0Irt7ptq4SYj0rwZ98VlS7Bv00e1c4GYjay+Q9sw9LkOnEpBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3861d4a98b2881ab76e12e57b564c423b2a4ef8fa87a13084c794fe0c6e6de37","last_reissued_at":"2026-05-18T04:22:00.072596Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:22:00.072596Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Relating Weight Constraint and Aggregate Programs: Semantics and Representation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Guohua Liu, Jia-Huai You","submitted_at":"2011-05-16T05:36:39Z","abstract_excerpt":"Weight constraint and aggregate programs are among the most widely used logic programs with constraints. In this paper, we relate the semantics of these two classes of programs, namely the stable model semantics for weight constraint programs and the answer set semantics based on conditional satisfaction for aggregate programs. Both classes of programs are instances of logic programs with constraints, and in particular, the answer set semantics for aggregate programs can be applied to weight constraint programs. We show that the two semantics are closely related. First, we show that for a broa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.3414","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1105.3414","created_at":"2026-05-18T04:22:00.072705+00:00"},{"alias_kind":"arxiv_version","alias_value":"1105.3414v1","created_at":"2026-05-18T04:22:00.072705+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.3414","created_at":"2026-05-18T04:22:00.072705+00:00"},{"alias_kind":"pith_short_12","alias_value":"HBQ5JKMLFCA2","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_16","alias_value":"HBQ5JKMLFCA2W5XB","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_8","alias_value":"HBQ5JKML","created_at":"2026-05-18T12:26:30.835961+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO","json":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO.json","graph_json":"https://pith.science/api/pith-number/HBQ5JKMLFCA2W5XBFZL3KZGEEO/graph.json","events_json":"https://pith.science/api/pith-number/HBQ5JKMLFCA2W5XBFZL3KZGEEO/events.json","paper":"https://pith.science/paper/HBQ5JKML"},"agent_actions":{"view_html":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO","download_json":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO.json","view_paper":"https://pith.science/paper/HBQ5JKML","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1105.3414&json=true","fetch_graph":"https://pith.science/api/pith-number/HBQ5JKMLFCA2W5XBFZL3KZGEEO/graph.json","fetch_events":"https://pith.science/api/pith-number/HBQ5JKMLFCA2W5XBFZL3KZGEEO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO/action/storage_attestation","attest_author":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO/action/author_attestation","sign_citation":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO/action/citation_signature","submit_replication":"https://pith.science/pith/HBQ5JKMLFCA2W5XBFZL3KZGEEO/action/replication_record"}},"created_at":"2026-05-18T04:22:00.072705+00:00","updated_at":"2026-05-18T04:22:00.072705+00:00"}