305 search results - page 41 / 61 » Can Description Logics Be Used in Real-Life Knowledge-Based ... |
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
TCS
2002
13 years 7 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
AMAST
2000
Springer
14 years 1 days ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
PERCOM
2009
ACM
14 years 8 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...