Complexity of Commutative Infinitary Action Logic.

Stepan L. Kuznetsov

Published in: DaLí (2020)

Keyphrases

neural network
reasoning about actions
data sets
logic programming
decision problems
transition systems
information systems
modal logic
human actions
defeasible logic