1097 search results - page 8 / 220 » Revision Programming = Logic Programming Integrity Constra... |
114
click to vote
CC
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
ILP
2007
Springer
15 years 5 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
107
Voted
LOPSTR
1997
Springer
15 years 3 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
186
Voted
ICLP
2009
Springer
16 years 9 days ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
EUSFLAT
2009
14 years 9 months ago
2009
