1151 search results - page 54 / 231 » Collaborative Programming: Applications of Logic and Automat... |
128
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
147
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
143
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
128
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
135
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...