{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:K3CLCGD46HN3D5M6LXU3CP45FC","short_pith_number":"pith:K3CLCGD4","schema_version":"1.0","canonical_sha256":"56c4b1187cf1dbb1f59e5de9b13f9d289b4d04bb03f36d22f25140c4192071a2","source":{"kind":"arxiv","id":"1502.06095","version":2},"attestation_state":"computed","paper":{"title":"Bialgebraic Semantics for Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Fabio Zanasi, Filippo Bonchi","submitted_at":"2015-02-21T11:31:10Z","abstract_excerpt":"Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming. Our methodology is to study logic programs as reactive systems and exploit abstract techniques developed in that setting. First we use saturation to model the operational semantics of logic programs as coalgebrae on presheaves. Then, we make explicit the underlying algebraic structure by using bialgebrae on presheaves. The resulting semantics turns out to be compositional with respect to conjunctio"},"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":"1502.06095","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-21T11:31:10Z","cross_cats_sorted":[],"title_canon_sha256":"2b203967bf5e3271cc9ebddeb06913a355d1bdfc40d4390f9d7d640bd3d08877","abstract_canon_sha256":"364328558cb2d7bcbd55eae82957270079bf05fdca13a893c44df485720879b1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:35.068260Z","signature_b64":"+xIpfTRuYsZWlwRwgKUWftjkEBIqC7mGR2GxA0POsy2cryYyoYawXwTqbOaZU/SNHjBhoeOQ45k45OJWn9viDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56c4b1187cf1dbb1f59e5de9b13f9d289b4d04bb03f36d22f25140c4192071a2","last_reissued_at":"2026-05-18T01:37:35.067566Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:35.067566Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bialgebraic Semantics for Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Fabio Zanasi, Filippo Bonchi","submitted_at":"2015-02-21T11:31:10Z","abstract_excerpt":"Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming. Our methodology is to study logic programs as reactive systems and exploit abstract techniques developed in that setting. First we use saturation to model the operational semantics of logic programs as coalgebrae on presheaves. Then, we make explicit the underlying algebraic structure by using bialgebrae on presheaves. The resulting semantics turns out to be compositional with respect to conjunctio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.06095","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1502.06095","created_at":"2026-05-18T01:37:35.067651+00:00"},{"alias_kind":"arxiv_version","alias_value":"1502.06095v2","created_at":"2026-05-18T01:37:35.067651+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.06095","created_at":"2026-05-18T01:37:35.067651+00:00"},{"alias_kind":"pith_short_12","alias_value":"K3CLCGD46HN3","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_16","alias_value":"K3CLCGD46HN3D5M6","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_8","alias_value":"K3CLCGD4","created_at":"2026-05-18T12:29:27.538025+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/K3CLCGD46HN3D5M6LXU3CP45FC","json":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC.json","graph_json":"https://pith.science/api/pith-number/K3CLCGD46HN3D5M6LXU3CP45FC/graph.json","events_json":"https://pith.science/api/pith-number/K3CLCGD46HN3D5M6LXU3CP45FC/events.json","paper":"https://pith.science/paper/K3CLCGD4"},"agent_actions":{"view_html":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC","download_json":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC.json","view_paper":"https://pith.science/paper/K3CLCGD4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1502.06095&json=true","fetch_graph":"https://pith.science/api/pith-number/K3CLCGD46HN3D5M6LXU3CP45FC/graph.json","fetch_events":"https://pith.science/api/pith-number/K3CLCGD46HN3D5M6LXU3CP45FC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC/action/storage_attestation","attest_author":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC/action/author_attestation","sign_citation":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC/action/citation_signature","submit_replication":"https://pith.science/pith/K3CLCGD46HN3D5M6LXU3CP45FC/action/replication_record"}},"created_at":"2026-05-18T01:37:35.067651+00:00","updated_at":"2026-05-18T01:37:35.067651+00:00"}