The 1998 ACM Computing Classification System
Toggle navigation
Home
Advanced search
About...
My account
Temporal logic
Home
Computing Methodologies
ARTIFICIAL INTELLIGENCE
Knowledge Representation Formalisms and Methods
Temporal logic
Term
Metadata
Temporal logic
Historical note
Added in 1998 edition
Broader Terms
BT
↑
Knowledge Representation Formalisms and Methods
Date of creation
30-Dec-2011
Accepted term
30-Dec-2011
Descendant terms
0
ARK
ark:/99152/t3j7e83p1rzdq0
More specific terms
0
Alternative terms
0
Related terms
0
Notes
1
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search