HEX programs extend logic programs with external computations through external atoms, whose answer sets are the minimal models of the FaberLeone-Pfeifer-reduct. As already reasoning from Horn programs with nonmonotonic external atoms of polynomial complexity is on the second level of the polynomial hierarchy, answer set checking needs special attention; simply computing reducts and searching fo...

OBJECTIVES The objectives of the review were (1) to evaluate the accuracy of implant-level impressions in cases with internal and external connection abutments/reconstructions, and (2) to evaluate the incidence of technical complications of internal and external connection metal- or zirconia-based abutments and single-implant reconstructions. MATERIALS AND METHODS A MEDLINE electronic search ...

PURPOSE To evaluate the influence of different implant numbers and connection types on the biomechanical behavior of mandibular full-arch implant-supported rehabilitation. MATERIALS AND METHODS Computed tomography-based finite element models comprising a totally edentulous mandible and 3.8 × 13-mmdiameter implants, abutments, abutment screws, bar retaining screw, and bar were constructed. Dif...

Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external atoms, which allow for a bidirectional communication between the logic program and external sources of computation (e.g., description logic reasoners and Web resources). Current solv...

HEX-programs enrich the well-known Answer Set Programming (ASP) paradigm. In HEX, problems are solved using nonmonotonic logic programs with bidirectional access to external sources. ASP evaluation is traditionally based on grounding the input program first, but recent advances in lazy-grounding make the latter also interesting for HEX, as the grounding bottleneck of ASP may be avoided. We expl...

Background and Aim: Maintaining the primary torque of the abutment screw is a common problem related to implant-supported restorations; a failure in this respect often leads to screw loosening. The abutment screw plays a critical role in the long-term stability of restorations. This study aimed to assess the effect of two abutment connection types with and without cyclic loading on removal torq...

Naturally occurring radioactive materials (NORMS) and fallout 137Cs were estimated in surface soils from the highly mineralized Singhbhum region of Eastern India. The activity concentrations varied from 50.67-109.14 Bq/kg (238U), 48.12142.55 Bq/kg (226Ra), 28.73-89.78 Bq/kg (232Th), 494.84-1121.36 Bq/kg (40K) and 1.8-7.48 Bq/kg (137Cs). Correlation between radionuclides was studied. 232Th/238U ...