882 search results - page 29 / 177 » A Taste of Rewrite Systems |
128
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
The following theorem of Huet and L
102
Voted
AI
2000
Springer
15 years 4 months ago
2000
Springer
Domain independent planners can produce better-quality plans through the use of domain-speci c knowledge, typically encoded as search control rules. The planning-by-rewriting appro...
ENTCS
2007
15 years 13 days ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
102
Voted
ENTCS
2000
15 years 9 days ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
112
Voted
FLOPS
2010
Springer
14 years 11 months ago
2010
Springer
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...