24 search results - page 5 / 5 » deductive 1997 |
85
Voted
WSC
2008
15 years 16 days ago
2008
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
ICCS
1997
Springer
15 years 2 months ago
1997
Springer
The name of the system is \THE CG MARS LANDER", which stands forType Hierarchy Enhanced CGMatching And Retrieval SystemLinear Associative N-tuple Deductive Embedded Representa...
79
Voted
TAPSOFT
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
81
Voted
IJCAI
1997
14 years 11 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...