In this paper we introduce the logic programming language Disjunctive Chronology which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of ex pressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs.
In this paper we introduce the logic programming language Disjunctive Chronology which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of ex pressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs.
作者:Christopher Hulme、Rose Mathew、Kevin Moriarty、Bruce Miller、Mercy Ramanjulu、Paul Cox、John Souness、Ken M. Page、Joanne Uhl、Jeffrey Travis、Richard Labaudiniere、Fu-chih Huang、Stevan W. Djuric
DOI:10.1016/s0960-894x(98)00572-1
日期:1998.11
and in vivo evaluation of a novel potent series of phosphodiesterase type (IV) (PDE4) inhibitors. Several of the compounds presented possess low nanomolar IC50's for PDE4 inhibition and excellent in vivo activity for inhibition of TNF-alpha levels in LPS challenged mice (mouse endotoxemia model). Emesis studies (dog) and efficacy in a SCW arthritis model for the most potent PDE4inhibitors are presented
In this paper we introduce the logic programming language Disjunctive Chronology which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of ex pressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs.