874 search results - page 57 / 175 » Computing Weighted Solutions in Answer Set Programming |
123
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— We study the problem of maximizing the aggregated revenue in sensor networks with deadline constraints. Our model is that of a sensor network that is arranged in the fo...
130
click to vote
ENTCS
2007
15 years 9 days 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, ...
133
click to vote
IJCAI
1997
15 years 2 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
124
click to vote
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
115
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...