861 search results - page 40 / 173 » A General Framework for Knowledge Compilation |
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
115
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: Biological processes are carried out by coordinated modules of interacting molecules. As clustering methods demonstrate that genes with similar expression display incr...
193
click to vote
COSIT
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...