443 search results - page 77 / 89 » SAT-Based Answer Set Programming |
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
106
click to vote
AAAI
1996
15 years 29 days ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
110
click to vote
CACM
2008
14 years 11 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
116
click to vote
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
103
click to vote
CP
2009
Springer
15 years 6 months ago
2009
Springer
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...