A New Indefinite Semantics for Hilbert's Epsilon.

Claus-Peter Wirth

Published in: TABLEAUX (2002)

Keyphrases

formal semantics
deductive databases
semantic information
intended meaning
machine learning
nonmonotonic logics
argumentation semantics
clifford algebra