6047 search results - page 634 / 1210 » Modeling with Extend |
183
click to vote
ATAL
2004
Springer
16 years 20 days ago
2004
Springer
This paper describes our efforts in creating SimEd, a simulation of the education system. The longterm aim of this work is to be able to model the types of interactions and interp...
225
click to vote
CC
2004
Springer
16 years 20 days ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
231
click to vote
LPNMR
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. 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...
210
click to vote
NMR
2004
Springer
16 years 18 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
230
click to vote
AGP
2003
IEEE
16 years 17 days 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 ...