624 search results - page 117 / 125 » Reasoning with Expressive Description Logics: Theory and Pra... |
ICSE
2000
IEEE-ACM
14 years 5 days ago
2000
IEEE-ACM
The fundamental goal of all good design and engineering is to create maximal value added for any given investment. There are many dimensions in which value can be assessed, from m...
CLIMA
2004
13 years 10 months ago
2004
Abstract. This paper deals with the issue of learning in multi-agent systems (MAS). Particularly, we are interested in BDI (Belief, Desire, Intention) agents. Despite the relevance...
FECS
2006
13 years 10 months ago
2006
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...