Basic Constructive Connectives, Determinism and Matrix-Based Semantics.

Agata Ciabattoni Ori Lahav Anna Zamansky

Published in: TABLEAUX (2011)

Keyphrases

formal semantics
logic programming
linear algebra
learning algorithm
singular value decomposition
transformation rules
argumentation semantics
search engine
multi agent systems
semantic information
covariance matrix
default reasoning
singular values