2385 search results - page 206 / 477 » Knowledge Refinement for a Design System |
142
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
141
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
158
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Interacting with intelligent systems in general and ambient intelligent systems in particular, requires that these systems have the ability to build a trust relationship with the u...
128
click to vote
IJCAI
1989
15 years 5 months ago
1989
The developmentof reasoning systems that can reason and plan in a continuously changing environment is emerging as an important area of research in Arti cial Intelligence. Thispap...
119
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...