Results 301 to 307 of about 241,667 (307)

Semantical Analysis of Logic of Actions

Journal of Logic and Computation, 1995
Summary: It is shown that the validity questions in propositional temporal logic of actions can be translated into validity questions of a temporal logic and vice versa. In particular, actions of propositional temporal logic of actions can be equivalently replaced by propositional symbols.
Michael Tiomkin, Michael Kaminski
openaire   +2 more sources

Semantic and pragmatic integration in vision for action

Consciousness and Cognition, 2017
According to an influential view, the detection of action possibilities and the selection of a plan for action are two segregated steps throughout the processing of visual information. This classical approach is committed with the assumption that two independent types of processing underlie visual perception: the semantic one, which is at the service ...
ZIPOLI CAIANI, SILVANO, Ferretti, Gabriele   +1 more
openaire   +4 more sources

Action semantics for defining dynamic semantics of modeling languages

Proceedings of the Third Workshop on Behavioural Modelling, 2011
Most languages in Model Driven Engineering (MDE) are defined by metamodels. Metamodels specify the structural aspects of models but do not capture the computational meaning of the modeling constructs (the dynamic semantics). There are several semantic definition frameworks used for programming languages. In this paper we study the suitability of Action
Gijs Stuurman, Ivan Kurtev
openaire   +2 more sources

ACTION TYPES IN STIT SEMANTICS

The Review of Symbolic Logic, 2017
AbstractStit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so.
Eric Pacuit, John F. Horty
openaire   +2 more sources

Action Semantic Descriptions

1992
openaire   +2 more sources

Visualizing action semantics

Proceedings of the 1995 ACM 23rd annual conference on Computer science - CSC '95, 1995
openaire   +1 more source

A Vector Semantics for Actions

1992
openaire   +1 more source