226 search results - page 25 / 46 » Extensional Theories and Rewriting |
122
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
Enterprise search is challenging for several reasons, notably the dynamic terminology and jargon that are specific to the enterprise domain. This challenge is partly addressed by...
106
Voted
CADE
2006
Springer
16 years 24 days ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
100
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
110
Voted
ENTCS
2008
15 years 16 days ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
100
Voted
RTA
1995
Springer
15 years 4 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...