2291 search results - page 179 / 459 » Logic Programming and Model Checking |
123
click to vote
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
150
click to vote
JMLR
2012
13 years 5 months ago
2012
We propose a novel mixtures of Gaussian processes model in which the gating function is interconnected with a probabilistic logical model, in our case Markov logic networks. In th...
138
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
151
click to vote
DALT
2005
Springer
15 years 8 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
260
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...