We extend LDl to allow programs to call external procedures and vice versa. This extension allows the modularization of L Dl, since external predicates are equivalent to external procedures written in L3 DL. External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain ap plicable. To avoid computing infinite relations, wellformedness conditions...

normal 0 false false false en-us x-none ar-sa microsoftinternetexplorer4 introduction: organizations planned in-service trainings for updating of personnel’s information. icdl (international computer driving license) is one of the most important trainings. the purpose of this research is evaluation the some aspects of icdl in-service trainings from the viewpoints of administrators and personnel...

سابقه و هدف: سلامت خاک از مولفه ‏های اصلی در دستیابی به سامانه ‏‏های کشاورزی پایدار بوده که شدت تحت تاثیر عملیات زراعی مانند خاکورزی قرار می ‏گیرد. را توان با استفاده پارامترهای فیزیکی، شیمیایی بیولوژیکی قالب الگوریتم‏ های مشخص کمّی کرد. نتیجه، بررسی وضعیت کیفی باروری مدیریتی مختلف زمین جهت استقرار مناسب برای تولید بهینه نظام‌های امری ضروری می‏ باشد. چارچوب ارزیابی مدیریت SMAF 1 عنوان ابزاری قدر...

In this paper we describe the first version of the International Children’s Digital Library (ICDL). As a fiveyear research project, its mission is to enable children to access and read an international collection of children’s books through the development of new interface technologies. This paper will describe the need for such research, our work in the context of other digital libraries for c...

Children are among the fastest growing groups of users of the Internet, so it is important to design searching and browsing interfaces, such as those found in digital libraries, to support them. However, many interfaces geared toward elementary-age children suffer from at least one of two common problems. First, many assume that young users can spell, type, read, navigate, compose queries, and/...

The 7th IEEE International Conference on Development and Learning (ICDL 2008) took place at the Asilomar Conference Grounds in Monterrey, CA, from August 9 to 12, 2008. The Asilomar Conference Ground has been a place for some well-known conferences in U.S. history, with its natural beach surroundings dotted with rustic buildings with spacious rooms and other facilities. This year’s conference h...