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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Mercury is a sequential satisficing planner that favorably competed in the International Planning Competition (IPC) 2014. Mercury… 
2014
2014
Red-black planning is a systematic approach to partial delete relaxation, taking into account some of the delete effects: Red… 
1996
1996
The author has recently introduced a meta-level speciication for non-monotonic theories which has default theories , normal logic…