Login / Signup

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

Andréia B. AvelarAndré Luiz GaldinoFlávio L. C. de MouraMauricio Ayala-Rincón
Published in: LSFA (2011)
Keyphrases
  • special case
  • data sets
  • higher order
  • real time
  • artificial intelligence
  • first order logic
  • database
  • neural network
  • case study
  • natural language
  • np hard
  • knowledge representation
  • von neumann