Sciweavers

3191 search results - page 518 / 639
» Qualitative Modeling in Education
Sort
View
CORR
2004
Springer
129views Education» more  CORR 2004»
13 years 8 months ago
On Generalized Records and Spatial Conjunction in Role Logic
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
Viktor Kuncak, Martin C. Rinard
CORR
2004
Springer
191views Education» more  CORR 2004»
13 years 8 months ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio
CORR
2000
Springer
91views Education» more  CORR 2000»
13 years 8 months ago
Multi-Agent Only Knowing
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Joseph Y. Halpern, Gerhard Lakemeyer
CORR
2000
Springer
96views Education» more  CORR 2000»
13 years 8 months ago
Robustness of Regional Matching Scheme over Global Matching Scheme
Analyzing the effect of concentrated noise on a typical decision-making process of a simplified two-candidate voting model, we have demonstrated that a local approach using a regi...
Liang Chen, Naoyuki Tokuda
CORR
2000
Springer
92views Education» more  CORR 2000»
13 years 8 months ago
Predicting the expected behavior of agents that learn about agents: the CLRI framework
We describe a framework and equations used to model and predict the behavior of multi-agent systems (MASs) with learning agents. A difference equation is used for calculating the ...
José M. Vidal, Edmund H. Durfee