1598 search results - page 73 / 320 » A Unified Computation Model for Functional and Logic Program... |
113
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
146
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
129
click to vote
ICLP
1990
Springer
15 years 8 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
122
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
130
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...