1341 search results - page 202 / 269 » Logic for Modeling Product Structure |
120
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...
145
click to vote
LOGCOM
2010
15 years 2 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
146
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
140
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: With the completion of the genome sequences of human, mouse, and other species and the advent of high throughput functional genomic research technologies such as biomi...
224
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...