4513 search results - page 409 / 903 » Logic programming with satisfiability |
126
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
135
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
142
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
137
click to vote
JAIR
2008
15 years 5 months ago
2008
Shapley's impossibility result indicates that the two-person bargaining problem has no non-trivial ordinal solution with the traditional game-theoretic bargaining model. Alth...
145
click to vote
TIME
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...