8232 search results - page 78 / 1647 » Dynamic Logic Programming |
122
click to vote
NMR
2004
Springer
15 years 7 months 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, ...
AGP
2003
IEEE
2003
IEEE
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva
15 years 7 months ago
211
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
246
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...