{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:X7PI6OPOL6BYES5OS7AXJB43JV","short_pith_number":"pith:X7PI6OPO","schema_version":"1.0","canonical_sha256":"bfde8f39ee5f83824bae97c174879b4d60be21b9cf1befc570b4d2737f39767f","source":{"kind":"arxiv","id":"1111.0870","version":1},"attestation_state":"computed","paper":{"title":"A Formal Approach for Agent Based Large Concurrent Intelligent Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ankit Chaudhary, Jagdish L. Raheja","submitted_at":"2011-09-29T08:54:13Z","abstract_excerpt":"Large Intelligent Systems are so complex these days that an urgent need for designing such systems in best available way is evolving. Modeling is the useful technique to show a complex real world system into the form of abstraction, so that analysis and implementation of the intelligent system become easy and is useful in gathering the prior knowledge of system that is not possible to experiment with the real world complex systems. This paper discusses a formal approach of agent-based large systems modeling for intelligent systems, which describes design level precautions, challenges and techn"},"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":"1111.0870","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-09-29T08:54:13Z","cross_cats_sorted":[],"title_canon_sha256":"8053a7b47f9111a6da69a6279bf7837e6b3b59adb768071b6ad71ea640cf4279","abstract_canon_sha256":"2d13344872c9bafb69d3f9d4e72873f0d5577dc2dc5ee2a9b8612082ae329ffa"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:09:36.776949Z","signature_b64":"7K2EEVfkbVXqh5v5CrBwFdTkm8hsYs0/J/Wi2FE77p6d3+IoEaeFtjZmENTCWJlkN0YTZ7jyPrwTrBV5HtLFBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfde8f39ee5f83824bae97c174879b4d60be21b9cf1befc570b4d2737f39767f","last_reissued_at":"2026-05-18T04:09:36.776447Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:09:36.776447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Formal Approach for Agent Based Large Concurrent Intelligent Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ankit Chaudhary, Jagdish L. Raheja","submitted_at":"2011-09-29T08:54:13Z","abstract_excerpt":"Large Intelligent Systems are so complex these days that an urgent need for designing such systems in best available way is evolving. Modeling is the useful technique to show a complex real world system into the form of abstraction, so that analysis and implementation of the intelligent system become easy and is useful in gathering the prior knowledge of system that is not possible to experiment with the real world complex systems. This paper discusses a formal approach of agent-based large systems modeling for intelligent systems, which describes design level precautions, challenges and techn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.0870","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":"1111.0870","created_at":"2026-05-18T04:09:36.776531+00:00"},{"alias_kind":"arxiv_version","alias_value":"1111.0870v1","created_at":"2026-05-18T04:09:36.776531+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.0870","created_at":"2026-05-18T04:09:36.776531+00:00"},{"alias_kind":"pith_short_12","alias_value":"X7PI6OPOL6BY","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_16","alias_value":"X7PI6OPOL6BYES5O","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_8","alias_value":"X7PI6OPO","created_at":"2026-05-18T12:26:44.992195+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/X7PI6OPOL6BYES5OS7AXJB43JV","json":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV.json","graph_json":"https://pith.science/api/pith-number/X7PI6OPOL6BYES5OS7AXJB43JV/graph.json","events_json":"https://pith.science/api/pith-number/X7PI6OPOL6BYES5OS7AXJB43JV/events.json","paper":"https://pith.science/paper/X7PI6OPO"},"agent_actions":{"view_html":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV","download_json":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV.json","view_paper":"https://pith.science/paper/X7PI6OPO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1111.0870&json=true","fetch_graph":"https://pith.science/api/pith-number/X7PI6OPOL6BYES5OS7AXJB43JV/graph.json","fetch_events":"https://pith.science/api/pith-number/X7PI6OPOL6BYES5OS7AXJB43JV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV/action/storage_attestation","attest_author":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV/action/author_attestation","sign_citation":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV/action/citation_signature","submit_replication":"https://pith.science/pith/X7PI6OPOL6BYES5OS7AXJB43JV/action/replication_record"}},"created_at":"2026-05-18T04:09:36.776531+00:00","updated_at":"2026-05-18T04:09:36.776531+00:00"}