4767 search results - page 321 / 954 » Structures for Abstract Rewriting |
179
click to vote
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
170
click to vote
AMC
2011
14 years 10 months ago
2011
We study regularity of mild and strong solutions for an abstract mathematical model of a flexible space structure under appropriate initial conditions. We apply our results showin...
205
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an ex...
178
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
179
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...