Hierarchic Autoepistemic Logic
method
ID: hierarchicautoepistemiclogic
Related Papers
A Practical Nonmonotonic Theory for Reasoning about Speech Acts
A prerequisite to a theory of the way agents un- derstand speech acts is a theory of how their be- liefs and intentions are revised as a consequence of events. …...