Declarative Belief Set Merging Using Merging Plans

Christoph Redl, Thomas Eiter, Thomas Krennwallner. Declarative Belief Set Merging Using Merging Plans. In Ricardo Rocha, John Launchbury, editors, Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Volume 6539 of Lecture Notes in Computer Science, pages 99-114, Springer, 2011. [doi]

Authors

Christoph Redl

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

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Thomas Krennwallner

This author has not been identified. Look up 'Thomas Krennwallner' in Google