Keyphrases
- formal language
- operational semantics
- formal theory
- logic programming
- network architecture
- neural network
- language learning
- dynamic logic
- natural language
- proof theory
- programming language
- bio inspired
- lambda calculus
- programs written
- artificial intelligence
- declarative semantics
- modal operators
- logic programming language
- conditional logic
- multi valued
- modal logic
- predicate calculus
- highly expressive
- intuitionistic logic
- classical logic
- representation language
- deductive databases
- associative memory
- linear temporal logic
- concurrent programming