546 search results - page 39 / 110 » An Action Semantics for MML |
106
click to vote
EPIA
2005
Springer
15 years 7 months ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
109
click to vote
AAAI
2008
15 years 4 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
107
click to vote
MOBIQUITOUS
2005
IEEE
15 years 7 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
115
click to vote
CONCUR
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...