229 search results - page 31 / 46 » On Reductive Semantics of Aggregates in Answer Set Programmi... |
107
click to vote
ICALP
2003
Springer
15 years 4 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
119
Voted
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
105
click to vote
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
120
click to vote
ASP
2005
Springer
15 years 5 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
100
click to vote
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...