3470 search results - page 29 / 694 » Head-Elementary-Set-Free Logic Programs |
129
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
122
click to vote
AAAI
1990
15 years 4 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
138
click to vote
LPAR
1992
Springer
15 years 7 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
118
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
108
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...