3090 search results - page 95 / 618 » On Testing Answer-Set Programs |
124
click to vote
LANMR
2007
15 years 3 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
116
click to vote
JWSR
2007
15 years 1 months ago
2007
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
115
click to vote
FUIN
2010
15 years 15 days ago
2010
Given a set of taxa S and a complete set of quartet topologies Q over S, the problem of determining a phylogeny that satisfies the maximum number of topologies is called the Maxi...
119
click to vote
SEMWEB
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
129
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...