Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.

Anna Zamansky Arnon Avron

Published in: IJCAR (2006)

Keyphrases

real time
databases
natural language
neural network
case study
mobile robot
temporal logic