Cart (0)
  • No items in cart.
Total
$0
There is a technical issue about last added item. You can click "Report to us" button to let us know and we resolve the issue and return back to you or you can continue without last item via click to continue button.
Home
Content
Tour
eLibrary
Store
Search book title
Enter keywords for book title search
Search book content
Enter keywords for book content search
Filters:
FORMAT
BOOKS
All Books
PACKAGES
All Packages
EDITION
to
PUBLISHER
AABC
(1)
AAMI
(317)
ACI
(572)
AISC
(44)
ASA
(234)
ASCE
(969)
ASHRAE
(643)
ASME
(2114)
ASSE
(64)
ASTM
(92448)
AWC
(54)
AWWA
(535)
BHMA
(117)
BICSI
(31)
BIFMA
(20)
BOMA
(19)
BSI
(92811)
CHD
(3)
CRSI
(17)
IAHSS
(1)
IAPMO
(351)
ICC
(300)
IEEE
(6217)
IES
(239)
ISEA
(16)
Joint Commission
(177)
Joint Commission Int.
(1)
NETA
(5)
NFPA
(1621)
TCNA
(16)
TMS
(18)
USGBC
(28)
WILEY
(4)
 
AR
(6)
AZ
(7)
CA
(115)
CT
(3)
FL
(57)
ID
(5)
IL
(5)
IN
(1)
KY
(1)
LA
(2)
MI
(23)
MN
(26)
NC
(27)
NJ
(13)
NY
(61)
OH
(24)
OR
(22)
PA
(7)
RI
(8)
SC
(20)
SD
(1)
TX
(3)
VA
(50)
VT
(6)
WA
(31)
CONTENT TYPE
 Act
 Admin Code
 Announcements
 Bill
 Book
 CADD File
 CAN
 CEU
 Charter
 Checklist
 City Code
 Code
 Commentary
 Comprehensive Plan
 Conference Paper
 County Code
 Course
 DHS Documents
 Document
 Errata
 Executive Regulation
 Federal Guideline
 Firm Content
 Guideline
 Handbook
 Interpretation
 Journal
 Land Use and Development
 Law
 Legislative Rule
 Local Amendment
 Local Code
 Local Document
 Local Regulation
 Local Standards
 Manual
 Model Code
 Model Standard
 Notice
 Ordinance
 Other
 Paperback
 PASS
 Periodicals
 PIN
 Plan
 Policy
 Product
 Program
 Provisions
 Requirements
 Revisions
 Rules & Regulations
 Standards
 State Amendment
 State Code
 State Manual
 State Plan
 State Standards
 Statute
 Study Guide
 Supplement
 Technical Bulletin
 All
  • BSI
    BS ISO/IEC 24707:2018 Information technology. Common Logic (CL). A framework for a family of logic-based languages
    Edition: 2018
    $538.63
    / user per year

Description of BS ISO/IEC 24707:2018 2018

This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.

The following features are essential to the design of this document.

  • Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions.

  • Languages in the family are logically comprehensive – at its most general, they provide for the expression of arbitrary first-order logical sentences.

  • Languages in the family are translatable by a semantics-preserving transformation to a common XML-based syntax, facilitating interchange of information among heterogeneous computer systems.

The following are within the scope of this document:

  • representation of information in ontologies and knowledge bases;

  • specification of expressions that are the input or output of inference engines;

  • formal interpretations of the symbols in the language.

The following are outside the scope of this document:

  • specification of proof theory or inference rules;

  • specification of translators between the notations of heterogeneous computer systems;

  • computer-based operational methods of providing relationships between symbols in the logical “universe of discourse” and individuals in the “real world”.

This document describes Common Logic’s syntax and semantics.

This document defines an abstract syntax and an associated model-theoretic semantics for a specific extension of first-order logic. The intent is that the content of any system using first-order logic can be represented in this document. The purpose is to facilitate interchange of first-order logic-based information between systems.

Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed.



Standard NumberBS ISO/IEC 24707:2018
TitleInformation technology. Common Logic (CL). A framework for a family of logic-based languages
StatusDefinitive
Publication Date2018-07-20
ReplacesBS ISO/IEC 24707:2007
Identical National Standard OfISO/IEC 24707:2018
DescriptorsProgramming languages, Mathematical logic, Data transfer, Semantics, Markup, Data processing, Data syntax, Data representation, Information exchange, Data transmission
ICS35.060 Languages used in information technology
CommitteeIST/40
ISBN978 0 580 86275 5
PublisherBSI
Pages80

The following editions for this book are also available...

About BSI

BSI Group, also known as the British Standards Institution is the national standards body of the United Kingdom. BSI produces technical standards on a wide range of products and services and also supplies certification and standards-related services to businesses.
GROUPS
X