10568 search results - page 586 / 2114 » Computer Intelligence and Formalization |
147
click to vote
PROMAS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
154
click to vote
ICTAI
2005
IEEE
16 years 8 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
162
Voted
AIED
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
175
Voted
AIIA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
165
click to vote
AIME
2005
Springer
16 years 6 days ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...