C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A logical framework for multi-device user interfaces.
Fabio Paternò
Carmen Santoro
Published in:
EICS (2012)
Keyphrases
</>
logical framework
user interface
inference rules
belief revision
reasoning tasks
possibilistic logic
linear logic
higher order logic
normative systems
epistemic logic
coalition logic
special case
learning algorithm
probabilistic reasoning
contextual information
state space
artificial intelligence