4573 search results - page 615 / 915 » Automated Reasoning |
137
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
145
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
115
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
118
click to vote
RR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
166
click to vote
TARK
2009
Springer
15 years 10 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...