{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:IPH4QSM3443V7C4WUA2AENVDHI","short_pith_number":"pith:IPH4QSM3","schema_version":"1.0","canonical_sha256":"43cfc8499be7375f8b96a0340236a33a3e739329b9d277a1494c2b739a91070e","source":{"kind":"arxiv","id":"1104.3931","version":1},"attestation_state":"computed","paper":{"title":"Symmetry Breaking for Distributed Multi-Context Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christian Drescher, Michael Fink, Thomas Eiter, Thomas Krennwallner, Toby Walsh","submitted_at":"2011-04-20T02:51:00Z","abstract_excerpt":"Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry detection and symmetry breaking in such systems to eliminate symmetric parts of the search space and, thereby, simplify the evaluation process. We propose a distributed algorithm that takes a local stance, i.e., computes independently the partial symmetries of a context and, in order to construct potential symmetries of the whole, combines them with those partial symmetries returned by neighbouring contexts. We prov"},"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":"1104.3931","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-20T02:51:00Z","cross_cats_sorted":[],"title_canon_sha256":"d87657ff41adebd2035b662f37c6bb55ada4be843551988f04f641838206ce35","abstract_canon_sha256":"852a20bbbf04bd6ced6dc36c2b0b447784182a63737e7853005cd7ea419ae3e2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:23:47.393055Z","signature_b64":"7JSfUmVsa5W9jdC+61JDIOKQIbFzBcqA0ojzlaMfIzR6cgOvQbpjy+aSEt3Wu6odvdVsZHYXnYVD55T4QlaDAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"43cfc8499be7375f8b96a0340236a33a3e739329b9d277a1494c2b739a91070e","last_reissued_at":"2026-05-18T04:23:47.392512Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:23:47.392512Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symmetry Breaking for Distributed Multi-Context Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christian Drescher, Michael Fink, Thomas Eiter, Thomas Krennwallner, Toby Walsh","submitted_at":"2011-04-20T02:51:00Z","abstract_excerpt":"Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry detection and symmetry breaking in such systems to eliminate symmetric parts of the search space and, thereby, simplify the evaluation process. We propose a distributed algorithm that takes a local stance, i.e., computes independently the partial symmetries of a context and, in order to construct potential symmetries of the whole, combines them with those partial symmetries returned by neighbouring contexts. We prov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.3931","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":"1104.3931","created_at":"2026-05-18T04:23:47.392576+00:00"},{"alias_kind":"arxiv_version","alias_value":"1104.3931v1","created_at":"2026-05-18T04:23:47.392576+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.3931","created_at":"2026-05-18T04:23:47.392576+00:00"},{"alias_kind":"pith_short_12","alias_value":"IPH4QSM3443V","created_at":"2026-05-18T12:26:32.869790+00:00"},{"alias_kind":"pith_short_16","alias_value":"IPH4QSM3443V7C4W","created_at":"2026-05-18T12:26:32.869790+00:00"},{"alias_kind":"pith_short_8","alias_value":"IPH4QSM3","created_at":"2026-05-18T12:26:32.869790+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/IPH4QSM3443V7C4WUA2AENVDHI","json":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI.json","graph_json":"https://pith.science/api/pith-number/IPH4QSM3443V7C4WUA2AENVDHI/graph.json","events_json":"https://pith.science/api/pith-number/IPH4QSM3443V7C4WUA2AENVDHI/events.json","paper":"https://pith.science/paper/IPH4QSM3"},"agent_actions":{"view_html":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI","download_json":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI.json","view_paper":"https://pith.science/paper/IPH4QSM3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1104.3931&json=true","fetch_graph":"https://pith.science/api/pith-number/IPH4QSM3443V7C4WUA2AENVDHI/graph.json","fetch_events":"https://pith.science/api/pith-number/IPH4QSM3443V7C4WUA2AENVDHI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI/action/storage_attestation","attest_author":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI/action/author_attestation","sign_citation":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI/action/citation_signature","submit_replication":"https://pith.science/pith/IPH4QSM3443V7C4WUA2AENVDHI/action/replication_record"}},"created_at":"2026-05-18T04:23:47.392576+00:00","updated_at":"2026-05-18T04:23:47.392576+00:00"}