1445 search results - page 13 / 289 » Abstract Interpretation of Logic Programs |
ESEC
1993
Springer
15 years 1 months ago
1993
Springer
CORR
2011
Springer
14 years 4 months ago
2011
Springer
PEPM
1993
ACM
15 years 1 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
JELIA
1990
Springer
15 years 1 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
107
Voted
AGP
2003
IEEE
15 years 3 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 ...