3572 search results - page 55 / 715 » Nominal Logic Programming |
104
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
131
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
94
Voted
CLIMA
2007
15 years 1 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
84
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
104
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...