7892 search results - page 1 / 1579 » Programming with Models |
165
Voted
POPL
2002
ACM
16 years 3 months ago
2002
ACM
170
Voted
AMAI
1999
Springer
15 years 2 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
96
Voted
TOOLS
2009
IEEE
15 years 9 months ago
2009
IEEE
118
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
100
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM