Partial-order planning is an approach to automated planning that maintains a partial ordering between actions and only commits ordering between actions...

Planning is the process of thinking regarding the activities required to achieve a desired goal. Planning is based on foresight, the fundamental capacity...

Automated planning and scheduling, sometimes denoted as simply AI planning, is a branch of artificial intelligence that concerns the realization of strategies...

science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking or automated planning and scheduling...

declarative language based on classical first-order logic, with extensions for modal logic operators and higher-order logic quantification. CycL is used to represent...

matched to determine the order to execute them. In the final step, execute rules, the engine executes each matched rule in the order determined in step two...

using verification technology in many of their internal projects and is planning to include a logical specification and checking language in their 2012...

generalizations of frame languages, and are commonly based on either first-order logic or on description logic. Common Logic - and its dialects CycL DOGMA...

space planning is the process of deciding which parts of the state space the program will search, and in what order. The simplest classical planning (see...

more manageable sub-problems, solving each sub-problem and assembling the partial answers into one final answer. Another example general problem solver was...

States, where federal law describes an intact D&E on a live fetus as a partial-birth abortion, the procedure is uncommon. For example, in 2000, only 0...

in 1998: Strategy as plan – a directed course of action to achieve an intended set of goals; similar to the strategic planning concept; Strategy as pattern...

first-order logic (FO). It extends FO with types, aggregates (counting, summing, maximising ... over a set), arithmetic, inductive definitions, partial functions...

text summaries, ontologies, rules, querying, medical documentation and planning. Here are some simple examples: Every woman is a human. A woman is a human...

multi-agent planning involves coordinating the resources and activities of multiple agents. NASA says, "multiagent planning is concerned with planning by (and...

intelligence, preference-based planning is a form of automated planning and scheduling which focuses on producing plans that additionally satisfy as many...

traditional AI planning systems that generate a complete plan at the beginning, and replan if unexpected things happen, PRS interleaves planning and doing...

Wikisource has original text related to this article: Partial-Birth Abortion Ban Act of 2003 The Partial-Birth Abortion Ban Act of 2003 (Pub. L. 108–105 (text)...

In electrical engineering, partial discharge (PD) is a localized dielectric breakdown (DB) (which does not completely bridge the space between the two...

theorem provers in that they take as input and produce output via first-order logic. Classifiers originated with KL-ONE frame languages. They are increasingly...

The Planning Domain Definition Language (PDDL) is an attempt to standardize Artificial Intelligence (AI) planning languages. It was first developed by...

"Partial Terms of Endearment" is the 21st and final episode of the eighth season of the animated sitcom Family Guy. Directed by Joseph Lee and written...

The order allowed the Secretary to issue silver certificates, if any were needed, during the transition period under President Kennedy's plan to eliminate...

implementing it. This could be caused by procrastination by prolonging the planning activity. This is akin to analysis paralysis. As with any activity, there...

Economic order quantity (EOQ), also known as financial purchase quantity or economic buying quantity,[citation needed] is the order quantity that minimizes...

This is a partial list of temperature phenomena that have been labeled as heat waves, listed in order of occurrence. 1540 European drought - Extreme drought...

Human population planning is the practice of managing the growth rate of a human population. The practice, traditionally referred to as population control...

authoring system) an ambitious ICAI programming system featuring partial-order plans, used to train Con Edison steam plant operators. Before the 1944...

{\partial \ln \mathrm {B} (\alpha ,\beta )}{\partial \alpha }}=-{\frac {\partial \ln \Gamma (\alpha +\beta )}{\partial \alpha }}+{\frac {\partial \ln...

Stavka's war planning assumed that war against either Austria-Hungary or Germany would mean war against the other power. Although the plan allowed flexibility...