Order-sorted equality enrichments modulo axioms.

Raúl Gutiérrez José Meseguer Camilo Rocha

Published in: Sci. Comput. Program. (2015)

Keyphrases

order sorted
predicate logic
meta analysis
first order logic
knowledge base
axiomatic characterization
natural language
data sets
information retrieval
genetic algorithm
high level
data model
natural language processing
action theories
function symbols