3229 search results - page 110 / 646 » Theories with the Independence Property |
220
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
COCO
2007
Springer
15 years 6 months ago
2007
Springer
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
93
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
108
Voted
ENTCS
2011
14 years 7 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...