4513 search results - page 328 / 903 » Logic programming with satisfiability |
176
click to vote
ENDM
2010
15 years 6 months ago
2010
We propose a 0/1 integer programming model to tackle the office space allocation (OSA) problem which refers to assigning room space to a set of entities (people, machines, roles, ...
169
click to vote
JUCS
2007
15 years 6 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
167
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a framework which we call stochastic offline programming (SOP). The idea is to embed the development of combinatorial algorithms in an off-line learning environment whi...
186
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
152
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...