Logic grid puzzle is a genre of logic puzzles in which we are given (in a natural language) a
scenario, the object to be deduced and certain clues. The reader has to figure out the …

Many of the famous single-player games, commonly called puzzles, can be shown to be NP-
Complete. Indeed, this class of complexity contains hundreds of puzzles, since people …

Solving puzzles has become increasingly important in artificial intelligence research since
the solutions could be directly applied to real-world or general problems such as …

We consider parallel multi-machine scheduling with due times, where a partition of jobs is
given where jobs in the same partition have a common release time, possibly precedence …

Japanese puzzle games such as Sudoku and Futoshiki are familiar recreational pursuits, but
they also present an interesting computational challenge. A number of algorithms exist for …

Many knowledge representation tasks involve trees or similar structures as abstract
datatypes. However, devising compact and efficient declarative representations of such …

Many knowledge representation tasks involve trees or similar structures as abstract
datatypes. However, devising compact and efficient declarative representations of such …

Constraint answer set programming (CASP) is a declarative problem solving paradigm that
combines the strengths of constraint programming (CP) and answer set programming (ASP) …

Abstract Reasoning about Action and Change (RAC) and Answer Set Programming (ASP)
are two well-known fields in AI for logic-based reasoning. Each paradigm bears unique …

The delivery of Public Services to citizens is develo** into a challenging task, as the urban
population increases and the related networks are becoming more complex and entangled …