We study action rule based systems with two forms of negation, namely classical negation and \negation as failure to nd a course of actions". We show by several examples that adding negation as failure to such systems increase their expressiveness, in the sense that real life problems can be represented in a natural and simple way. Then, we address the problem of providing a formal declarative ...

SuperNEMO takes advantage of the tracking calorimetry technique successfully used by NEMO3. This technique reduces the backgrounds and allows for excellent discrimination of different 0νββ mechanisms. SuperNEMO can simultaneously observe different double beta emitters, 48Ca, 82Se and 150Nd are currently under consideration. The demonstrator will employ 7~kg of enriched 82Se shaped in thin foil ...

introduction: in the current study, we evaluated the feasibility of body outlining using tc-99m filled flood source for lymphoscintigraphy imaging. methods: 80 patients were included in the study. sentinel node mapping was done using tc-99m antimony sulfide colloid. for outlining the body a tc-99m filled flood source was used which was placed behind or lateral to the patients for anterior and ...

introdouction: the major demand for orthodontic treatment is associated with esthetic complaints rather than with the severity of occlusal irregularities. this study evaluated the relationship between orthodontic treatment need based on index of complexity, outcome, and need (icon) and orthodontic- specific quality of life (qol) among high school students in shiraz. materials and methods: based...

A system for production of WEB based teaching material is described. The system, called LENO, takes its starting point in the production of slides, but in its current form it covers a broader need. We argue that a dedicated lecture notes system for the WEB is preferable to a more general presentation tools, such as Powerpoint. LENO is based on single sourcing ideas in order to avoid duplication...

A system for production of WEB based teaching material is described. The system, called LENO, takes its starting point in the production of slides, but in its current form it covers a broader need. We argue that a dedicated lecture notes system for the WEB is preferable to a more general presentation tools, such as Powerpoint. LENO is based on single sourcing ideas in order to avoid duplication...

A system for production of WEB based teaching material is described. The system, called LENO, takes its starting point in the production of slides, but in its current form it covers a broader need. We argue that a dedicated lecture notes system for the WEB is preferable to a more general presentation tools, such as Powerpoint. LENO is based on single sourcing ideas in order to avoid duplication...

There are obvious reasons for trying to automate the production of multilingual documents. Among them are the rapidly growing need for such documents, the high cost and low availability of good translators, and the fact that translators often need more time than is available to produce good multilingual versions. These problems are compounded when equivalent versions of a document are needed in...