4401 search results - page 457 / 881 » Computing with Default Logic |
196
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
177
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...
178
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
184
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Run-time reconfigurable logic is a very attractive alterative in the design of SoC. However, configuration overhead can largely decrease the system performance. In this work, we p...