標(biāo)題: Titlebook: Logics for Databases and Information Systems; Jan Chomicki,Gunter Saake Book 1998 Kluwer Academic Publishers 1998 concurrency.database.des [打印本頁(yè)] 作者: Callow 時(shí)間: 2025-3-21 19:41
書(shū)目名稱Logics for Databases and Information Systems影響因子(影響力)
書(shū)目名稱Logics for Databases and Information Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱Logics for Databases and Information Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Logics for Databases and Information Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Logics for Databases and Information Systems被引頻次
書(shū)目名稱Logics for Databases and Information Systems被引頻次學(xué)科排名
書(shū)目名稱Logics for Databases and Information Systems年度引用
書(shū)目名稱Logics for Databases and Information Systems年度引用學(xué)科排名
書(shū)目名稱Logics for Databases and Information Systems讀者反饋
書(shū)目名稱Logics for Databases and Information Systems讀者反饋學(xué)科排名
作者: NOTCH 時(shí)間: 2025-3-21 22:54
Logical Approaches to Incomplete Information: A Survey,formation) using tools derived from classical logic and modal logic. The focus of the paper is on models in which query processing is decidable. Theories dealing with the quantification of indefiniteness, such as probabilistic or fuzzy models of uncertainty, are not discussed.作者: epinephrine 時(shí)間: 2025-3-22 04:07 作者: FICE 時(shí)間: 2025-3-22 05:59 作者: CLEFT 時(shí)間: 2025-3-22 12:13 作者: 共和國(guó) 時(shí)間: 2025-3-22 16:06 作者: 演講 時(shí)間: 2025-3-22 17:49 作者: Albinism 時(shí)間: 2025-3-22 21:40
https://doi.org/10.1007/978-1-4615-5643-5concurrency; database; description logics; information; information system; programming; semantics作者: Innocence 時(shí)間: 2025-3-23 01:55 作者: thyroid-hormone 時(shí)間: 2025-3-23 07:08
Logics for Databases and Information Systems978-1-4615-5643-5Series ISSN 0893-3405 作者: Spartan 時(shí)間: 2025-3-23 10:16 作者: Substance 時(shí)間: 2025-3-23 15:02
A Logic Primer,This chapter is intended to provide the basic definitions of those logics which are used in several of the subsequent chapters. We have divided this introduction into three main parts.作者: 圖表證明 時(shí)間: 2025-3-23 21:37 作者: Limerick 時(shí)間: 2025-3-24 01:02
n Extraction). BOEMIE introduced a new approach towards the automation of knowledge acquisition from multimedia content. In particular, it developed and demonstrated the notion of evolving multimedia ontologies, which is used for the extraction, fusion and interpretation of information from content 作者: 適宜 時(shí)間: 2025-3-24 05:04
Jan Chomicki,Gunter Saakesumed in this chapter that the evaluation function, i.e. the function returning the estimation of a goodness of a given game position is of linear form, represented as a weighted sum of real-valued (usually binary or integer) features. This is the most common situation, encountered in almost all adv作者: lymphedema 時(shí)間: 2025-3-24 09:46 作者: 債務(wù) 時(shí)間: 2025-3-24 13:05 作者: cluster 時(shí)間: 2025-3-24 16:36
J.-J. Ch. Meyer,R. J. Wieringa,F. P. M. Dignum date back to 1,000 - 2,000 BC..Games also became a fascinating topic for Artificial Intelligence (AI). The first widely-known “AI approach” to mind games was noted as early as 1769 when Baron Wolfgang von Kempelen’s automaton chess player named . was presented at the court of Empress Maria Theresa.作者: 議程 時(shí)間: 2025-3-24 21:44 作者: Hyaluronic-Acid 時(shí)間: 2025-3-25 01:58 作者: 使熄滅 時(shí)間: 2025-3-25 03:19 作者: Cubicle 時(shí)間: 2025-3-25 07:38 作者: palliate 時(shí)間: 2025-3-25 13:13 作者: Aspiration 時(shí)間: 2025-3-25 17:33 作者: 不規(guī)則的跳動(dòng) 時(shí)間: 2025-3-25 23:53 作者: 充氣球 時(shí)間: 2025-3-26 01:46 作者: Grievance 時(shí)間: 2025-3-26 05:09 作者: Assemble 時(shí)間: 2025-3-26 09:55
Temporal Logic in Information Systems, Different variants of temporal logic use different sets of such connectives. In this chapter, we survey the fundamental varieties of temporal logic and describe their applications in information systems..Several features of temporal logic make it especially attractive as a query and integrity const作者: 放棄 時(shí)間: 2025-3-26 14:42
The Role of Deontic Logic in the Specification of Information Systems,ctly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called’ soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-d作者: 嚴(yán)峻考驗(yàn) 時(shí)間: 2025-3-26 18:53 作者: 未成熟 時(shí)間: 2025-3-26 21:34 作者: BLAZE 時(shí)間: 2025-3-27 04:24 作者: malign 時(shí)間: 2025-3-27 06:11 作者: otic-capsule 時(shí)間: 2025-3-27 10:12
Integrity Constraints: Semantics and Applications,initions for the semantics of integrity constraints are defined and compared. Additional types of constraints are also mentioned. Techniques of reasoning with integrity constraints, including model elimination and the residue method, are explained. Applications of integrity constraints considered in作者: ACRID 時(shí)間: 2025-3-27 14:47 作者: Postmenopause 時(shí)間: 2025-3-27 19:28
Declarative Frameworks for Inheritance,, and knowledge representation in artificial intelligence. Because of the close relationship between inheritance and deduction, logic is one of the obvious candidates for a declarative framework for inheritance. However, inheritance has resisted many serious attempts at a satisfactory logical rendit作者: exclusice 時(shí)間: 2025-3-28 00:34 作者: 周年紀(jì)念日 時(shí)間: 2025-3-28 02:40
m. Thus, in addition to annotating multimedia content with semantics, the extracted knowledge is used to expand our understanding of the domain and extract even more useful knowledge. The methods and technologies developed in BOEMIE were tested in the domain of athletics, using large sets of annotat作者: ensemble 時(shí)間: 2025-3-28 08:30 作者: 領(lǐng)帶 時(shí)間: 2025-3-28 10:33
Stefan Conrades in 1997 (chess: Deep Blue), 1994 (checkers: Chinook) and 1997 (Othello: Logistello), respectively. Among the most popular mind board games only Go remains as the last stronghold of human supremacy, but recent advances of the Monte Carlo UCT algorithm suggest that the human predominance over machi作者: 進(jìn)取心 時(shí)間: 2025-3-28 17:01 作者: giggle 時(shí)間: 2025-3-28 22:43
Anthony J. Bonner,Michael Kiferes in 1997 (chess: Deep Blue), 1994 (checkers: Chinook) and 1997 (Othello: Logistello), respectively. Among the most popular mind board games only Go remains as the last stronghold of human supremacy, but recent advances of the Monte Carlo UCT algorithm suggest that the human predominance over machi作者: 彎曲的人 時(shí)間: 2025-3-29 00:14 作者: 奇怪 時(shí)間: 2025-3-29 03:39
Diego Calvanese,Maurizio Lenzerini,Daniele Nardi, we explore differentiable reasoning methods, such as DrFact, for reasoning with semi-structured knowledge. Finally, we discuss the use of neural knowledge models, such as COMET and LLMs, for incorporating commonsense knowledge. We explore the generation of commonsense knowledge graphs using LLMs a作者: vasospasm 時(shí)間: 2025-3-29 07:45
Parke Godfrey,John Grant,Jarek Gryz,Jack Minkerwhich they throw themselves, yet displaying an order which is consistent rather than hierarchical. With this, the text reaches the point of atmospheric diffusion of the refrain. Atmosphere is a creative practice needed in order in turn to create the right conditions for further creativity. The text 作者: Antecedent 時(shí)間: 2025-3-29 11:44 作者: endarterectomy 時(shí)間: 2025-3-29 16:46
Laks V.S. Lakshmanan,Krishnaprasad Thirunarayanessive economic promotion of the city has contributed to exacerbating competition for space between economic activities and the emerging urban elite, giving rise to both a marked increase in housing market prices and social inequalities. The capacity of local government to mitigate these processes, 作者: Functional 時(shí)間: 2025-3-29 23:33 作者: Accomplish 時(shí)間: 2025-3-30 01:27 作者: PLUMP 時(shí)間: 2025-3-30 06:11 作者: 退出可食用 時(shí)間: 2025-3-30 11:17
Evolving Logical Specification in Information Systems, to model evolution of object axioms..The Syntax and semantics of .OSL are given together with a translation of the specification language constructs into .OSL. The corresponding proof theory is discussed together with guidelines for formally certifying object properties. Additionally, we show the u
