Two Normalizations for Natural Deductions in Sequent Style.

Mirjana Borisavljevic

Published in: FLAP (2019)

Keyphrases

artificial systems
real world
inference rules
wide range

natural language
real time
artificial intelligence

image processing
video sequences
cooperative

preprocessing
probabilistic model
man made