5130 search results - page 966 / 1026 » Constraint Query Languages |
ACL
1990
15 years 9 days ago
1990
according to this definition2. Each elementary tree is constrained to have at least one terminal at its frontier which serves as 'head' (or 'anchor'). Sentence...
107
click to vote
ATAL
2009
Springer
15 years 8 days ago
2009
Springer
Abstract. Workflows represent the coordination requirements of various distributed operations in an organisation; workflows neatly capture business processes, and are particularly ...
ATAL
2010
Springer
15 years 8 days ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
CCIA
2009
Springer
15 years 8 days ago
2009
Springer
Acronyms are widely used in many domains to abbreviate and stress important concepts. Due to its dynamicity and unbounded nature, manual attempts to compose a global scale reposito...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...