نتایج جستجو برای: Disjunction
تعداد نتایج: 2803 فیلتر نتایج به سال:
Journal:
:Proceedings of the Linguistic Society of America
2019
Journal:
:International Journal of Approximate Reasoning
2007
1995
Mats Carlsson
We present two schemes for compiling disjunctions of nite domain constraints, where disjunction is treated as constructive. In the rst scheme each disjunction is compiled to a set of indexicals, i.e. a set of range functions computing domain restrictions, such that the evaluation of the indexicals maintains a weak form of consistency of the disjunction. The second scheme is based on constraint ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید