• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Logic programming and nonmonotonic reasoning :

پدید آورنده
Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)

موضوع
Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.

رده

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
3540425934 (pbk. : acid-free paper)
شابک
9783540425939 (pbk. : acid-free paper)

شماره کتابشناسی ملی

شماره
b433620

عنوان و نام پديدآور

عنوان اصلي
Logic programming and nonmonotonic reasoning :
نام عام مواد
[Book]
ساير اطلاعات عنواني
6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
نام نخستين پديدآور
Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)

مشخصات ظاهری

نام خاص و کميت اثر
1 online resource (xi, 444 pages) :
ساير جزييات
illustrations.

فروست

عنوان فروست
Lecture notes in artificial intelligence
مشخصه جلد
2173.

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references and index

یادداشتهای مربوط به مندرجات

متن يادداشت
Invited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming -- Regular Papers -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules -- On the Expressibility of Stable Logic Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs -- Reasoning with Open Logic Programs -- Representation of Incomplete Knowledge by Induction of Default Theories -- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules -- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded LTL Model Checking with Stable Models -- Diagnosing Physical Systems in A-Prolog -- Planning with Different Forms of Domain-Dependent Control Knowledge -- An Answer Set Programming Approach -- Encoding Solutions of the Frame Problem in Dynamic Logic --?-RES: Reasoning about Actions, Events and Observations -- Omega-Restricted Logic Programs -- Improving ASP Instantiators by Join-Ordering Methods -- Optimizing the Computation of Heuristics for Answer Set Programming Systems -- New Generation Systems for Non-monotonic Reasoning -- Algorithms for Computing X-Minimal Models -- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Multi-adjoint Logic Programming with Continous Semantics -- Multi-dimensional Dynamic Knowledge Representation -- Antitonic Logic Programs -- System Description -- A-system: Declarative Programming with Abduction -- An Update Front-End for Extended Logic Programs -- aspps -- An Implementation of Answer-Set Programming with Propositional Schemata -- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes for Reasoning with Infinite Stable Models and Function Symbols -- psmodels: Stable Models Based on Pertinence -- System Description: DLV -- System Description: The DLVK Planning System -- The Smodels System -- The USA-Advisor: A Case Study in Answer Set Planning
بدون عنوان
0

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc

یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی

متن يادداشت
Mode of access: World Wide Web

ویراست دیگر از اثر در قالب دیگر رسانه

عنوان
Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

قطعه

عنوان
OhioLINK electronic book center
عنوان
SpringerLink

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Logic programming, Congresses.
موضوع مستند نشده
Nonmonotonic reasoning, Congresses.

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Eiter, Thomas,1966-
مستند نام اشخاص تاييد نشده
Faber, Wolfgang,1974-
مستند نام اشخاص تاييد نشده
Truszczyński, Mirosław.

نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام تنالگان تاييد نشده
LPNMR 2001(2001 :, Vienna, Austria)

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.

مبدا اصلی

تاريخ عمليات
20100922093926.0
قواعد فهرست نويسي ( بخش توصيفي )
rda

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال