Modular Extensions for Modular (Logic) Languages.

José F. Morales Manuel V. Hermenegildo Rémy Haemmerlé

Published in: LOPSTR (2011)

Keyphrases

derivation rules
databases
modular neural networks
modular structure
real time
modal logic
highly expressive
modular architecture
formal language
computational properties
logical framework
relational databases
natural language
case study
artificial intelligence
neural network
data sets