{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:7XIPTLNKSWHLRUQ7OCZCH3ZBZ7","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":"bd1b4173c74eee767462c528b55614dfb6d95fe704aa4f4d9885d93ffa6922c4","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","title_canon_sha256":"5134585dde27c5c72bb979b169c210457371261def2cc68649c936b0cbb31e25"},"schema_version":"1.0","source":{"id":"2311.03340","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.03340","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"arxiv_version","alias_value":"2311.03340v3","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.03340","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_12","alias_value":"7XIPTLNKSWHL","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_16","alias_value":"7XIPTLNKSWHLRUQ7","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_8","alias_value":"7XIPTLNK","created_at":"2026-07-05T07:40:58Z"}],"graph_snapshots":[{"event_id":"sha256:25c5ccec7dbc6c35986f1889b690080425c6aa26f44493d74da444211045a7f1","target":"graph","created_at":"2026-07-05T07:40:58Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2311.03340/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we propose a general framework to integrate supervised and unsupervised examples with background knowledge expressed by a collection of first-order logic clauses into kernel machines. In particular, we consider a multi-task learning scheme where multiple predicates defined on a set of objects are to be jointly learned from examples, enforcing a set of FOL constraints on the admissible configurations of their values. The predicates are defined on the feature spaces, in which the input objects are represented, and can be either known a priori or approximated by an appropriate kerne","authors_text":"Leonardo Rigutini, Marco Gori, Marco Maggini, Michelangelo Diligenti","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","title":"Multitask Kernel-based Learning with First-Order Logic Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.03340","kind":"arxiv","version":3},"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:2d8965b071997e9fc26d47c8ae3420ff1c0c6e390b3da5f2574d20221cb21cc7","target":"record","created_at":"2026-07-05T07:40:58Z","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":"bd1b4173c74eee767462c528b55614dfb6d95fe704aa4f4d9885d93ffa6922c4","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","title_canon_sha256":"5134585dde27c5c72bb979b169c210457371261def2cc68649c936b0cbb31e25"},"schema_version":"1.0","source":{"id":"2311.03340","kind":"arxiv","version":3}},"canonical_sha256":"fdd0f9adaa958eb8d21f70b223ef21cfd6ed71d7d2da2b970f41f3586d6d6355","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fdd0f9adaa958eb8d21f70b223ef21cfd6ed71d7d2da2b970f41f3586d6d6355","first_computed_at":"2026-07-05T07:40:58.937547Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:40:58.937547Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GhNReYYBQCftNBjI8PFF3zXj5JREdJv3aTAdc0rlKxT5JSvhGcWr60niiZRcBvD6LRazfYN096BRCNX5Q8MwDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:40:58.938073Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.03340","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d8965b071997e9fc26d47c8ae3420ff1c0c6e390b3da5f2574d20221cb21cc7","sha256:25c5ccec7dbc6c35986f1889b690080425c6aa26f44493d74da444211045a7f1"],"state_sha256":"2c6cade5e7eb686103b86151716cf3f5fcb50a7ab8d61cfc85a21146e3fb571f"}