648 search results - page 25 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
116
click to vote
PODS
2005
ACM
16 years 1 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
139
click to vote
ORDER
2010
14 years 12 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees. ...
101
click to vote
FLAIRS
2007
15 years 3 months ago
2007
Discovery of graphical models is NP-hard in general, which justifies using heuristics. We consider four commonly used heuristics. We summarize the underlying assumptions and anal...
111
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...