1917 search results - page 58 / 384 » Experimenting with Nonmonotonic Reasoning |
ENTCS
2007
13 years 10 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
WCE
2007
13 years 11 months ago
2007
— Although experimentation is a frequent activity of engineers, they usually use primitive strategies to carry on their experiments. A survey identifies the needs of using an eff...
ACE
2003
13 years 11 months ago
2003
This is an analysis of the computer generated feedback from an industry certification course, as taught as part of a university unit. A method for extracting useful information fr...
LPNMR
2011
Springer
13 years 26 days ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
MPC
1998
Springer
14 years 2 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...