標(biāo)題: Titlebook: Logics in Artificial Intelligence; 16th European Confer Francesco Calimeri,Nicola Leone,Marco Manna Conference proceedings 2019 Springer Na [打印本頁] 作者: Baleful 時(shí)間: 2025-3-21 16: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é)科排名
作者: FLACK 時(shí)間: 2025-3-21 21:10 作者: 招待 時(shí)間: 2025-3-22 04:24
Vadalog: Recent Advances and Applicationsvances and applications, with a focus on the Vadalog language itself. We first give an easy-to-access self-contained introduction to Warded Datalog+/?, the logical core of Vadalog. We then discuss some recent advances: Datalog rewritability of Warded Datalog+/?, and the piece-wise linear fragment of作者: Libido 時(shí)間: 2025-3-22 07:10 作者: 吹牛需要藝術(shù) 時(shí)間: 2025-3-22 09:47
A Possible World View and a Normal Form for the Constellation Semanticsbe more complex or real life situations. Several of these approaches take the direction of weighted or probabilistic extensions. One of the most prominent probabilistic approaches is that of constellation Probabilistic Abstract Argumentation Frameworks..In this paper, we introduce the probabilistic 作者: installment 時(shí)間: 2025-3-22 14:42
Well-Foundedness in Weighted Argumentation Frameworksinally provided by P. M. Dung in his pioneering work. We generalise it by considering sequences of . sets, instead of a plain sequence of arguments: such sets include all the arguments attacking a previous set in the sequence. By using a parametric framework based on an algebraic structure, we are a作者: 堅(jiān)毅 時(shí)間: 2025-3-22 19:06 作者: Esalate 時(shí)間: 2025-3-22 21:55 作者: 比目魚 時(shí)間: 2025-3-23 04:25
Preprocessing Argumentation Frameworks via Replacement Patternsng argumentation. In particular, numerous systems for abstract argumentation frameworks (AF solvers) are available today, covering several argumentation semantics and reasoning tasks. Instead of proposing another algorithmic approach for AF solving, we introduce in this paper distinct AF preprocessi作者: Anthology 時(shí)間: 2025-3-23 07:58 作者: 認(rèn)識(shí) 時(shí)間: 2025-3-23 13:42 作者: FLAIL 時(shí)間: 2025-3-23 17:05 作者: 匯總 時(shí)間: 2025-3-23 22:00 作者: Tortuous 時(shí)間: 2025-3-23 23:13
Typed Meta-interpretive Learning of Logic Programsthat adding types to MIL can improve learning performance. We show that type checking can reduce the MIL hypothesis space by a cubic factor. We introduce two typed MIL systems: Metagol. and HEXMIL., implemented in Prolog and Answer Set Programming (ASP), respectively. Both systems support polymorphi作者: 變白 時(shí)間: 2025-3-24 03:51
Explaining Actual Causation in Terms of Possible Causal Processeschanisms in the domain and the causal processes that result from them. Another is knowledge of what conditions trigger such mechanisms and what conditions can make them fail..We argue that to solve questions of actual causation, such knowledge needs to be made explicit. To this end, we develop a new作者: inspiration 時(shí)間: 2025-3-24 09:20 作者: EWER 時(shí)間: 2025-3-24 13:53
Advancements in Resource-Driven Substructural Defeasible Logicg with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, and we discuss the design choices.作者: Custodian 時(shí)間: 2025-3-24 16:35
978-3-030-19569-4Springer Nature Switzerland AG 2019作者: omnibus 時(shí)間: 2025-3-24 22:41
Logics in Artificial Intelligence978-3-030-19570-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 良心 時(shí)間: 2025-3-25 00:31
Advancements in Resource-Driven Substructural Defeasible Logicg with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, and we discuss the design choices.作者: TRAWL 時(shí)間: 2025-3-25 06:19 作者: 種族被根除 時(shí)間: 2025-3-25 10:08
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588190.jpg作者: 輕信 時(shí)間: 2025-3-25 14:45 作者: 敏捷 時(shí)間: 2025-3-25 16:37
María Alpuente,Demis Ballis,Angel Cuenca-Ortega,Santiago Escobar,José Meseguer作者: chassis 時(shí)間: 2025-3-25 23:27 作者: GRATE 時(shí)間: 2025-3-26 02:07 作者: notification 時(shí)間: 2025-3-26 05:04 作者: 冷淡周邊 時(shí)間: 2025-3-26 10:52 作者: Alveoli 時(shí)間: 2025-3-26 15:11
Manipulating Skeptical and Credulous Consequences When Merging Beliefsresenting its true position. Our results apply when the goal of such an agent is either that of (i) affecting an atom’s skeptical or credulous acceptance status, or (ii) improving its satisfaction with the result. With respect to latter task, we extend existing work on manipulation with new satisfac作者: 凈禮 時(shí)間: 2025-3-26 18:45
erpentin?l dreht auch rechts. Dieses ?l, und zwar der Balsam selbst, wird zum L?utern der Weine in Griechenland benutzt. Das vom Wein abgesch?pfte ?l ist dann ?fter stark gelb gef?rbt und riecht nach Wein, die F?rbung ist durch Destillieren zu beseitigen. über asiatische ?le siehe Tabelle 104, Fu?no作者: 陪審團(tuán) 時(shí)間: 2025-3-26 21:35
Vadalog: Recent Advances and Applications Warded Datalog+/? that achieves space efficiency. We then proceed with some recent practical applications of the Vadalog language: detection of close links in financial knowledge graphs, as well as the detection of family-owned businesses.作者: EXALT 時(shí)間: 2025-3-27 04:51 作者: lesion 時(shí)間: 2025-3-27 08:53 作者: Carbon-Monoxide 時(shí)間: 2025-3-27 10:54 作者: Ankylo- 時(shí)間: 2025-3-27 16:41
0302-9743 usal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic..978-3-030-19569-4978-3-030-19570-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 機(jī)密 時(shí)間: 2025-3-27 20:58 作者: 土產(chǎn) 時(shí)間: 2025-3-28 00:22 作者: 和平 時(shí)間: 2025-3-28 02:05 作者: indubitable 時(shí)間: 2025-3-28 09:10
Typed Meta-interpretive Learning of Logic Programsuce two typed MIL systems: Metagol. and HEXMIL., implemented in Prolog and Answer Set Programming (ASP), respectively. Both systems support polymorphic types and can infer the types of invented predicates. Our experimental results show that types can substantially reduce learning times.作者: inferno 時(shí)間: 2025-3-28 14:13
Conference proceedings 2019 contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic..作者: OVER 時(shí)間: 2025-3-28 14:51
Preprocessing Argumentation Frameworks via Replacement Patternsterns to perform local simplifications that are faithful with respect to standard semantics for AFs. Moreover, we provide a collection of concrete replacement patterns. Towards potential applicability, we employ the patterns in a preliminary empirical evaluation of their influence on AF solver performance.作者: 薄荷醇 時(shí)間: 2025-3-28 21:09 作者: Meditative 時(shí)間: 2025-3-29 01:04 作者: 我不明白 時(shí)間: 2025-3-29 05:13
Explaining Actual Causation in Terms of Possible Causal Processesn in which various “production” notions of actual causation are defined. Contrary to counterfactual definitions, these notions are defined directly in terms of the (formal) causal process that causes the possible world.作者: 情節(jié)劇 時(shí)間: 2025-3-29 10:09 作者: Paradox 時(shí)間: 2025-3-29 11:50
7樓作者: eustachian-tube 時(shí)間: 2025-3-29 15:49
7樓作者: calumniate 時(shí)間: 2025-3-29 22:04
7樓作者: 用手捏 時(shí)間: 2025-3-30 01:17
8樓作者: HALO 時(shí)間: 2025-3-30 06:54
8樓作者: 使高興 時(shí)間: 2025-3-30 08:48
8樓作者: Finasteride 時(shí)間: 2025-3-30 15:10
8樓作者: Limpid 時(shí)間: 2025-3-30 19:56
9樓作者: reject 時(shí)間: 2025-3-31 00:40
9樓作者: 冒失 時(shí)間: 2025-3-31 02:52
9樓作者: 攝取 時(shí)間: 2025-3-31 05:57
9樓作者: 違法事實(shí) 時(shí)間: 2025-3-31 10:13
10樓作者: 平躺 時(shí)間: 2025-3-31 15:13
10樓作者: Engaged 時(shí)間: 2025-3-31 18:45
10樓作者: cogitate 時(shí)間: 2025-3-31 22:56
10樓
