کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9657788 690039 2005 31 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Any-world assumptions in logic programming
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Any-world assumptions in logic programming
چکیده انگلیسی
The topic of this paper is to allow any assignment (i.e. interpretation), over a truth space, to be a default assumption. Our main result is that our extension is conservative in the sense that under the “everywhere false” default assumption (CWA) the usual stable model semantics is captured. Due to the generality and the purely algebraic nature of our approach, it abstracts from the particular formalism of choice and the results may be applied in other contexts as well.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 342, Issues 2–3, 7 September 2005, Pages 351-381
نویسندگان
, ,