Logic grid puzzle is a genre of logic puz-zles in which we are given (in a natural language) a scenario, the object to be de-duced and certain clues. The reader has to figure out the solution using the clues provided and some generic domain con-straints. In this paper, we present a sys-tem, LOGICIA, that takes a logic grid puz-zle and the set of elements in the puz-zle and tries to solve it by translating it to the knowledge representation and rea-soning language of Answer Set Program-ming (ASP) and then using an ASP solver. The translation to ASP involves extrac-tion of entities and their relations from the clues. For that we use a novel learn-ing based approach which uses varied su-pervision, including the entities present in a clue and t...
Logic is a fundamental part of mathematic and computer science since it is the basis of mathematical...
submitted *; revised *; accepted * Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe ...
AbstractThe main aim of the subjects dealing with graph theory and combinatorial optimization is to ...
This paper shows how to generate an English step-by-step explanation that describes how an automated...
A logic puzzle is a form of entertainment that asks the solver to infer relationships between object...
Creating textual logic puzzles requires quite a lot of work. That is why a number of programs have a...
This paper shows how a controlled natural language can help to reconstruct a logic puzzle in a well-...
Recently, a number of noteworthy results have been achieved in various fields of artificial intellig...
Thesis advisor: Howard StraubingThe use of computer programs to automatically solve logic puzzles is...
AbstractAt faculties preparing students in the area of computer science subjects dealing with graph ...
We study four challenging grid puzzles, Nurikabe, Heyawake, Masyu, Bag Puzzle, interesting for ans...
“The Guillotine” is a language game whose goal is to predict the unique word that is linked in some ...
The so-called self-referential puzzles are a very interesting kind of logic puzzles,aiming at develo...
Answer set programming (ASP) is a declarative approach to solving search problems. Logic programming...
This paper presents a new system, called the A-System, performing abductive reasoning within the fra...
Logic is a fundamental part of mathematic and computer science since it is the basis of mathematical...
submitted *; revised *; accepted * Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe ...
AbstractThe main aim of the subjects dealing with graph theory and combinatorial optimization is to ...
This paper shows how to generate an English step-by-step explanation that describes how an automated...
A logic puzzle is a form of entertainment that asks the solver to infer relationships between object...
Creating textual logic puzzles requires quite a lot of work. That is why a number of programs have a...
This paper shows how a controlled natural language can help to reconstruct a logic puzzle in a well-...
Recently, a number of noteworthy results have been achieved in various fields of artificial intellig...
Thesis advisor: Howard StraubingThe use of computer programs to automatically solve logic puzzles is...
AbstractAt faculties preparing students in the area of computer science subjects dealing with graph ...
We study four challenging grid puzzles, Nurikabe, Heyawake, Masyu, Bag Puzzle, interesting for ans...
“The Guillotine” is a language game whose goal is to predict the unique word that is linked in some ...
The so-called self-referential puzzles are a very interesting kind of logic puzzles,aiming at develo...
Answer set programming (ASP) is a declarative approach to solving search problems. Logic programming...
This paper presents a new system, called the A-System, performing abductive reasoning within the fra...
Logic is a fundamental part of mathematic and computer science since it is the basis of mathematical...
submitted *; revised *; accepted * Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe ...
AbstractThe main aim of the subjects dealing with graph theory and combinatorial optimization is to ...