US PATENT SUBCLASS 706 / 58
.~.~ Temporal logic


Current as of: June, 1999
Click HD for Main Headings
Click for All Classes

Internet Version by PATENTEC © 1999      Terms of Use



706 /   HD   DATA PROCESSING: ARTIFICIAL INTELLIGENCE

45  DF  KNOWLEDGE PROCESSING SYSTEM {2}
46  DF  .~ Knowledge representation and reasoning technique {11}
58.~.~ Temporal logic


DEFINITION

Classification: 706/58

Temporal logic:

(under subclass 46) Subject matter wherein the integrated collection of facts and relationships contain data having a representation for an aspect of time.