305 search results - page 13 / 61 » A Connectionist Framework for Reasoning: Reasoning with Exam... |
96
Voted
CL
2000
Springer
15 years 6 months ago
2000
Springer
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
136
Voted
FLOPS
1999
Springer
15 years 6 months ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
125
Voted
GIS
2000
ACM
15 years 1 months ago
2000
ACM
The advancement of GIS data models to allow the eOEective utilization of very large heterogeneous geographic databases requires a new approach that incorporates models of human cog...
127
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
126
Voted
EWCBR
2008
Springer
15 years 3 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...