966 search results - page 58 / 194 » Communicating Answer Set Programs |
124
click to vote
IJKSR
2011
14 years 5 months ago
2011
Learning management systems are routinely used for presenting, solving and grading exercises with large classes. However, teachers are constrained to use questions with pre-defined...
117
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
117
Voted
SEUS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
119
Voted
JWSR
2007
15 years 2 months ago
2007
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
150
click to vote
ITA
2007
15 years 2 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...