NeuralLog: a Neural Logic Language.

Victor Guimarães Vítor Santos Costa

Published in: CoRR (2021)

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