Call-by-Value in a Basic Logic for Interaction.

Published in: APLAS (2014)

Keyphrases

modal logic
human computer interaction
artificial intelligence
human interaction
multi valued
predicate logic
data sets
neural network
clustering algorithm
logic programming
user interaction
human robot interaction
classical logic
computational properties
defeasible logic