Login / Signup

Precise reasoning with structured time, structured heaps, and collective operations.

Grégory M. EssertelGuannan WeiTiark Rompf
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • structured data
  • reasoning systems
  • real time
  • decision making
  • three dimensional
  • artificial intelligence
  • search algorithm
  • domain knowledge
  • knowledge representation
  • fuzzy logic