Exact(2)
We then present sound and complete algorithms for the main reasoning problems in the new probabilistic description logics, which are based on reductions to reasoning in their classical counterparts, and to solving linear optimization problems.
For arbitrary dl-programs, we define answer sets by generalizing Gelfond and Lifschitz's notion of a transform, leading to a strong and a weak answer set semantics, which are based on reductions to the semantics of positive dl-programs and ordinary positive logic programs, respectively.
Similar(58)
The most versatile methods are based on reduction of metal salts with the presence of stabilizing and reducing agents in the water medium.
Most of the preparation techniques of the metal colloids are based on reduction of precursor metal ions in solution (aqueous or otherwise) in the presence of a stabilizing agent.
Current control strategies are based on reduction of tick infestation by chemical acaricides.
The belief screening prevents early deaths is based on reductions in disease-specific mortality rather than overall mortality, which should be the benchmark against which screening is judged, they argue.
The "Answer Set Programming Argumentation Reasoning Tool" [30] is based on reductions to ASP as discussed in Section 3.3.
The assay is based on reduction of the indicator dye, resazurin, to the highly fluorescent resorufin by viable cells.
Principal of the assay is based on reduction of the purple-colored radical DMPD+ (N,N-dimethyl-p-phenylendiamine) [13].
The metal's recovery process is based on reduction reactions, where metallurgical thermodynamics and kinetics are of a paramount importance.
The outcome assessment was based on reduction in pain, improvement in vertical dimension of mouth opening, and mandibular excursions.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com