4817 search results - page 620 / 964 » Learning Models of Intelligent Agents |
189
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
191
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--While a number of modeling languages for constructing multiagent systems (MASs) have been suggested, none of them is widely accepted and used. A prominent reason for this...
198
click to vote
AAAI
1993
15 years 8 months ago
1993
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...
203
click to vote
AAAI
1990
15 years 7 months ago
1990
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
181
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
The stochastic equations of motion for a system of interacting rigid bodies in a solvent are formulated and studied. Three-dimensional bodies of arbitrary shape, with arbitrary cou...