Sciweavers

1242 search results - page 68 / 249
» Towards Context-Sensitive Intelligence
Sort
View
AIMSA
2000
Springer
14 years 1 months ago
Steps towards C+C: A Language for Interactions
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
Stefano A. Cerri, Jean Sallantin, Emmanuel Castro,...
ECAL
1999
Springer
14 years 1 months ago
Framsticks: Towards a Simulation of a Nature-Like World, Creatures and Evolution
In this paper we describe our attempt to create a nature-like simulation model of artificial creatures. The model includes physical simulation of creatures, their interaction with ...
Maciej Komosinski, Szymon Ulatowski
TABLEAUX
1999
Springer
14 years 1 months ago
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
Stéphane Demri
ECAI
1992
Springer
14 years 1 months ago
Towards a Cooperation Knowledge Level For Collaborative Problem Solving
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
Nicholas R. Jennings
DIAGRAMS
2010
Springer
14 years 29 days ago
Toward a Physics of Equations
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
David Landy