10568 search results - page 509 / 2114 » Computer Intelligence and Formalization |
163
click to vote
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
150
click to vote
IAT
2009
IEEE
16 years 24 days ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
136
click to vote
AIED
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. This paper presents a methodology for automatically customizing a scenario to suit a learner’s abilities, needs, or goals. Training scenarios are often utilized to give...
156
click to vote
AIME
2007
Springer
16 years 7 days ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
194
click to vote
AUSAI
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...