The main result of this paper is the following theorem: each modal logic extending K4 having the branching property below m and the effective m-drop point property is decidable with respect to ...
This is a preview. Log in through your library . Journal Information Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; ...
Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules from ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback