Translating a Modal Language with Embedded Implication into Horn Clause Logic.

Matteo Baldoni Laura Giordano Alberto Martelli

Published in: ELP (1996)

Keyphrases

representation language
horn clause logic
programming language
embedded systems
natural language
language learning
modal logic
dynamic logic
target language
data mining
artificial intelligence
functional dependencies