Results 231 to 240 of about 2,908,703 (283)

Alternating Fixpoint Theory for Logic Programs with Priority

, 2000
van Gelder's alternating fixpoint theory has proven to be a very useful tool for unifying and characterizing various semantics for logic programs without priority. In this paper we propose an extension of van Gelder's alternating fixpoint theory and show that it can be used as a general semantic framework for logic programs with priority. Specifically,
Wang, Kewen, Zhou, Lizhu, Lin, Fangzhen
openaire   +4 more sources

Some of the next articles are maybe not open access.

Related searches:

Agent programming with priorities and deadlines

International Joint Conference on Autonomous Agents and Multiagent Systems, 2011
We present AgentSpeak(RT), a real-time BDI agent programming language based on AgentSpeak(L). AgentSpeak(RT) extends AgentSpeak intentions with deadlines which specify the time by which the agent should respond to an event, and priorities which specify the relative importance of responding to a particular event.
Konstantin Vikhorev, Natasha Alechina, Brian Logan 0001   +2 more
openaire   +2 more sources

Priorities in Renal Replacement Programs

The International Journal of Artificial Organs, 2002
The various alternative programs in renal replacement therapy have precise meritocratic ranking which unfortunately is still largely ideal today. New directions and scientific plans (bioartificial kidney, new immunomodulators, gene therapy) have to be followed to make today's ideal ranking become reality.
openaire   +2 more sources

Identifying Program Priorities

2013
A clear understanding of local conditions—particularly the priorities of people who experience stigma—is required in order to target a program and set meaningful objectives. This chapter discusses selected qualitative and quantitative approaches that can be used to assess local priorities and needs.
Heather Stuart, Julio Arboleda-Flórez, Norman Sartorius   +2 more
openaire   +1 more source

Dealing with Priorities and Locks for Concurrent Programs

2017
In this paper, we consider the backward reachability problem of multi-threaded programs where the threads have priorities, can be synchronized using locks and are scheduled by a priority based round-robin scheduler. For that, we extend the well known Dynamic Pushdown Network model with priorities and locks (called PL-DPN).
Marcio Diaz, Tayssir Touili
openaire   +1 more source

Establishing Academic Program Priorities

The Journal of Higher Education, 1978
(1978). Establishing Academic Program Priorities. The Journal of Higher Education: Vol. 49, No. 5, pp. 472-488.
Robert C. Shirley, J. Fredericks Volkwein   +1 more
openaire   +1 more source

National Priorities in the Artificial Kidney Program

Biomaterials, Medical Devices, and Artificial Organs, 1974
(1974). National Priorities in the Artificial Kidney Program. Biomaterials, Medical Devices, and Artificial Organs: Vol. 2, No. 4, pp. 311-319.
openaire   +2 more sources

Priorities and Values in Accountability Programs

Canadian Journal of Program Evaluation, 2001
Abstract: The authors examine relationships among three principal elements of educational accountability: assessment of achievement, collection of educational indicators, and setting of educational policy, using a Venn diagram to portray interactions among the three.
Philip Nagy, Christina van Barneveld, Henk Demeris   +2 more
openaire   +1 more source

The Low Priority Program Request

Public Administration Review, 1975
This is a difficult and sometimes terrifying communique, and it comes from many sources. The President, the Office of Management and Budget, Congress, even governors and state legislators all ask for the identification of low priority programs: those that are outdated, are not achieving their objectives, or even those which have achieved their ...
openaire   +1 more source