hexagon
发表于 2025-3-21 18:42:15
书目名称Rules and Reasoning影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0832064<br><br> <br><br>书目名称Rules and Reasoning读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0832064<br><br> <br><br>
修剪过的树篱
发表于 2025-3-21 23:11:24
Conference proceedings 2022ted from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation..
生气地
发表于 2025-3-22 01:28:43
http://reply.papertrans.cn/84/8321/832064/832064_3.png
采纳
发表于 2025-3-22 08:09:31
Seminaïve Materialisation in DatalogMTLnstance is considered at most once during the execution of the algorithm. Our experiments show that our optimised seminaïve strategy for DatalogMTL is able to significantly reduce materialisation times.
inspired
发表于 2025-3-22 09:57:36
http://reply.papertrans.cn/84/8321/832064/832064_5.png
在驾驶
发表于 2025-3-22 16:13:37
The Stream Reasoning System ,: Enhancements and Applications in Smart Citiesg incremental evaluations. In this paper, we present a new and optimized version of . that features an improved management of parallel computations and communications between Flink and .-., along with new linguistic extensions aiming at allowing its effective application in smart city scenarios.
CAGE
发表于 2025-3-22 21:04:27
From Defeasible Logic to Counterfactual Reasoning’ is satisfied in a state ., change the state . minimally to include ., and test whether . is satisfied in the resulting state". In this paper we study how to model this idea in Defeasible Logic for devising logics for counterfactual reasoning and suitable selection function models.
sulcus
发表于 2025-3-23 00:17:28
http://reply.papertrans.cn/84/8321/832064/832064_8.png
Peristalsis
发表于 2025-3-23 04:18:51
: A System for Probabilistic Reasoning in Clingo Based on ties. The core of . amounts to a re-implementation of . in terms of modern ASP technology, extended by an approximation technique based on a new method for answer set enumeration in the order of optimality. We evaluate .’s performance empirically by comparing it to other probabilistic systems.
ROOF
发表于 2025-3-23 05:40:50
KLM-Style Defeasibility for Restricted First-Order Logicre, we then propose a version of defeasible entailment that is inspired by the well-known notion of Rational Closure as it is defined for defeasible propositional logic and defeasible description logics. We show that this form of defeasible entailment is rational in the sense that it adheres to the full set of rationality postulates.