3572 search results - page 16 / 715 » Nominal Logic Programming |
EPIA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
CORR
2002
Springer
14 years 10 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
CCGRID
2008
IEEE
15 years 4 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
JMLR
2012
13 years 17 days 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...