On Sufficient Conditions for Consistency Checking in CP-theory Preferences

Erik Rauer, Samik Basu 0001. On Sufficient Conditions for Consistency Checking in CP-theory Preferences. In Renata Wassermann, Marie-Laure Mugnier, Franz Baader, editors, Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026, Lisbon, Portugal, July 20-23, 2026. 2026. [doi]

Authors

Erik Rauer

This author has not been identified. Look up 'Erik Rauer' in Google

Samik Basu 0001

This author has not been identified. Look up 'Samik Basu 0001' in Google