Titlebook: Rules and Reasoning; 6th International Jo Guido Governatori,Anni-Yasmin Turhan Conference proceedings 2022 The Editor(s) (if applicable) an

hexagon

书目名称Rules and Reasoning影响因子(影响力)




书目名称Rules and Reasoning影响因子(影响力)学科排名




书目名称Rules and Reasoning网络公开度




书目名称Rules and Reasoning网络公开度学科排名




书目名称Rules and Reasoning被引频次




书目名称Rules and Reasoning被引频次学科排名




书目名称Rules and Reasoning年度引用




书目名称Rules and Reasoning年度引用学科排名




书目名称Rules and Reasoning读者反馈




书目名称Rules and Reasoning读者反馈学科排名

修剪过的树篱

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..

生气地

采纳

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

在驾驶

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

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

Peristalsis

: 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

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.