159 search results - page 15 / 32 » ELAN from a rewriting logic point of view |
113
click to vote
WEBDB
2007
Springer
15 years 3 months ago
2007
Springer
XML information retrieval (XML-IR) systems utilize the logical structure of XML documents for retrieving relevant elements. From a practical point of view, displaying the search r...
JELIA
2004
Springer
15 years 2 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
IJCAI
1997
14 years 10 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
DEON
2004
Springer
15 years 2 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
81
Voted
ICTAI
2009
IEEE
14 years 7 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...