2958 search results - page 283 / 592 » Extending and Implementing RASP |
96
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
106
Voted
ISCA
2003
IEEE
15 years 5 months ago
2003
IEEE
While removing software bugs consumes vast amounts of human time, hardware support for debugging in modern computers remains rudimentary. Fortunately, we show that mechanisms for ...
119
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
103
Voted
CAD
2000
Springer
15 years 11 days ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
143
Voted
CI
2000
15 years 11 days ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...