Learn More
In recent years service‐orientation has increasingly been adopted as one of the main approaches for developing complex distributed systems out of reusable components called services. Realizing the potential benefits of this software engineering approach requires semi‐automated and automated techniques and tools for searching or (More)
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a domain independent system of axioms, written as an extended logic program, which deenes reasoning with prioritized defaults. These axioms are used in conjunction with a description(More)
In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (c-atoms). These approaches generalize the fixpoint-based and the level mapping based answer set semantics of normal logic programs to the case of logic programs with arbitrary types of c-atoms. The results are(More)
This technical note describes a monotone and continuous fixpoint operator to compute the answer sets of programs with aggregates. The fixpoint operator relies on the notion of aggregate solution. Under certain conditions, this operator behaves identically to the three-valued immediate consequence operator Φ P for aggregate programs, independently proposed(More)
We provide a new perspective on the semantics of logic programs with arbitrary abstract constraints. To this end, we introduce several notions of computation. We use the results of computations to specify answer sets of programs with constraints. We present the rationale behind the classes of computations we consider, and discuss the relationships among(More)
wyx+z:{Hz | } ~oz ?€? n} ‚ ƒ3„2€?…‡†:„@z‰ˆ+€?~Š} ‹ €?„2Œkƒ2€n„ ‹ z ?‹Ž†‰‚n} ….† ‘?z ~’‹ € † ˆ)„@€??} +z „B€?ƒo~Šz „2n} “”z ~ – |+€?‹ xa} ‚)ƒ3€?„2….† ‹ } €?‚ -prov } )} ‚)‘•~Šz”„2n} “”z ~Š– † ‚? ~Šz „2?} “—z ~B‹ xn†‰‹ x+† ?z~Š€n…’z˜z ƒ ƒ3z “”‹ €?‚^‹ x?z™ €?„@ ?š wy€?+† Œ ›2~:{Hz |•™j†—~ )z ~œ} ‘?‚+z Bˆ+„3} ….†‰„3}7 Œoƒ2€?„ x+)….†(More)