975 search results - page 134 / 195 » Declarative Aspect-Oriented Programming |
114
Voted
ENTCS
2002
15 years 7 days ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
DSL
2009
14 years 10 months ago
2009
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program's parameterization and t...
95
Voted
AGP
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
124
click to vote
EMSOFT
2011
Springer
14 years 5 days ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
117
Voted
LPNMR
2001
Springer
15 years 4 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...