Login / Signup

Formalizing and Computing Propositional Quantifiers.

Hugo FéréeSam van Gool
Published in: CPP (2023)
Keyphrases
  • first order logic
  • propositional logic
  • decision making
  • natural language
  • real time
  • data sets
  • databases
  • real world
  • search engine
  • multiscale
  • lower bound
  • hidden markov models
  • probabilistic logic