8232 search results - page 77 / 1647 » Dynamic Logic Programming |
130
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
107
click to vote
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. The time taken for a logic gate output to change after...
127
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
121
Voted
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
113
click to vote
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...