標(biāo)題: Titlebook: Logics in Artificial Intelligence; European Workshop, J Manuel Ojeda-Aciego,Inma P. Guzmán,Luís Pereira Conference proceedings 2000 Springe [打印本頁] 作者: bile-acids 時(shí)間: 2025-3-21 19:46
書目名稱Logics in Artificial Intelligence影響因子(影響力)
書目名稱Logics in Artificial Intelligence影響因子(影響力)學(xué)科排名
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logics in Artificial Intelligence被引頻次
書目名稱Logics in Artificial Intelligence被引頻次學(xué)科排名
書目名稱Logics in Artificial Intelligence年度引用
書目名稱Logics in Artificial Intelligence年度引用學(xué)科排名
書目名稱Logics in Artificial Intelligence讀者反饋
書目名稱Logics in Artificial Intelligence讀者反饋學(xué)科排名
作者: FLIP 時(shí)間: 2025-3-21 23:04 作者: nugatory 時(shí)間: 2025-3-22 03:26
Holger Sturm,Nobu-Yuki Suzuki,Frank Wolter,Michael Zakharyaschev作者: 損壞 時(shí)間: 2025-3-22 07:09
Manuel Ojeda-Aciego,Inma P. Guzmán,Luís PereiraIncludes supplementary material: 作者: aptitude 時(shí)間: 2025-3-22 11:14
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588180.jpg作者: 包租車船 時(shí)間: 2025-3-22 13:08
The , Approach: Integrating Object Oriented Design and Formal VerificationThis paper reports on the ongoing KeY project aimed at bridging the gap between (a) object-oriented software engineering methods and tools and (b) deductive verification. A distinctive feature of our approach is the use of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.作者: Inculcate 時(shí)間: 2025-3-22 17:27 作者: VAN 時(shí)間: 2025-3-22 23:00
Logics in Artificial Intelligence978-3-540-40006-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 諂媚于性 時(shí)間: 2025-3-23 04:12
0302-9743 Overview: Includes supplementary material: 978-3-540-41131-4978-3-540-40006-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 陶醉 時(shí)間: 2025-3-23 08:21 作者: ostracize 時(shí)間: 2025-3-23 12:27 作者: 退潮 時(shí)間: 2025-3-23 17:40
Semi-qualitative Reasoning about Distances: A Preliminary Reportlexity of the satisfiability problem for formulas in our languages ranges from NP-completeness to undecidability and depends on the class of distance spaces in which they are interpreted. Besides the class of all metric spaces, we consider, for example, the spaces ? × ? and ? × ? with their natural metrics.作者: 死亡率 時(shí)間: 2025-3-23 19:51 作者: 不愛防注射 時(shí)間: 2025-3-24 00:05
‘On Being Informed’: Update Logics for Knowledge Statesof logic as a provider of static ‘truth conditions’. But it can be modelled rather nicely in so-called ‘update logics’, which have been developed since the 1980s. These systems provide a fresh look at standard logic, letting the usual models undergo suitable changes as agents absorb the content of s作者: Affable 時(shí)間: 2025-3-24 04:41 作者: Allowance 時(shí)間: 2025-3-24 09:39
Semi-qualitative Reasoning about Distances: A Preliminary Reportst language can speak only about distances between individual objects and Boolean relations between sets, the more expressive ones are capable of capturing notions such as ‘somewhere in (or somewhere out of) the sphere of a certain radius’, ‘everywhere in a certain ring’, etc. The computational comp作者: Contracture 時(shí)間: 2025-3-24 11:28 作者: Bumble 時(shí)間: 2025-3-24 15:28
Consuelo Thiers,Leslie E. Wehnerregnant women.Includes supplementary material: The phenomenon of bleeding has been shown to appear in up to 22% of all pregnancies and is associated with significant maternal and fetal morbidities, and even mortality.Although vaginal bleeding occurs mainly during the first trimester, it can appear a作者: vanquish 時(shí)間: 2025-3-24 22:39 作者: 沒有貧窮 時(shí)間: 2025-3-25 00:29
Ebru Cilbir,Suayib Yalcinur, and trafficking in the international legal framework. While international and European instruments provide definitions of slavery, forced labour, and trafficking, the boundaries between these legal concepts are porous. Institutional attention at both international and national levels on the issu作者: Cholecystokinin 時(shí)間: 2025-3-25 06:10 作者: 兇兆 時(shí)間: 2025-3-25 09:46 作者: PARA 時(shí)間: 2025-3-25 12:16
Generalised Rule Mininged algorithms. Rules can be much more diverse, useful and interesting! This work introduces and solves the ... (GRM) problem, which abstracts rule mining, removes restrictions on the semantics of rules and redefines rule mining by functions on vectors. This also lends to an interesting geometric int作者: otic-capsule 時(shí)間: 2025-3-25 19:31 作者: 榨取 時(shí)間: 2025-3-25 22:28
Improvement of Ensemble Kalman Filter for Hypersonic Target Tracking,racking model uncertainty to be non-Gaussian. Focus on the tracking filter for non-Gaussian targets, non-Gaussian deterministic sample generation strategy and processing algorithm are designed to improve the performance of ensemble Kalman filter. According to the distribution characteristics of mode作者: 爵士樂 時(shí)間: 2025-3-26 01:45 作者: 大都市 時(shí)間: 2025-3-26 06:25
2523-8248 ed.Develops an approach to design and continuously improve uThis book presents international experiences in urban network learning. It is vital for cities to learn as it is necessary to constantly adapt and improve public performance and address complex challenges in a constantly?changing environmen作者: lattice 時(shí)間: 2025-3-26 11:03 作者: Maximizer 時(shí)間: 2025-3-26 14:05 作者: 冬眠 時(shí)間: 2025-3-26 17:09 作者: ENDOW 時(shí)間: 2025-3-26 22:16 作者: installment 時(shí)間: 2025-3-27 02:59 作者: Density 時(shí)間: 2025-3-27 06:24
R. N. Westavoiding known pitfalls..?.Essential and easy to use, .RNA Abundance Analysis: Methods and Protocols. provides a comprehensive set of techniques and methods on isolating and analyzing mRNAs, small RNAs, and mod978-1-4939-5916-7978-1-61779-839-9Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: fulmination 時(shí)間: 2025-3-27 12:05 作者: obtuse 時(shí)間: 2025-3-27 17:32 作者: MORPH 時(shí)間: 2025-3-27 17:50
Christoph Kawanon with that planet’s gravitational field to rotate the orbit plane such that it entered into a solar orbit inclined at?～?80. to the ecliptic. A description of the instrument complement is given in Astronomy and Astrophysics Supplement Series, ., 1992. An overview of the results from .?may be found
