286 search results - page 14 / 58 » A calculus of atomic actions |
IDA
2009
Springer
13 years 6 months ago
2009
Springer
A new method for action potentials detection is proposed. The method is based on a numerical differentiation, as recently introduced from operational calculus. We show that it has ...
EPIA
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
KI
2007
Springer
14 years 2 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...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...