نتایج جستجو برای: منطق order sorted

تعداد نتایج: 923770  

Journal: :Journal of Symbolic Computation 1989

متن کامل
Journal: :Information and Computation 1999

متن کامل
Journal: :The Computer Journal 1991

متن کامل
ژورنال: هوش محاسباتی در مهندسی برق 2011
سید هاشم محتشمی, محمود نقیب زاده, ملیحه امینی,

عامل‌های هوشمند به عنوان وسایل برجسته‌ای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته می‌شوند. این عاملها با یکپارچه‌سازی آنتولوژ‌ی‌ها و قوانین در وب معنایی، می‌توانند با یکدیگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزیع‌شده کارا برای یکپارچه‌سازی آنتولوژی‌ها و قوانین در چندین پایگاه دانش است. روش‌های ارائه شده برای استنتاج توزیع‌شده، اغلب بسیار زمانبر و حافظه‌...

متن کامل
Journal: :Electronic Notes in Theoretical Computer Science 2012

متن کامل
Journal: :The Journal of Logic Programming 1997

متن کامل
Journal: :Theoretical Computer Science 1992

متن کامل
1994
Michael Kohlhase

The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...

متن کامل
Journal: :Theoretical Computer Science 1997

متن کامل
Journal: :Electronic Proceedings in Theoretical Computer Science 2018

متن کامل

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید