138
Voted
AI
15 years 22 days 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...
111
Voted
AI
15 years 6 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 ...
110
click to vote
AI
15 years 22 days 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...
110
Voted
AI
15 years 22 days 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 ...
109
click to vote
AI
15 years 6 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...
|
Artificial Intelligence