Lin and Zhao’s theorem on loop formulas states that in the propositional case the stable model semantics of a logic program can be completely characterized by propositional loop formulas, but this result does not fully carry over to the first-order case. We investigate the precise relationship between the first-order stable model semantics and first-order loop formulas, and study conditions und...

the removal of cd2+ and pb2+ ions from wastewater using p-tert-butyl-calix[4] arene was investigated in terms of initial ph, initial concentration, adsorbent dosage, contact time and temperature. the maximum adsorption occurred at the ph value of 6. the adsorbent studied exhibits high efficiency for cd (ii)and pb (ii) adsorption and the equilibrium states could be achieved in 10 min. adsorption...

in the current investigation a novel nano hybrid adsorbent mcm-41/n-(3-trimethoxysilyl)-propyl)diethylenetriamine (mcm-41/tmspdeta) was prepared and was characterized using dls (dynamic light scattering), fourier transform infrared (ftir), x-ray diffraction (xrd), brunauer–emmett–teller (bet) analytical techniques and transmission electron microscopy (tem). the synthesized mcm-41/tmspdeta adsor...

Linear resolution with selection function (SL.resolution) is a restricted form of linear resolution. The main restriction is e~ected by a selection function which chooses fro:~ each clause a sit, gle literal to be resolved upon in that clause. This and other restrictions are adapted to linear resolution from Loveland's model elimination. We show that SL-resolution achieves a substantial reducti...