3775 search results - page 240 / 755 » The Expression Problem Revisited |
143
click to vote
AAAI
1990
15 years 6 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
112
click to vote
IJCAI
1989
15 years 6 months ago
1989
We describe a general technique for expressing domain knowledge in constraint satisfaction problems, and using it to develop optimized parallel arc consistency algorithms for the ...
137
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
— In this work, we study the problem of evaluating the performance limit of two communication problems that are closely related to each other- source coding with feed-forward and...
120
click to vote
JCSS
2008
15 years 5 months ago
2008
We give a quadratic algorithm for the following structure identification problem: given a Boolean relation R and a finite set S of Boolean relations, can the relation R be express...
150
click to vote
LOGCOM
2006
15 years 5 months ago
2006
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...