557 search results - page 58 / 112 » Useful Transformations in Answer set programming |
136
Voted
CI
2004
15 years 2 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
105
Voted
ITICSE
2004
ACM
15 years 7 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...
108
click to vote
ESEM
2009
ACM
15 years 5 months ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
159
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
222
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...