Time Representation in Prolog Circuit Modelling.

Yossi Lichtenstein Bob Welham Ajay Gupta

Published in: ALPUK (1991)

Keyphrases

high speed
model construction
expert systems
databases
database
representation scheme
case study
logic programming
digital circuits
theorem proving
fault diagnosis
image representation
low cost
knowledge representation
mobile robot
multiscale
decision trees
knowledge base
artificial intelligence