On A New Semantics for First-Order Predicate Logic.

Hajnal Andréka Johan van Benthem István Németi

Published in: J. Philos. Log. (2017)

Keyphrases

formal semantics
logic programming
theorem proving
conceptual graphs
real time
neural network
data mining
artificial intelligence
natural language processing
semantic information
logical language