Sciweavers

379 search results - page 50 / 76
» The Graham-Knowlton Problem Revisited
Sort
View
CP
2006
Springer
13 years 11 months ago
Revisiting the Sequence Constraint
Many combinatorial problems, such as car sequencing and rostering, feature sequence constraints, restricting the number of occurrences of certain values in every subsequence of a g...
Willem Jan van Hoeve, Gilles Pesant, Louis-Martin ...
ECAI
2006
Springer
13 years 11 months ago
Boolean Games Revisited
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...
Elise Bonzon, Marie-Christine Lagasquie-Schiex, J&...
DLOG
2007
13 years 10 months ago
Distributed Description Logics Revisited
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
Martin Homola
DLOG
2008
13 years 10 months ago
Partitioning OWL Knowledge Bases - Revisited and Revised
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
Sebastian Wandelt
WSPI
2004
13 years 9 months ago
Self-Referencing Languages Revisited
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
Gábor Rédey, Attila Neumann