381 search results - page 29 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
101
click to vote
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
111
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
106
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
110
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for th...
130
click to vote
ENTCS
2008
15 years 1 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...