Order-Sorted Equality Enrichments Modulo Axioms.

Raúl Gutiérrez José Meseguer Camilo Rocha

Published in: WRLA (2012)

Keyphrases

order sorted
predicate logic
meta analysis
knowledge base
first order logic
axiomatic characterization
neural network
genetic algorithm
software engineering
horn clauses
fixpoint