Circumscribed Time and Porous Time: Logics as a Way of Studying Temporality.

Melissa Mazmanian Ingrid Erickson Ellie Harmon

Published in: CSCW (2015)

Keyphrases

expressive power
modal logic
classical logic
inference rules
database
data sets
neural network
information retrieval
web pages
three dimensional
bayesian networks
decision procedures