7167 search results - page 1197 / 1434 » Answer Set Programming |
162
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
129
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
CPAIOR
2004
Springer
15 years 7 months ago
2004
Springer
We discuss a di cult optimization problem on a chess-board, requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the b...
117
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
114
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...