Semantics of Finite Delay.

Chrysafis Hartonas

Published in: Theor. Comput. Sci. (1997)

Keyphrases

formal semantics
logic programming
neural network
graphical representation
unit length
conceptual model
database
information systems
object oriented
logic programs
semantic information
finite number
reasoning tasks
semantic representation
complete axiomatization