-calculus-based language Nepi.

Atsushi Mizuno Ken Mano Yoshinobu Kawabe Hiroaki Kuwabara Kiyoshi Agusa Shoji Yuen

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

formal language
programming language
language learning
natural language
english language
artificial intelligence
information systems
formal semantics
real time
machine learning
knowledge base
web services
description logics
modeling language
operational semantics
relational calculus