3845 search results - page 568 / 769 » Belief Logic Programming |
203
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
185
click to vote
TSMC
2010
15 years 1 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
157
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
177
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
169
click to vote
TLDI
2005
ACM
16 years 3 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...