192
Voted
AI
15 years 5 months ago
2004 Springer 
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
159
click to vote
AI
15 years 10 months ago
2004 Springer 
Effectively summarizing Web page collections becomes more and more critical as the amount of information continues to grow on the World Wide Web. A concise and meaningful summary ...
156
click to vote
AI
15 years 10 months ago
2004 Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
154
Voted
AI
15 years 10 months ago
2004 Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
150
click to vote
AI
15 years 5 months ago
2004 Springer 
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
|
Artificial Intelligence