Login / Signup

Combining the Syntactic and Semantic Representations of Mizar Proofs.

Karol Pak
Published in: FedCSIS (2018)
Keyphrases
  • semantic representations
  • semantic representation
  • natural language understanding
  • semantic matching
  • natural language
  • semantic similarity
  • semantic features
  • knowledge base