عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540632557
شابک
9783540632559
شماره کتابشناسی ملی
شماره
b550221
عنوان و نام پديدآور
عنوان اصلي
Logic programming and nonmonotonic reasoning.
نام عام مواد
[Book]
نام نخستين پديدآور
LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Germany
نام ناشر، پخش کننده و غيره
Springer.
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
452 pages
فروست
عنوان فروست
Lecture notes in computer science., Lecture notes in artificial intelligence.; Lecture notes in computer science, 1265.
یادداشتهای مربوط به مندرجات
متن يادداشت
Forward and backward chaining in constraint programming.- Strong and weak constraints in disjunctive datalog.- Nonmonotonic reasoning with quantified boolean constraints.- Improving the alternating fixpoint: The transformation approach.- Is non-monotonic reasoning always harder.- Complexity of only knowing: The prepositional case.- Affordable classes of normal logic programs.- Automated reasoning with nonmonotonic logics.- Simulations between programs as cellular automata.- Separating disbeliefs from beliefs in autoepistemic reasoning.- Power defaults (preliminary report).- A study of Przymusinski's static semantics.- Resolution for skeptical stable semantics.- Computing non-ground representations of stable models.- Industry needs for integrated information services.- Computing, solving, proving: A report on the Theorema project.- Towards a systematic approach to representing knowledge in declarative logic programming.- A paraconsistent semantics with contradiction support detection.- On conservative enforced updates.- A general framework for revising nonmonotonic theories.- Composing general logic programs.- Modular logic programming and generalized quantifiers.- Programs with universally quantified embedded implications.- Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects.- DisLoP: Towards a disjunctive logic programming system.- REVISE: Logic programming and diagnosis.- A deductive system for non-monotonic reasoning.- The deductive database system LOLA.- ACLP: Flexible solutions to complex problems.- Nonmonotonic reasoning in FLORID.- GLUE: Opening the world to theorem provers.- Smodels - an implementation of the stable model and well-founded semantics for normal logic programs.- XSB: A system for efficiently computing well-founded semantics.- An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Anil Nerode
مستند نام اشخاص تاييد نشده
J (Juergen) Dix
مستند نام اشخاص تاييد نشده
LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
مستند نام اشخاص تاييد نشده
Ulrich Fuhrbach
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
