Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines

Christoph Beierle, Gabriele Kern-Isberner. Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 186-203, Springer, 2003. [doi]

Authors

Christoph Beierle

This author has not been identified. Look up 'Christoph Beierle' in Google

Gabriele Kern-Isberner

This author has not been identified. Look up 'Gabriele Kern-Isberner' in Google