Predicate Logics on Display.

Heinrich Wansing

Published in: Stud Logica (1999)

Keyphrases

expressive power
first order logic
modal logic
inference rules
real time
neural network
computer vision
multi agent
description logics
classical logic
computational properties
multi touch
gaze contingent
propositional calculus