A Category-theoretic Semantics for Unbounded Indeterminacy.

Prakash Panangaden James R. Russell

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

formal semantics
event calculus
logic programming
reasoning tasks
machine learning
real time
neural network
information retrieval
genetic algorithm
information systems
website
high level
logic programs
semantic information
model theoretic
web directories