Login / Signup

The Computational Relevance of Formal Logic Through Formal Proofs.

Ariane Alves AlmeidaAna Cristina Rocha OliveiraThiago Mendonça Ferreira RamosFlávio L. C. de MouraMauricio Ayala-Rincón
Published in: FMTea (2019)
Keyphrases
  • formal proofs
  • formal logic
  • predicate logic
  • artificial intelligence
  • low level
  • information retrieval
  • description logics
  • lessons learned