Generalised Proof-Theory for Multi-Agent Autoepistemic Reasoning.

Yongyuth Permpoontanalarp John Yuejun Jiang

Published in: ICMAS (1995)

Keyphrases

proof theory
multi agent
default reasoning
default logic
proof theoretic
automated reasoning
reasoning problems
nonmonotonic reasoning
autoepistemic logic
default theories
multi agent systems
modal logic
probabilistic reasoning
belief revision
knowledge base
decision making
special case
search space