215
Voted
ICLP
16 years 1 months ago
2009 Springer 
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
201
Voted
ICLP
16 years 1 months ago
2009 Springer 
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
221
click to vote
ICLP
16 years 1 months ago
2009 Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
215
click to vote
ICLP
16 years 1 months ago
2009 Springer 
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
180
Voted
ICLP
16 years 1 months ago
2009 Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
|
Automated Reasoning