15754 search results - page 293 / 3151 » Programs are Knowledge Bases |
148
click to vote
IJCAI
1989
15 years 7 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
173
click to vote
WSC
2008
15 years 9 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
179
click to vote
IJCAI
2007
15 years 8 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
208
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we derive an optimal resource allocation algorithm for ergodic weighted-sum capacity maximization in OFDMA systems assuming the availability of only partial (imperfe...
154
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to r...