Sciweavers

10568 search results - page 24 / 2114
» Computer Intelligence and Formalization
Sort
View
65
Voted
IMPERIAL
1993
15 years 3 months ago
Geometric Logic in Computer Science
Steven Vickers
ATAL
2010
Springer
15 years 28 days ago
Adversarial planning for large multi-agent simulations
We investigate planning for self-interested agents in large multi-agent simulations. We present two heuristic algorithms that exploit different domain-specific properties in order...
Viliam Lisý
ECAI
1998
Springer
15 years 4 months ago
Algebraic Topology for Knowledge Representation in Analogy Solving
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
Erika Valencia, Jean-Louis Giavitto, Jean-Paul San...