Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Rational Closure"”.
-
Defeasible justification for the KLM Framework
… form of defeasible entailment, known as rational closure. Classical justifications are computed based on materialised formulas (classical counterparts of defeasible formulas). The resulting classical justifications are converted to defeasible justifications based on the input knowledge …
-
Universal Localization and Group Cohomology
… is not necessarily commutative, its division and rational closures coincide. Second, for an infinite discrete group G, we investigate group cohomology and homology with coefficients in lp(G). We prove that if G is of type FPn, then all its homology and cohomology groups up to n are either zero or …
-
A Lightweight Defeasible Description Logic in Depth
… for preferential (propositional) logics and Rational Closure (RC). The biggest advantages of RC are its well-behaviour in terms of formal inference postulates and the efficient computation of defeasible entailments, by relying on a tractable reduction to classical reasoning in the underlying …