3515 search results - page 485 / 703 » On the semantics of Strategy Logic |
202
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
220
click to vote
CADE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
214
Voted
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
220
click to vote
DAGSTUHL
2008
15 years 9 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
242
Voted
FOIS
2006
15 years 8 months ago
2006
Abstract. Across a wide range of domains, there is an urgent need for a wellfounded approach to incorporating uncertain and incomplete knowledge into formal domain ontologies. Alth...