Category Theory in AI
A special invited session on
Category Theory in AI,
consisting solely of invited talks, has been
organized by David Israel
(AIC/SRI, Menlo Park CA) and
(Brunel University, England).
Logical Interoperability, by
SRI International, Menlo Park, CA.
Phenomenon Oriented Grammar: Category Theory meets Formal Linguistics, by
M. Andrew Moshier,
Chapman University, Orange, CA.
Categories and Problem Solving, by
Brunel University, London, England.
Applications of Linear Logic to AI and Natural Language Processing, by
University of Paris, 13, Paris, France.
Type Grammar Revisited, by
McGill University, Montreal, Canada.