460 search results - page 40 / 92 » Revised Stable Models - A Semantics for Logic Programs |
126
click to vote
ENTCS
2007
15 years 15 hour ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
136
Voted
DOLAP
2006
ACM
15 years 6 months ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
90
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
ENC
2005
IEEE
15 years 6 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
112
click to vote
ICMLA
2010
14 years 9 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...