146 search results - page 11 / 30 » From Macrogeneration to Syntactic Abstraction |
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
MICAI
2007
Springer
14 years 1 months ago
2007
Springer
Computer-generated texts are yet far from human-generated ones. Along with the limited use of vocabulary and syntactic structures sent, their lack of creativeness and abstraction i...
IFIP
2004
Springer
14 years 28 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
JELIA
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
ENTCS
2002
13 years 7 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...