3429 search results - page 437 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
115
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
A power describes the ability of an agent to act in some way. While this notion of power is critical in the context of organisational dynamics, and has been studied by others in t...
131
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
112
click to vote
AIPS
1996
15 years 5 months ago
1996
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
135
click to vote
NGC
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...