| 词汇 | example_english_logic-programming |
| 释义 | logic programmingcollocation in Englishmeanings of logicand programmingThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with programming or logic. logic noun[U] uk /ˈlɒdʒ.ɪk/ us /ˈlɑː.dʒɪk/ a particular way of thinking, especially one that is reasonable and based on ... See more at logic programming noun[U] uk /ˈprəʊ.ɡræm.ɪŋ/ us /ˈproʊ.ɡræm.ɪŋ/ the activity or job of writing ... See more at programming Examples of logic programmingThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Unlike most of these previous works on abduction in the logicprogramming framework, in this paper we study abduction with penalization from logic programs. Consequently, a precise meaning (or semantics) must be associated with any logicprogramming in order to provide its declarative specification. This insight provided the motivation for a large body of research on nonmonotonicity and logic programming including the aforementioned bi-annual conference on the subject. Learning semantic grammars with constructive inductive logicprogramming. We also wish to further explore connections with other approaches, including coalgebra and concurrent logicprogramming. This makes the calculus useful in contexts where proof search is for normal natural deductions, such as in (constraint) logicprogramming. It is worthwhile noting that these problems cannot be encoded at all in (function-free) normal logicprogramming, even under the powerful stable model semantics. There is also a statement in this issue as to what constitutes a logicprogramming pearl. Coalition systems are closely related to various developments in logicprogramming, in particular in stable model semantics. It is a standard assumption in functional logicprogramming that constant symbols are divided into free constructor symbols and defined symbols. In general, our program rules may include negations and disjunctions, and hence the results in this paper extend to disjunctive logicprogramming as well. Forgetting and conflict resolving in disjunctive logicprogramming. The review is ' 'relatively complete' ' in the sense that it covers default logic, autoepistemic logic, circumscription, logicprogramming, and belief revision. But in logicprogramming underlining a literal is usually used to denote selected literals and therefore underlining the reducible calls is more intuitive. The first sentence (i) is translated into two clauses (a) and (b) of logicprogramming. A multiset of higher-order program clauses constitute a program in our logicprogramming language. And, conversely, in these new scenarios there are lot of new applied problems that can be challenging and rewarding from a logicprogramming perspective. But what if the logicprogramming system has no logical semantics? These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Want to learn more? Go to the definition of logic Go to the definition of programming See other collocations with programming See other collocations with logic |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。