8232 search results - page 452 / 1647 » Dynamic Logic Programming |
299
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
173
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
177
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
159
click to vote
TABLEAUX
2005
Springer
16 years 10 days ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
172
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...