NIST · ИТ · 16e85132889e8e40c807
The Semantics of Modules in Common Logic
Common Logic (CL) is an ISO standard that specifies a family of knowledge representation languages. The function of modules within CL is to support local context with a local domains of discourse. Modules play a crucial role since they enable users to
NIST · ИТОфициальный источник · 2010-01-20
{
"title_en": "The Semantics of Modules in Common Logic",
"designation": "",
"series": "",
"status": "",
"date": "2010-01-20",
"date_original": "January 20, 2010",
"url": "https://www.nist.gov/publications/semantics-modules-common-logic",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Fabian M. Neuhaus",
"abstract_excerpt_en": "Common Logic (CL) is an ISO standard that specifies a family of knowledge representation languages. The function of modules within CL is to support local context with a local domains of discourse. Modules play a crucial role since they enable users to",
"id": "16e85132889e8e40c807",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "The Semantics of Modules in Common Logic",
"designation": "",
"series": "",
"status": "",
"date": "2010-01-20",
"date_original": "January 20, 2010",
"url": "https://www.nist.gov/publications/semantics-modules-common-logic",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Fabian M. Neuhaus",
"abstract_excerpt_en": "Common Logic (CL) is an ISO standard that specifies a family of knowledge representation languages. The function of modules within CL is to support local context with a local domains of discourse. Modules play a crucial role since they enable users to"
}
],
"translation_state": "none"
}