186 search results - page 5 / 38 » Guarded Hybrid Knowledge Bases |
DLOG
2007
13 years 9 months ago
2007
RTAS
2003
IEEE
14 years 8 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
EMSOFT
2005
Springer
14 years 16 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
TPLP
2010
13 years 5 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
PRICAI
1998
Springer
13 years 11 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...