3546 search results - page 347 / 710 » A Causal Logic of Logic Programming |
174
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
156
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...
145
click to vote
RR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
163
click to vote
JLP
2007
15 years 5 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
155
click to vote
PPDP
2009
Springer
16 years 13 days ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...