Generalized arrow update logic.

Barteld P. Kooi Bryan Renne

Published in: TARK (2011)

Keyphrases

logic programming
multi agent
modal logic
deontic logic
neural network
temporal logic
t norm
predicate logic