Sciweavers

10568 search results - page 24 / 2114
» Computer Intelligence and Formalization
Sort
View
106
Voted
ICFCA
2009
Springer
15 years 9 months ago
Some Computational Problems Related to Pseudo-intents
Baris Sertkaya
82
Voted
IMPERIAL
1993
15 years 6 months ago
Geometric Logic in Computer Science
Steven Vickers
ATAL
2010
Springer
15 years 3 months 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ý
128
Voted
ECAI
1998
Springer
15 years 7 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...