Skip to search formSkip to main contentSkip to account menu

Regular semantics

Regular semantics is a computing term which describes one type of guarantee provided by a data register shared by several processors in a parallel… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Atomic semanticsReal-time computingSafe semanticsShared register

Broader (1)

Concurrency control

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Good Old Mercury Planner
Mercury is a sequential satisficing planner that favorably competed in the International Planning Competition (IPC) 2014. Mercury… 
2014
2014
Pushing the Limits of Partial Delete Relaxation : Red-Black DAG Heuristics
Red-black planning is a systematic approach to partial delete relaxation, taking into account some of the delete effects: Red… 
2013
2013
Red-Black Relaxed Plan Heuristics
Despite its success, the delete relaxation has significant pitfalls. Recent work has devised the red-black planning framework… 
2013
2013
Who Said We Need to Relax All Variables?
Despite its success in both satisficing and optimal planning, thedelete relaxation has significant pitfalls in many important… 
2013
2013
Red-Black Relaxed Plan Heuristics Reloaded
Despite its success, the delete relaxation has significant pitfalls. In an attempt to overcome these pitfalls, recent work… 
1996
1996
On Abstracting Decision Procedures for Non-monotonic Reasoning
The author has recently introduced a meta-level speciication for non-monotonic theories which has default theories , normal logic… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)