Login / Signup

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data.

Mykola NikitchenkoOksana ShkilniakStepan S. Shkilniak
Published in: ACIT (2020)
Keyphrases
  • predicate logic
  • data analysis
  • data sources
  • artificial intelligence
  • training data
  • labeled data
  • knowledge representation and reasoning