Prioritized logic programming has illustrated its rich expres-siveness and exibility in knowledge representation and reasoning. However , some important aspects of prioritized logic programs have yet to be thoroughly explored. In this paper, we investigate several properties of prioritized logic programs in the context of answer set semantics. Specifically , we propose a characterization on the...

conclusions intravenous acetaminophen reduced pain following outpatient urological surgery more significantly than meperidine. patients and methods in a prospective, randomized, double-blind clinical trial, 100 outpatients of urological surgery were studied in two groups of acetaminophen (a) and meperidine (m). patients in group a received 1g of acetaminophen in 100 ml saline within 15 minutes ...

a quasi. experimental study was conducted to investigate the antagonistic effect of flumazenil on the   recovery of patients above the age 50 year from anaesthesia receiving benzodiazepine products in one of   iran medical sciences university hospital's operating rooms .   a total of sixty middle aged patients were selected sequentially . thirty of them (12 females and 18 males )   were in...

Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics. Specifically, we reveal a close relationship between...

Modern computer games demand real-time simultaneous control of multiple agents. Learning real-time search, which interleaves planning and acting, allows agents to both learn from experience and respond quickly. Such algorithms require no prior knowledge of the environment and can be deployed without pre-processing. We introduce PrioritizedLRTA*, an algorithm based on Prioritized Sweeping. This ...

The Multiple Criteria Decision Aiding (MCDA) has been a fast growing area of operations research and management science during the last decades, while the PROMETHEE (Preference Ranking Organization Method for Enrichment Evaluations) is one of the well-known MCDA methods with ranking the alternatives from the best to the worst. In this paper, we propose a new outranking method called Prioritized...

In this article we explore multiple change operators, that is, operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, in which both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of p...