1581 search results - page 19 / 317 » Mechanizing Inductive Reasoning |
133
click to vote
IWAR
1992
15 years 26 days ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
113
click to vote
SKG
2005
IEEE
15 years 5 months ago
2005
IEEE
: Fuzzy Cognitive Maps (FCMs) can represent and reason causal knowledge with stronger semantics. And the causal knowledge widely exists in Knowledge Grid. To provide information se...
109
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics, and graphs...
CI
2002
14 years 11 months ago
2002
We address long-term coalitions that are formed of both customer and vendor agents. We present a coalition formation mechanism designed at the agent level as a decision problem. Th...
101
click to vote
ICONIP
2009
14 years 9 months ago
2009
Malware (Malicious Software) of Windows OS has become more sophisticated. To take some countermeasures for recent infection, more intelligent and automated system log analysis is n...