{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:XFN6N3SZXD46W6N5EQGALDNCWR","short_pith_number":"pith:XFN6N3SZ","canonical_record":{"source":{"id":"1104.5133","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-04-27T13:04:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"578f8b5a4579c6dcf2ba27a35f73ce636cefa09421efe2b63d9ee330b55bd134","abstract_canon_sha256":"d5ec1659520d905f3767b1304492c94cf6b2bd463d4789981024b5de9ad18cb0"},"schema_version":"1.0"},"canonical_sha256":"b95be6ee59b8f9eb79bd240c058da2b47e604d7c08b946ce3042bdb4bea94faf","source":{"kind":"arxiv","id":"1104.5133","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.5133","created_at":"2026-05-18T04:23:22Z"},{"alias_kind":"arxiv_version","alias_value":"1104.5133v1","created_at":"2026-05-18T04:23:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.5133","created_at":"2026-05-18T04:23:22Z"},{"alias_kind":"pith_short_12","alias_value":"XFN6N3SZXD46","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"XFN6N3SZXD46W6N5","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"XFN6N3SZ","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:XFN6N3SZXD46W6N5EQGALDNCWR","target":"record","payload":{"canonical_record":{"source":{"id":"1104.5133","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-04-27T13:04:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"578f8b5a4579c6dcf2ba27a35f73ce636cefa09421efe2b63d9ee330b55bd134","abstract_canon_sha256":"d5ec1659520d905f3767b1304492c94cf6b2bd463d4789981024b5de9ad18cb0"},"schema_version":"1.0"},"canonical_sha256":"b95be6ee59b8f9eb79bd240c058da2b47e604d7c08b946ce3042bdb4bea94faf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:23:22.567924Z","signature_b64":"M804D5KdTC0t+cYgW8fZcWNR4Xt3tXipl73KYl4DgOAyFhSsM7np1ss6ie8ZxqPlu9oEWec+JkeL2aq6ObE3DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b95be6ee59b8f9eb79bd240c058da2b47e604d7c08b946ce3042bdb4bea94faf","last_reissued_at":"2026-05-18T04:23:22.567507Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:23:22.567507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.5133","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:23:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WYk2CZ58ljekgaxZgOn6w6qYJEfyeiaAOYSVquBHjuHO1FCxIhd3E3DvYyL+CD364JfW9dGpq5C7WoLEilCFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:47:29.571817Z"},"content_sha256":"e88d34ef023956bca78698f4d92cf508e4edb1c9889d06153277efbf777f5923","schema_version":"1.0","event_id":"sha256:e88d34ef023956bca78698f4d92cf508e4edb1c9889d06153277efbf777f5923"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:XFN6N3SZXD46W6N5EQGALDNCWR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Dirk Vermeir, Jeroen Janssen, Martine De Cock, Steven Schockaert","submitted_at":"2011-04-27T13:04:09Z","abstract_excerpt":"In recent years answer set programming has been extended to deal with multi-valued predicates. The resulting formalisms allows for the modeling of continuous problems as elegantly as ASP allows for the modeling of discrete problems, by combining the stable model semantics underlying ASP with fuzzy logics. However, contrary to the case of classical ASP where many efficient solvers have been constructed, to date there is no efficient fuzzy answer set programming solver. A well-known technique for classical ASP consists of translating an ASP program $P$ to a propositional theory whose models exac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.5133","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:23:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dKHy5oKX1m9w2rSKPNS+DM8LK+Ym4QMLJ6iWzk2n2XZWSjKl56Xgc6L8qUTUpiQnXnn24PqMf0m7iIlj6iPZAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:47:29.572501Z"},"content_sha256":"e12f86366d0d610012908d1bac39fef379ce12526ac14dcbdd99bd8b195be5f7","schema_version":"1.0","event_id":"sha256:e12f86366d0d610012908d1bac39fef379ce12526ac14dcbdd99bd8b195be5f7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XFN6N3SZXD46W6N5EQGALDNCWR/bundle.json","state_url":"https://pith.science/pith/XFN6N3SZXD46W6N5EQGALDNCWR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XFN6N3SZXD46W6N5EQGALDNCWR/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-06T22:47:29Z","links":{"resolver":"https://pith.science/pith/XFN6N3SZXD46W6N5EQGALDNCWR","bundle":"https://pith.science/pith/XFN6N3SZXD46W6N5EQGALDNCWR/bundle.json","state":"https://pith.science/pith/XFN6N3SZXD46W6N5EQGALDNCWR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XFN6N3SZXD46W6N5EQGALDNCWR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:XFN6N3SZXD46W6N5EQGALDNCWR","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":"d5ec1659520d905f3767b1304492c94cf6b2bd463d4789981024b5de9ad18cb0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-04-27T13:04:09Z","title_canon_sha256":"578f8b5a4579c6dcf2ba27a35f73ce636cefa09421efe2b63d9ee330b55bd134"},"schema_version":"1.0","source":{"id":"1104.5133","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.5133","created_at":"2026-05-18T04:23:22Z"},{"alias_kind":"arxiv_version","alias_value":"1104.5133v1","created_at":"2026-05-18T04:23:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.5133","created_at":"2026-05-18T04:23:22Z"},{"alias_kind":"pith_short_12","alias_value":"XFN6N3SZXD46","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"XFN6N3SZXD46W6N5","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"XFN6N3SZ","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:e12f86366d0d610012908d1bac39fef379ce12526ac14dcbdd99bd8b195be5f7","target":"graph","created_at":"2026-05-18T04:23:22Z","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 recent years answer set programming has been extended to deal with multi-valued predicates. The resulting formalisms allows for the modeling of continuous problems as elegantly as ASP allows for the modeling of discrete problems, by combining the stable model semantics underlying ASP with fuzzy logics. However, contrary to the case of classical ASP where many efficient solvers have been constructed, to date there is no efficient fuzzy answer set programming solver. A well-known technique for classical ASP consists of translating an ASP program $P$ to a propositional theory whose models exac","authors_text":"Dirk Vermeir, Jeroen Janssen, Martine De Cock, Steven Schockaert","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-04-27T13:04:09Z","title":"Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.5133","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:e88d34ef023956bca78698f4d92cf508e4edb1c9889d06153277efbf777f5923","target":"record","created_at":"2026-05-18T04:23:22Z","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":"d5ec1659520d905f3767b1304492c94cf6b2bd463d4789981024b5de9ad18cb0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-04-27T13:04:09Z","title_canon_sha256":"578f8b5a4579c6dcf2ba27a35f73ce636cefa09421efe2b63d9ee330b55bd134"},"schema_version":"1.0","source":{"id":"1104.5133","kind":"arxiv","version":1}},"canonical_sha256":"b95be6ee59b8f9eb79bd240c058da2b47e604d7c08b946ce3042bdb4bea94faf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b95be6ee59b8f9eb79bd240c058da2b47e604d7c08b946ce3042bdb4bea94faf","first_computed_at":"2026-05-18T04:23:22.567507Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:23:22.567507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M804D5KdTC0t+cYgW8fZcWNR4Xt3tXipl73KYl4DgOAyFhSsM7np1ss6ie8ZxqPlu9oEWec+JkeL2aq6ObE3DA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:23:22.567924Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.5133","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e88d34ef023956bca78698f4d92cf508e4edb1c9889d06153277efbf777f5923","sha256:e12f86366d0d610012908d1bac39fef379ce12526ac14dcbdd99bd8b195be5f7"],"state_sha256":"7be7ef3e63c278cc9de977752494957a6960d3e151f2e6fbe7a2481d8b9860cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yoy3XziFQ8AVAg/DtPgSafhFdmCIb/IWdRgmi4Eeml+gceTaO0RFX+7/PUKk8bUQCr/6iohtaOINiBmNusAoCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T22:47:29.576156Z","bundle_sha256":"6875b9493209ea76f357d0e3e4b5c1950ea3c5d664e9befca68bd0563e78b1dd"}}