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.