2212 search results - page 7 / 443 » Automated software wrapping |
124
Voted
ICSM
2007
IEEE
16 years 4 days ago
2007
IEEE
130
Voted
SEKE
1993
Springer
15 years 10 months ago
1993
Springer
131
Voted
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...