Extensions of ordered theories by generic predicates.

Alfred Dolich Chris Miller Charles Steinhorn

Published in: J. Symb. Log. (2013)

Keyphrases

user defined
domain specific
theoretical framework
efficient implementation
semantics of logic programs
data sets
neural network
data mining
expert systems
mathematical models
generic model
logical formulas
argumentation semantics