Login / Signup

Constrained narrowing for conditional equational theories modulo axioms.

Andrew CholewaSantiago EscobarJosé Meseguer
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • equational theories
  • knowledge base
  • theorem proving
  • random field model
  • function symbols
  • artificial intelligence
  • first order logic
  • machine learning
  • description logics
  • conditional probabilities