Ability and Responsibility in General Action Logic.

Alessandro Giordani

Published in: DEON (2018)

Keyphrases

special case
closely related
database
data mining
case study
information retrieval
video sequences
expressive power
automated reasoning
reasoning about actions
formal logic