4617 search results - page 485 / 924 » Automation of Diagrammatic Reasoning |
355
click to vote
CL
2012
Springer
13 years 9 months ago
2012
Springer
In object-oriented systems, runtime memory is composed of an object graph in which objects refer to other objects. This graph of objects evolves while the system is running. Graph...
210
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
170
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
172
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...
168
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Case-based problem-solving systems reason and learn from experiences, building up case libraries of problems and solutions to guide future reasoning. The expected bene ts of this l...