4513 search results - page 468 / 903 » Logic programming with satisfiability |
166
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
151
click to vote
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this pap...
172
click to vote
FSTTCS
1999
Springer
15 years 9 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...
155
click to vote
ROBOCUP
1999
Springer
15 years 9 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...
165
click to vote
ENTCS
2008
15 years 5 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...