A Proposed Categorial Semantics for Pure ML.

Wesley Phoa Michael P. Fourman

Published in: ICALP (1992)

Keyphrases

maximum likelihood
formal semantics
semantic information
domain knowledge
proof theory
information systems
em algorithm
logic programming
information retrieval
artificial intelligence
expert systems
semantic representation
logical framework
transformation rules
argumentation semantics