3693 search results - page 388 / 739 » Splitting a Logic Program |
161
click to vote
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
146
Voted
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
154
Voted
ENTCS
2008
15 years 4 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...
150
click to vote
JAPLL
2010
15 years 2 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
179
Voted
RULEML
2010
Springer
15 years 2 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...