Logic for Reasoning about Components of Persuasive Actions.

Katarzyna Budzynska Magdalena Kacprzak Pawel Rembelski

Published in: ISMIS (2009)

Keyphrases

formal theory
reasoning about actions
logic programming
cognitive agents
modal logic
situation calculus
automated reasoning
causal reasoning
modal operators
sound and complete axiomatization
neural network
building blocks
decision theoretic
goal directed
qualitative reasoning
probabilistic logic