{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:DF3ZCAXPLKYLKKJVZHRJS3HUI6","short_pith_number":"pith:DF3ZCAXP","schema_version":"1.0","canonical_sha256":"19779102ef5ab0b52935c9e2996cf447a8a82487331630c0ff39110c3c414b10","source":{"kind":"arxiv","id":"1307.7398","version":1},"attestation_state":"computed","paper":{"title":"ROSoClingo: A ROS package for ASP-based robot control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Philipp Obermeier, Torsten Schaub","submitted_at":"2013-07-28T20:10:51Z","abstract_excerpt":"Knowledge representation and reasoning capacities are vital to cognitive robotics because they provide higher level cognitive functions for reasoning about actions, environments, goals, perception, etc. Although Answer Set Programming (ASP) is well suited for modelling such functions, there was so far no seamless way to use ASP in a robotic environment. We address this shortcoming and show how a recently developed reactive ASP system can be harnessed to provide appropriate reasoning capacities within a robotic system. To be more precise, we furnish a package integrating the reactive ASP solver"},"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":"1307.7398","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2013-07-28T20:10:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"e4d6d6ea2fa61f9f403b9666cbe752fbc2be7590f0b294172d16e4dd521efb3c","abstract_canon_sha256":"e370fbf53a1b704a7c081fbbec084b8d48cb1c2aebf49da6faa5810657f6ab4c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:17:23.392370Z","signature_b64":"C2jTO8c5kTaWnPDYudEIqVDPnIzph8H7tYeGJ4G+VV/DL7pm3G6MuBon9OmrDoCYbKdA5wRwmJlR7SyfC6i3Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19779102ef5ab0b52935c9e2996cf447a8a82487331630c0ff39110c3c414b10","last_reissued_at":"2026-05-18T03:17:23.391660Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:17:23.391660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ROSoClingo: A ROS package for ASP-based robot control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Philipp Obermeier, Torsten Schaub","submitted_at":"2013-07-28T20:10:51Z","abstract_excerpt":"Knowledge representation and reasoning capacities are vital to cognitive robotics because they provide higher level cognitive functions for reasoning about actions, environments, goals, perception, etc. Although Answer Set Programming (ASP) is well suited for modelling such functions, there was so far no seamless way to use ASP in a robotic environment. We address this shortcoming and show how a recently developed reactive ASP system can be harnessed to provide appropriate reasoning capacities within a robotic system. To be more precise, we furnish a package integrating the reactive ASP solver"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.7398","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":"1307.7398","created_at":"2026-05-18T03:17:23.391786+00:00"},{"alias_kind":"arxiv_version","alias_value":"1307.7398v1","created_at":"2026-05-18T03:17:23.391786+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.7398","created_at":"2026-05-18T03:17:23.391786+00:00"},{"alias_kind":"pith_short_12","alias_value":"DF3ZCAXPLKYL","created_at":"2026-05-18T12:27:43.054852+00:00"},{"alias_kind":"pith_short_16","alias_value":"DF3ZCAXPLKYLKKJV","created_at":"2026-05-18T12:27:43.054852+00:00"},{"alias_kind":"pith_short_8","alias_value":"DF3ZCAXP","created_at":"2026-05-18T12:27:43.054852+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/DF3ZCAXPLKYLKKJVZHRJS3HUI6","json":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6.json","graph_json":"https://pith.science/api/pith-number/DF3ZCAXPLKYLKKJVZHRJS3HUI6/graph.json","events_json":"https://pith.science/api/pith-number/DF3ZCAXPLKYLKKJVZHRJS3HUI6/events.json","paper":"https://pith.science/paper/DF3ZCAXP"},"agent_actions":{"view_html":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6","download_json":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6.json","view_paper":"https://pith.science/paper/DF3ZCAXP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1307.7398&json=true","fetch_graph":"https://pith.science/api/pith-number/DF3ZCAXPLKYLKKJVZHRJS3HUI6/graph.json","fetch_events":"https://pith.science/api/pith-number/DF3ZCAXPLKYLKKJVZHRJS3HUI6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6/action/storage_attestation","attest_author":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6/action/author_attestation","sign_citation":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6/action/citation_signature","submit_replication":"https://pith.science/pith/DF3ZCAXPLKYLKKJVZHRJS3HUI6/action/replication_record"}},"created_at":"2026-05-18T03:17:23.391786+00:00","updated_at":"2026-05-18T03:17:23.391786+00:00"}