• Publications
  • Influence
Strongly equivalent logic programs
A logic program <inline-equation><f><g>P</g><subscrpt>1</subscrpt></f> </inline-equation> is said to be equivalent to a logic programExpand
  • 497
  • 61
Phosphorylation of Nedd4‐2 by Sgk1 regulates epithelial Na+ channel cell surface expression
The epithelial Na+ channel (ENaC) plays an essential role in the regulation of whole body Na+ balance and blood pressure. The cell surface expression of this channel, a complex of three subunits (α,Expand
  • 641
  • 38
Multiple corticosteroid receptors in a teleost fish: distinct sequences, expression patterns, and transcriptional activities.
Corticosteroid hormones, including the mineralocorticoids and the glucocorticoids, regulate diverse physiological functions in vertebrates. These hormones act through two classes of corticosteroidExpand
  • 244
  • 38
Epithelial sodium channel regulated by aldosterone-induced protein sgk.
Sodium homeostasis in terrestrial and freshwater vertebrates is controlled by the corticosteroid hormones, principally aldosterone, which stimulate electrogenic Na+ absorption in tight epithelia.Expand
  • 699
  • 34
A New Logical Characterisation of Stable Models and Answer Sets
  • D. Pearce
  • Computer Science
  • 5 September 1996
This paper relates inference in extended logic programming with nonclassical, nonmonotonic logics. We define a nonmonotonic logic, called equilibrium logic, based on the least constructive extension,Expand
  • 248
  • 27
SGK integrates insulin and mineralocorticoid regulation of epithelial sodium transport.
The epithelial Na+ channel (ENaC) constitutes the rate-limiting step for Na+ transport across tight epithelia and is the principal target of hormonal regulation, particularly by insulin andExpand
  • 216
  • 21
Equilibrium logic
  • D. Pearce
  • Computer Science
  • Annals of Mathematics and Artificial Intelligence
  • 1 June 2006
Equilibrium logic is a general purpose nonmonotonic reasoning formalism closely aligned with answer set programming (ASP). In particular it provides a logical foundation for ASP as well as anExpand
  • 145
  • 20
Rictor/TORC2 Regulates Caenorhabditis elegans Fat Storage, Body Size, and Development through sgk-1
The target of rapamycin (TOR) kinase coordinately regulates fundamental metabolic and cellular processes to support growth, proliferation, survival, and differentiation, and consequently it has beenExpand
  • 169
  • 17
Aldosterone induces rapid apical translocation of ENaC in early portion of renal collecting system: possible role of SGK.
Aldosterone controls sodium reabsorption and potassium secretion in the aldosterone-sensitive distal nephron (ASDN). Although clearance measurements have shown that aldosterone induces theseExpand
  • 365
  • 14