3546 search results - page 29 / 710 » A Causal Logic of Logic Programming |
WILF
2005
Springer
14 years 1 months ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
NMR
2004
Springer
14 years 27 days ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
MPC
2000
Springer
13 years 11 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
AGP
2003
IEEE
2003
IEEE
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva
14 years 26 days ago
AGP
2003
IEEE
14 years 26 days ago
2003
IEEE