In this paper a not too unrealistic example of analogical case-based reasoning is presented first. Then this example is analysed with the help of an existing model of case-based reasoning. After that the model is extended with a few more complex logical mechanisms known from general theories of legal argumentation. This extension turns out to allow for a number of new patterns of reasoning on a...

This paper presents a prototype of case-based reasoning, built for the agricultural domain. Its aim is to forecast the allocation of a new energy crop, the miscanthus. Interviews were conducted with french farmers in order to know how they make their decisions. Based on interview analysis, a case base and a rule base have been formalized, together with similarity and adaptation knowledge. Furth...

the present paper aims to refine the conditions of authority of ‘religionist conduct’ and its position among imamī evidences of inference. the study seeks to eliminate the shortcomings existing in former principle sources through collecting and disciplining relevant fragmented discussions. the first discussion explains the conditions of authority of religionist conduct based on a comparative ap...

Reasoning about the use of external resources is an important aspect many practical applications. Effect systems enable tracking such information in types, but at cost complicating signatures common functions. Capabilities coupled with escape analysis offer safety and natural signatures, are often overly coarse grained restrictive. We present System C, which builds on generalizes ideas from typ...

Recent research on graph neural network (GNN) models successfully applied GNNs to classical algorithms and combinatorial optimisation problems. This has numerous benefits, such as allowing applications of when preconditions are not satisfied, or reusing learned sufficient training data is available can't be generated. Unfortunately, a key hindrance these approaches their lack explainability, si...

Some important research problems within reasoning about beliefs are how to deal with incomplete, inaccurate or uncertain beliefs, when to ascribe beliefs and how to make reasoning about beliefs more common-sensical. We present two systems that attack such problems. The first, called CaseMent, uses case-based reasoning to reason about beliefs. It appears that using cases as opposed to roles has ...