38 search results - page 8 / 8 » Mathematical Foundations of Answer Set Programming |
108
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
113
Voted
MOBICOM
2010
ACM
15 years 1 months ago
2010
ACM
Mobility traces of people and vehicles have been collected and published to assist the design and evaluation of mobile networks, such as large-scale urban sensing networks. Althou...
124
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...