標(biāo)題: Titlebook: Logics in Artificial Intelligence; 12th European Confer Tomi Janhunen,Ilkka Niemel? Conference proceedings 2010 Springer-Verlag Heidelberg [打印本頁(yè)] 作者: 生動(dòng) 時(shí)間: 2025-3-21 16:15
書(shū)目名稱Logics in Artificial Intelligence影響因子(影響力)
書(shū)目名稱Logics in Artificial Intelligence影響因子(影響力)學(xué)科排名
書(shū)目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Logics in Artificial Intelligence被引頻次
書(shū)目名稱Logics in Artificial Intelligence被引頻次學(xué)科排名
書(shū)目名稱Logics in Artificial Intelligence年度引用
書(shū)目名稱Logics in Artificial Intelligence年度引用學(xué)科排名
書(shū)目名稱Logics in Artificial Intelligence讀者反饋
書(shū)目名稱Logics in Artificial Intelligence讀者反饋學(xué)科排名
作者: Facet-Joints 時(shí)間: 2025-3-21 22:13 作者: 消極詞匯 時(shí)間: 2025-3-22 00:29
Parametrized Logic Programminge show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.作者: EVICT 時(shí)間: 2025-3-22 08:21 作者: Ptsd429 時(shí)間: 2025-3-22 12:39 作者: 看法等 時(shí)間: 2025-3-22 15:55
A Logical Semantics for Description Logic Programsducts. Here we extend the concept of .-model to encompass dl-programs. As an application we characterise some logical relations between dl-programs, by mating the idea of .-equivalence with the concept of query inseparability taken from description logics.作者: spinal-stenosis 時(shí)間: 2025-3-22 18:19 作者: engagement 時(shí)間: 2025-3-22 23:50
Decomposition of Distributed Nonmonotonic Multi-Context Systems be minimized. We then present a novel evaluation algorithm that operates on a query plan which is compiled with topology pruning and interface minimization. The effectiveness of the optimization techniques is demonstrated by a prototype implementation, which uses an off-the-shelf SAT solver and shows encouraging experimental results.作者: GEST 時(shí)間: 2025-3-23 02:29
A Normal Form for Linear Temporal Equilibrium Logica set of implications (embraced by a necessity operator) quite close to logic program rules. This normal form may be useful both for a practical implementation of TEL and a simpler analysis of theoretical problems.作者: 祖先 時(shí)間: 2025-3-23 09:21 作者: 騷擾 時(shí)間: 2025-3-23 12:49
: A Context Description Logic in this logic, as well as in its proper fragment . with global TBoxes and local roles, is .-complete. Hence, the surprising conclusion is that the significant increase in the expressiveness of . due to adding the vocabulary comes for no substantial price in terms of its worst-case complexity.作者: jet-lag 時(shí)間: 2025-3-23 16:20
Nonmonotonic Tools for Argumentation acceptance conditions for nodes. We present the basic underlying definitions and give an example illustrating why they are useful. More precisely, we show how they can be used to provide a semantical foundation for Gordon, Prakken and Walton’s Carneades model of argumentation, lifting the limitation of this model to acyclic argument graphs.作者: 證實(shí) 時(shí)間: 2025-3-23 18:32
Counter Systems for Data Logicscounter systems (including counter automata with errors, vector addition systems with states, etc.). This is the opportunity to provide an overview about the relationships between data logics and verification problems for counter systems.作者: flammable 時(shí)間: 2025-3-24 00:06
Extensional Higher-Order Logic Programming. We also propose an SLD-resolution proof procedure which is sound and complete with respect to the minimum model semantics. In other words, we provide a purely extensional theoretical framework for higher-order logic programming which generalizes the familiar theory of classical (first-order) logic programming.作者: 鎮(zhèn)痛劑 時(shí)間: 2025-3-24 04:32
978-3-642-15674-8Springer-Verlag Heidelberg 2010作者: Efflorescent 時(shí)間: 2025-3-24 08:07 作者: fender 時(shí)間: 2025-3-24 11:10
0302-9743 Overview: 978-3-642-15674-8978-3-642-15675-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 銼屑 時(shí)間: 2025-3-24 18:51 作者: 額外的事 時(shí)間: 2025-3-24 21:15 作者: 實(shí)施生效 時(shí)間: 2025-3-25 00:47 作者: 仔細(xì)檢查 時(shí)間: 2025-3-25 07:16
https://doi.org/10.1007/978-3-642-15675-5AI logic; Argumentation; Extension; algorithms; artificial intelligence; description logic; epistemic logi作者: sinoatrial-node 時(shí)間: 2025-3-25 09:53
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588185.jpg作者: Macronutrients 時(shí)間: 2025-3-25 11:50 作者: 正常 時(shí)間: 2025-3-25 16:48 作者: configuration 時(shí)間: 2025-3-25 21:19
Counter Systems for Data Logicstems, timed words, etc.). In this survey talk, we shall see how satisfiability problems for such data logics are related to reachability problems for counter systems (including counter automata with errors, vector addition systems with states, etc.). This is the opportunity to provide an overview ab作者: FLASK 時(shí)間: 2025-3-26 02:25
Similarity-Based Inconsistency-Tolerant Logicsirable, and practically useful, to refine such logics in a way that inconsistency does not cause the derivation of any formula, and, at the same time, inferences with respect to consistent premises are not affected. In this paper, we introduce a general method of doing so by incorporating preference作者: 修飾 時(shí)間: 2025-3-26 07:37 作者: Negligible 時(shí)間: 2025-3-26 09:46 作者: 鉆孔 時(shí)間: 2025-3-26 15:09
A Decidable Constructive Description Logiche DLs setting problems that have a consolidate tradition in constructive logics. In this paper we introduce a constructive description logic for the language of . based on the Kripke semantics for Intuitionistic Logic. Moreover we give a tableau calculus and we show that it is sound, complete and t作者: 600 時(shí)間: 2025-3-26 18:23
A Normal Form for Linear Temporal Equilibrium Logiclogic programs to arbitrary theories in the syntax of Linear Temporal Logic. It has already been shown that, in the non-temporal case, arbitrary propositional theories can always be reduced to logic program rules (with disjunction and negation in the head) independently on the context. That is, logi作者: Tracheotomy 時(shí)間: 2025-3-27 00:42
Rational Closure for Defeasible Description Logicsised by means of a simple method in the context of propositional logic. We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this case.作者: Extemporize 時(shí)間: 2025-3-27 02:14
Extensional Higher-Order Logic Programmingwhich is the greatest lower bound of all Herbrand models of the program and the least fixed-point of the immediate consequence operator of the program. We also propose an SLD-resolution proof procedure which is sound and complete with respect to the minimum model semantics. In other words, we provid作者: Respond 時(shí)間: 2025-3-27 07:33 作者: anthesis 時(shí)間: 2025-3-27 11:27
Sets of Boolean Connectives That Make Argumentation Easiernsistent subset of a given knowledge base which has to entail the claim .. In most scenarios, arguments are given in the full language of classical propositional logic which makes reasoning in such frameworks a computationally costly task. For instance, the problem of deciding whether there exists a作者: 謊言 時(shí)間: 2025-3-27 13:53 作者: 掃興 時(shí)間: 2025-3-27 20:05 作者: 無(wú)禮回復(fù) 時(shí)間: 2025-3-27 23:20 作者: Noisome 時(shí)間: 2025-3-28 02:27
An Incremental Answer Set Programming Based System for Finite ModelComputationng advantage of a recent extension of Answer Set Programming (ASP), called incremental Answer Set Programming (iASP). The idea is to use the incremental parameter in iASP programs to account for the domain size of a model. The FMC problem is then successively addressed for increasing domain sizes un作者: Digitalis 時(shí)間: 2025-3-28 07:36 作者: Aids209 時(shí)間: 2025-3-28 11:48
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscriptioneories, but its propositional version has also been the subject of extensive research, having been shown equivalent to extended closed world assumption (ECWA). Moreover, entailment in propositional circumscription is a well-known example of a decision problem in the second level of the polynomial hi作者: 嫌惡 時(shí)間: 2025-3-28 16:35 作者: SHOCK 時(shí)間: 2025-3-28 21:30 作者: 王得到 時(shí)間: 2025-3-29 01:23
Gerhard Brewkaürfnisse von Kindern und Jugendlichen mit zus?tzlichen Sitzu.Dieses verhaltenstherapeutische Therapiemanual hat zum Ziel, depressive Jugendliche aus ihrer Passivit?t und Hoffnungslosigkeit herauszurei?en und in eine aktivere Haltung zu bringen, aus der heraus L?sungen und Handlungsalternativen m?gli作者: 立即 時(shí)間: 2025-3-29 03:06 作者: 大猩猩 時(shí)間: 2025-3-29 08:20 作者: Ingredient 時(shí)間: 2025-3-29 12:07 作者: placebo-effect 時(shí)間: 2025-3-29 16:00 作者: Arthropathy 時(shí)間: 2025-3-29 20:57
Pedro Cabalar zuweilen nehmen diese Krankheits?ngste Formen an, bei denen Betroffene sich kaum auf ihren Alltag konzentrieren k?nnen und sich nur noch durch ?rztliche Rückversicherung vorübergehend beruhigen k?nnen. Massive und andauernde Krankheits?ngste sind eine ernstzunehmende psychische St?rung, die mit gro作者: 提煉 時(shí)間: 2025-3-30 01:36 作者: 反話 時(shí)間: 2025-3-30 04:54
Angelos Charalambidis,Konstantinos Handjopoulos,Panos Rondogiannis,William W. Wadgeatienten.Alle Arbeits- und Informationsbl?tter online zum Au.Das Behandlungsmanual gibt Psychotherapeuten eine umfassende Anleitung zum Umgang mit krankheits?ngstlichen Patienten. Von ?rzten und Psychotherapeuten wird diese Klientel zum Teil als schwierig empfunden – umso wichtiger ist die fachkundi作者: palpitate 時(shí)間: 2025-3-30 08:17
Michael Fink,David Pearcesofortigen Nutzung.Includes supplementary material: .Organisiert – gut durchführbar – klar strukturiert.Das vorliegende Therapiemanual bietet einen praxisnahen Einstieg in ein wissenschaftlich evaluiertes, kognitiv-verhaltenstherapeutisches Behandlungskonzept für Patienten mit somatoformen Beschwerd作者: 完成 時(shí)間: 2025-3-30 14:38 作者: 報(bào)復(fù) 時(shí)間: 2025-3-30 20:24 作者: ethnology 時(shí)間: 2025-3-30 23:54 作者: nautical 時(shí)間: 2025-3-31 03:09 作者: majestic 時(shí)間: 2025-3-31 07:27 作者: reject 時(shí)間: 2025-3-31 11:22 作者: 華而不實(shí) 時(shí)間: 2025-3-31 15:39
Ofer Arieli,Anna Zamansky- Kapitel 1-3 geben einen kurzen überblick über theoretische Hintergründe und den derzeitigen Stand der Therapieforschung im Bereich der Kinder- und Jugenddepression..- Kapitel 4 und 5 beschreiben die Struktur 978-3-642-29791-5作者: 施舍 時(shí)間: 2025-3-31 19:12 作者: 裂隙 時(shí)間: 2025-4-1 01:18
