標(biāo)題: Titlebook: Logics in Artificial Intelligence; 17th European Confer Wolfgang Faber,Gerhard Friedrich,Michael Morak Conference proceedings 2021 Springer [打印本頁(yè)] 作者: 二足動(dòng)物 時(shí)間: 2025-3-21 17:27
書目名稱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é)科排名
作者: 性冷淡 時(shí)間: 2025-3-21 21:06 作者: JUST 時(shí)間: 2025-3-22 00:52 作者: ALTER 時(shí)間: 2025-3-22 07:04 作者: 神秘 時(shí)間: 2025-3-22 11:06
Jonas Haldimann,Kai Sauerwald,Martin von Berg,Gabriele Kern-Isberner,Christoph Beierlessen, die in der Vergangenheit in einen depressiven Rückfall geführt haben, wird dabei besondere Aufmerksamkeit gewidmet. Die gemeinsame Erarbeitung eines individuellen Prozessmodells ist deshalb so wichtig, weil Patienten die Anregungen aus einer Therapie nur dann aufgreifen, wenn sie ein überzeuge作者: synovium 時(shí)間: 2025-3-22 13:01 作者: 吸引人的花招 時(shí)間: 2025-3-22 19:35 作者: 遠(yuǎn)地點(diǎn) 時(shí)間: 2025-3-22 22:45 作者: GOAT 時(shí)間: 2025-3-23 04:51 作者: cloture 時(shí)間: 2025-3-23 08:37
Stefania Costantini,Andrea Formisano,Valentina Pitonier psycholinguistischer Untersuchungen des Deutschen sind Gegenstand der folgenden Ausführungen. Diesen Ausführungen — wie der gesamten Arbeit im Passauer Projekt — übergeordnet ist die Frage nach dem Zusammenhang zwischen Grammatik und Verarbeitungsmechanismus.作者: CHURL 時(shí)間: 2025-3-23 10:18 作者: 吞吞吐吐 時(shí)間: 2025-3-23 16:34
Foyers (Schottland) betrachtet hatte, überraschte ihn die Wahrnehmung nach oben bewegter Felsen, als er seinen Blick vom Fall abwandte. Der Beobachter erf?hrt eine irritierende perzeptuelle Dissoziation zwischen wahrgenommener Position und Bewegung – ein Beleg dafür, dass unsere Wahrnehmung von Bewe作者: 察覺(jué) 時(shí)間: 2025-3-23 18:17
Manuel Bodirsky,Johannes Greinergsmethode arbeitenden Wissenschaftler ihr Hauptaugenmerk lediglich auf Studien und Ergebnisse legen, die mit derselben Methode erhoben wurden (Fellows et al. 2005). Tats?chlich aber hat jede der verschiedenen Techniken ihre ganz spezifischen St?rken und Schw?chen, die sich gegenseitig erg?nzen und n作者: fructose 時(shí)間: 2025-3-24 00:05
K. Subramani,Piotr WojciechowskiFoyers (Schottland) betrachtet hatte, überraschte ihn die Wahrnehmung nach oben bewegter Felsen, als er seinen Blick vom Fall abwandte. Der Beobachter erf?hrt eine irritierende perzeptuelle Dissoziation zwischen wahrgenommener Position und Bewegung – ein Beleg dafür, dass unsere Wahrnehmung von Bewe作者: 加花粗鄙人 時(shí)間: 2025-3-24 02:31 作者: monologue 時(shí)間: 2025-3-24 09:11
Conditional Descriptor Revision and Its Modelling by a CSPast to previous work, we cover the full descriptor language over conditionals closed under conjunction, disjunction, and negation. We also line out an implementation of conditional descriptor revision based on its CSP representation. Since propositional logic can be embedded into conditional logic, 作者: 珍奇 時(shí)間: 2025-3-24 14:11 作者: 察覺(jué) 時(shí)間: 2025-3-24 17:02 作者: Insul島 時(shí)間: 2025-3-24 22:26 作者: 構(gòu)想 時(shí)間: 2025-3-25 02:03 作者: Stricture 時(shí)間: 2025-3-25 07:15
Fabio Gadducci,Francesco Santinientwickelt...Die Arbeit wurde mit dem 2. Platz in der Kategorie “BVM/VM?-Nachwuchsforscher des Jahres 2009 der Deutschen Marktforschung ausgezeichnet..978-3-8349-1492-7978-3-8349-9480-6Series ISSN 2628-2062 Series E-ISSN 2628-2070 作者: 河潭 時(shí)間: 2025-3-25 11:03 作者: Constitution 時(shí)間: 2025-3-25 12:23 作者: Expediency 時(shí)間: 2025-3-25 16:07 作者: Urea508 時(shí)間: 2025-3-25 23:28
https://doi.org/10.1007/978-3-030-75775-5artificial intelligence; logic; intelligent agents; argumentation; belief revision; reasoning about actio作者: LUDE 時(shí)間: 2025-3-26 02:03 作者: 博識(shí) 時(shí)間: 2025-3-26 08:15 作者: 軟弱 時(shí)間: 2025-3-26 10:19
Computing Defeasible Meta-logica we just alluded to has been investigated, but not from a computational viewpoint. Our aim is to fill this gap by introducing a variant of DL, Defeasible Meta-Logic, to represent defeasible meta-theories, by proposing efficient algorithms to compute the (meta-)extensions of such theories, and by proving their computational complexity.作者: Affection 時(shí)間: 2025-3-26 15:48 作者: MERIT 時(shí)間: 2025-3-26 18:47
Tractable Combinations of Theories via Samplingtion problem for the union of two theories with disjoint relational signatures. To this end, we introduce the concept of sampling for theories and show that samplings can be applied to examples which are not covered by the seminal result of Nelson and Oppen.作者: 開玩笑 時(shí)間: 2025-3-26 23:04 作者: 露天歷史劇 時(shí)間: 2025-3-27 03:20 作者: 愛(ài)管閑事 時(shí)間: 2025-3-27 08:08 作者: 竊喜 時(shí)間: 2025-3-27 10:35 作者: Venules 時(shí)間: 2025-3-27 16:13
Probabilistic Argumentation: An Approach Based on Conditional Probability –A Preliminary Report–defeasible rules quantified with conditional probabilities. We then discuss corresponding notions of attack and defeat relations between arguments, providing a basis for appropriate acceptability semantics, e.g. based on extensions or on DeLP-style dialogical trees.作者: ear-canal 時(shí)間: 2025-3-27 20:11 作者: 非實(shí)體 時(shí)間: 2025-3-28 00:40
An Epistemic Logic for Multi-agent Systems with Budget and Costshave available in order to perform actions. The focus is on modeling the group dynamics of cooperative agents: if an agent of a group performs an action, that action to be considered as performed by the whole group, and the group can support a component agent in performing actions not affordable by that agent alone.作者: Middle-Ear 時(shí)間: 2025-3-28 02:24 作者: 注入 時(shí)間: 2025-3-28 06:49 作者: 織布機(jī) 時(shí)間: 2025-3-28 14:02 作者: corpus-callosum 時(shí)間: 2025-3-28 16:36
Probabilistic Argumentation: An Approach Based on Conditional Probability –A Preliminary Report–s relation is not fully conclusive, a natural choice is to model the argument strength with the conditional probability of the conclusion given the support. In this paper, using a very simple language with conditionals, we explore a framework for probabilistic logic-based argumentation based on an e作者: demote 時(shí)間: 2025-3-28 18:52 作者: Dendritic-Cells 時(shí)間: 2025-3-29 00:25 作者: adequate-intake 時(shí)間: 2025-3-29 04:05 作者: Granular 時(shí)間: 2025-3-29 10:29
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Seeveloped for the reasoning from and for the revision of belief bases with respect to syntax splitting. Kern-Isberner and Brewka introduced syntax splitting for epistemic states and iterated belief revision. Only recently, syntax splitting has also been studied for contractions and iterated contracti作者: 場(chǎng)所 時(shí)間: 2025-3-29 13:22 作者: 側(cè)面左右 時(shí)間: 2025-3-29 18:33
Epistemic Reasoning About Rationality and Bids in Auctionsd bounded rationality. To do so, we extend the Auction Description Language with an epistemic operator and an action choice operator and use it to represent a classical auction where agents have imperfect information about other agents’ valuations. We formalize bounded rationality concepts in iterat作者: 領(lǐng)先 時(shí)間: 2025-3-29 22:03 作者: GROVE 時(shí)間: 2025-3-30 03:54
Analyzing Unit Read-Once Refutations in Difference Constraint Systemsifference constraint is a linear relationship of the form: . and a DCS is a conjunction of such constraints. DCSs arise in a number of application domains such as program verification and scheduling. It follows that efficient refutation methodologies for these systems are of paramount interest. The 作者: crutch 時(shí)間: 2025-3-30 05:53 作者: 修正案 時(shí)間: 2025-3-30 11:00 作者: 粗糙 時(shí)間: 2025-3-30 14:37
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logicson these objects (such as numerical comparisons) when defining concepts. To retain decidability when integrating a concrete domain into a decidable DL, the domain must satisfy quite strong restrictions. In previous work, we have analyzed the most prominent such condition, called .-admissibility, fro作者: Predigest 時(shí)間: 2025-3-30 16:47
Wolfgang Dvo?ák,Matthias K?nig,Stefan Woltran anzubinden. Ausgangspunkt der überlegungen sind die Annahmen einer begrenzten menschlichen Informationsverarbeitungskapazit?t und einer netzwerkartigen Verknüpfung des kognitiven Systems, durch die prinzipiell jede Kognition mit jeder anderen in Beziehung steht. Will man aus der Theorie der kogniti作者: 殘廢的火焰 時(shí)間: 2025-3-31 00:28 作者: 鍵琴 時(shí)間: 2025-3-31 03:06
Pilar Dellunde,Lluís Godo,Amanda Vidalung zum Patienten herstellen zu k?nnen. Darüber hinaus ist eine angemessene Aufkl?rung über das bestehende St?rungsbild, die Symptomatik, den Verlauf sowie die Entstehung der Depression wichtig. Zentral für eine erfolgreiche Erhaltungstherapie ist auch die Analyse früherer und aktueller Risikofaktor作者: 相符 時(shí)間: 2025-3-31 08:59 作者: braggadocio 時(shí)間: 2025-3-31 10:55
