標(biāo)題: Titlebook: Meta-Programming in Logic; Third International A. Pettorossi Conference proceedings 1992 Springer-Verlag Berlin Heidelberg 1992 Automat.Re [打印本頁(yè)] 作者: squamous-cell 時(shí)間: 2025-3-21 16:58
書(shū)目名稱(chēng)Meta-Programming in Logic影響因子(影響力)
書(shū)目名稱(chēng)Meta-Programming in Logic影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Meta-Programming in Logic網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Meta-Programming in Logic網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Meta-Programming in Logic被引頻次
書(shū)目名稱(chēng)Meta-Programming in Logic被引頻次學(xué)科排名
書(shū)目名稱(chēng)Meta-Programming in Logic年度引用
書(shū)目名稱(chēng)Meta-Programming in Logic年度引用學(xué)科排名
書(shū)目名稱(chēng)Meta-Programming in Logic讀者反饋
書(shū)目名稱(chēng)Meta-Programming in Logic讀者反饋學(xué)科排名
作者: 沒(méi)有準(zhǔn)備 時(shí)間: 2025-3-21 22:50
An autoepistemic analysis of metalevel reasoning in logic programming, this connection. An ideal introspective agent is one who makes the fewest possible assumptions about her beliefs. There is a strong formal connection between ideal introspection and metalogical systems in Logic Programming. We trace this connection in two cases: Reflective Prolog and negation as fa作者: 精美食品 時(shí)間: 2025-3-22 04:25
An introduction to partial deduction,ming, and to a certain degree in computing in general, is being recognized. This article provides a systematic introduction to partial deduction, its applications and open problems. Starting from an informal and intuitive presentation, the fundamental notions such as correctness and completeness are作者: Deduct 時(shí)間: 2025-3-22 05:11 作者: 懸掛 時(shí)間: 2025-3-22 11:05 作者: Offensive 時(shí)間: 2025-3-22 13:13 作者: Abnormal 時(shí)間: 2025-3-22 19:20
Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog pr, interpretation, and partial evaluation. In this paper, we show how meta-level primitives can be used in a very simple way for low-level code optimization in compilers. The resulting code optimizer is small, simple, efficient, and easy to modify and retarget. An optimizer based on these ideas is cu作者: flex336 時(shí)間: 2025-3-22 23:22 作者: flourish 時(shí)間: 2025-3-23 01:50 作者: Engaged 時(shí)間: 2025-3-23 09:35
,Object-oriented programming in G?del: An experiment,ed program is implemented in G?del at two levels. First, at the base or object level, the static features such as object identity, the classification of objects, and message passing between objects are implemented using the basic G?del language. Secondly, at the top or meta-level, the dynamic featur作者: 粘土 時(shí)間: 2025-3-23 10:33 作者: 無(wú)法破譯 時(shí)間: 2025-3-23 16:15 作者: cutlery 時(shí)間: 2025-3-23 19:38
Hierarchical meta-logics: Intuitions, proof theory and semantics,investigate the relationship that we want to hold between meta-theory and object-theory. We then outline a methodology in which reflection rules serve to deductively generate a meta-theory from its object theory. Finally, we apply this methodology and define a hierarchical meta-logic, namely a forma作者: irreparable 時(shí)間: 2025-3-23 23:13
Negation and control in automatically generated logic programs,ricted, without loss of generality, so that the only negated calls appearing in a program are unifications, as in [10]. If called nonground, these predicates are . in a logic programming language with a flexible execution rule. [10] presents proposals for automatically delaying calls to predicates u作者: 比喻好 時(shí)間: 2025-3-24 02:56
Transforming normal programs by replacement, correctness of the operation wrt Fitting‘s and Kunen‘s semantics. We show how replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too. Furthermore we characterize a transformation sequence for which the pres作者: irradicable 時(shí)間: 2025-3-24 09:32
Meta-programming for reordering literals in deductive databases,o given object programs, is an elegant technique for the transformation of logic programs. In this paper we show how to apply this technique to the compilation of . evaluation strategies for DATALOG with negation, and hence to query optimization in deductive databases. We demonstrate our approach on作者: habitat 時(shí)間: 2025-3-24 12:01 作者: pancreas 時(shí)間: 2025-3-24 18:08 作者: 貪婪的人 時(shí)間: 2025-3-24 22:32
Luis Fari?as del Cerro,Andreas Herziged by scholars engaged in the qualitative study of macro social phenomena, QCA acts as a bridge between the quantitative and the qualitative traditions. The QCA package for R, created by the author, facilitates QCA within a graphical user interface. This book provides the most current information on作者: Occupation 時(shí)間: 2025-3-24 23:21 作者: 清洗 時(shí)間: 2025-3-25 04:12
Jan Komorowskid during trips and the evaluation of these trips – can be affected by trip characteristics, such as the used travel mode and trip duration. In this study – analysing leisure trips of 1720 respondents living in the city of Ghent (Belgium) ? we do not only look at the effect of trip characteristics on作者: BLAND 時(shí)間: 2025-3-25 10:12
Danny De Schreye,Kristof Verschaetse welfare by taking this influence into account. To do this requires detailed knowledge of how travel influences satisfaction with life. Two routes of influence have been proposed and empirically confirmed, one through the facilitation of out-of-home activities that are important for satisfaction wit作者: 致敬 時(shí)間: 2025-3-25 15:13 作者: 弓箭 時(shí)間: 2025-3-25 16:23
A. Brogi,P. Mancarella,D. Pedreschi,F. Turiniport nodes), and control over and predictability of commuting. Research into commuting mode and stress has generated mixed results. The case study in this chapter used baseline survey data from a 3-year workplace travel plan intervention. Workplace travel plans aim to promote active and sustainable 作者: 細(xì)查 時(shí)間: 2025-3-25 23:46
Saumya K. Debrayploying smartphone location tracking to investigate the association between deteriorating mobility and wellbeing among individuals with chronic disease during daily activity. The locations of 36 patients with sickle cell disease, a genetic disorder that affects the production of hemoglobin, were tra作者: 半球 時(shí)間: 2025-3-26 02:17 作者: affinity 時(shí)間: 2025-3-26 08:09
Reem Bahgatated issues of the reliability, safety, and efficacy of the discoveries made, as well as the efficient and effective use of resources. The adoption of management models and tools can help scientists to improve their research, ensuring valuable, robust and dependable outcomes. Quality disciplines hav作者: 難理解 時(shí)間: 2025-3-26 10:30 作者: interference 時(shí)間: 2025-3-26 15:01
Danny De Schreye,Bern Martensng migration in, through and by means of the internet. As the so-called European refugee crisis demonstrates, the scale, intensities and types of transnational migration and digital networking have drastically changed in recent years. Information and communication technologies (ICTs) have fundamenta作者: 放牧 時(shí)間: 2025-3-26 18:13
Henning Christiansenon potential bias triggered by categorisation, case study selection, comparative designs (or an absence of a comparative design) and analysis methods is of essential importance. Given that political stakes and societal fears with regard to the topic of migration issues are very high, precision and c作者: 阻撓 時(shí)間: 2025-3-27 00:55
Piero A. Bonatti largely influences the validity and generalization of results. In contrast to random methods of sampling, the purposive character of case selection in qualitative research requires researchers reflecting systematically on which cases to select for their research. Most importantly researchers need t作者: TAG 時(shí)間: 2025-3-27 03:15 作者: Arteriography 時(shí)間: 2025-3-27 09:19
Geraint A Wigginswomen employed to establish influence and give counsel.IncluThe discourse of political counsel in early modern Europe depended on the participation of men, as both counsellors and counselled. Women were often thought too irrational or imprudent to give or receive political advice—but they did in unp作者: 觀察 時(shí)間: 2025-3-27 10:33 作者: 雕鏤 時(shí)間: 2025-3-27 17:33 作者: 頂點(diǎn) 時(shí)間: 2025-3-27 21:02 作者: BACLE 時(shí)間: 2025-3-27 22:05
ated had lower social support, experienced more barriers to access healthcare, and experienced more emotional distress. As a result, HRQOL was lower for the less acculturated Chinese elderly cancer survivors compared to those who were better acculturated.作者: 骨 時(shí)間: 2025-3-28 04:59
Peter G?rdenforsated had lower social support, experienced more barriers to access healthcare, and experienced more emotional distress. As a result, HRQOL was lower for the less acculturated Chinese elderly cancer survivors compared to those who were better acculturated.作者: 擴(kuò)大 時(shí)間: 2025-3-28 09:49 作者: FLIRT 時(shí)間: 2025-3-28 14:26 作者: BUDGE 時(shí)間: 2025-3-28 15:37 作者: 過(guò)度 時(shí)間: 2025-3-28 18:55 作者: Mumble 時(shí)間: 2025-3-29 00:20 作者: 無(wú)能性 時(shí)間: 2025-3-29 04:35 作者: 隱語(yǔ) 時(shí)間: 2025-3-29 10:29
I. Cervesato,G. F. Rossie some cases of fraud have been discovered and have led to the recall of the papers, in other cases the irreproducibility could be attributed to either improper data management and processing or—more broadly—lack of good experimentation management. A single example is reported in . [5]: a 2010 study作者: scoliosis 時(shí)間: 2025-3-29 13:01 作者: exophthalmos 時(shí)間: 2025-3-29 16:21 作者: COMA 時(shí)間: 2025-3-29 21:31
Danny De Schreye,Bern Martensgms of digital migration studies: (1) migrants in cyberspace; (2) everyday digital migrant life; (3) migrants as data. In the second half of the chapter, we offer the methodological research principles of relationality, adaptability and ethics-of-care to operationalize digital migration studies with作者: 浮雕 時(shí)間: 2025-3-30 01:05
Henning Christiansenesearch has its distinctive advantages, I will argue that choices in categorisation, case selection and research design are of crucial importance, perhaps even more in qualitative studies than in quantitative studies, even if in both methodological traditions we are confronted with similar challenge作者: 波動(dòng) 時(shí)間: 2025-3-30 05:30
Piero A. Bonatti migration research. Moreover, this chapter discusses the merits and disadvantages of these methods, in particular in relation to the previously addressed critiques toward migration research, most importantly methodological nationalism and overemphasizing ethnicity.作者: 暴行 時(shí)間: 2025-3-30 10:07
Fausto Giunchiglia,Luciano Serafini,Alex Simpson knowledge-based arguments, and political theory provides qualitative research with theoretically-founded arguments within liberal-democratic conceptual frameworks. To develop this particular focus, I propose to follow a conflict-based approach, since it is through conflict analysis that both develo作者: 和音 時(shí)間: 2025-3-30 15:00 作者: magnanimity 時(shí)間: 2025-3-30 19:25
Annalisa Bossi,Nicoletta Cocco,Sandro Etalleative sources to recover evidence of queenly counsel, from treatises and letters to poetry, masques and architecture. For scholars of history, politics and literature in early modern Europe, this book enriches our understanding of royal women as political actors..978-3-030-08337-3978-3-319-76974-5Series ISSN 2730-938X Series E-ISSN 2730-9398 作者: PLUMP 時(shí)間: 2025-3-30 21:07 作者: Cirrhosis 時(shí)間: 2025-3-31 03:28 作者: 白楊魚(yú) 時(shí)間: 2025-3-31 06:37 作者: Gentry 時(shí)間: 2025-3-31 12:39
0302-9743 weden,June 1992. The topicscovered include foundations of metaprogramming in logic,proposals for metaprogramming languages, techniques forknowledgerepresentation and belief systems, and programtransformation and analysisin logic.Particular topics include belief revision systems,intensionaldeduction,作者: MAZE 時(shí)間: 2025-3-31 17:14
Meta for modularising logic programming,ding the standard vanilla metainterpreter with new clauses. More importantly, the semantics of modules and module composition operators is defined in terms of the standard semantics of logic programming in a compositional way.作者: 核心 時(shí)間: 2025-3-31 17:35
