127
click to vote
AI
14 years 12 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...
106
click to vote
AI
14 years 12 months ago
2004 Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
103
click to vote
AI
14 years 12 months ago
2004 Springer
Over the last years evidence has accumulated that shows the possibility to analyze human brain activity on-line and translate brain states into actions such as selecting a letter ...
102
click to vote
AI
15 years 5 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...
102
click to vote
AI
15 years 5 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 ...
|
Artificial Intelligence