Sciweavers

3808 search results - page 493 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
AI
2004
Springer
15 years 6 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
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...
Fangzhen Lin, Yuting Zhao
AI
2002
Springer
15 years 6 months ago
Multiagent learning using a variable learning rate
Learning to act in a multiagent environment is a difficult problem since the normal definition of an optimal policy no longer applies. The optimal policy at any moment depends on ...
Michael H. Bowling, Manuela M. Veloso
CORR
2002
Springer
89views Education» more  CORR 2002»
15 years 6 months ago
NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
Thesystempresented here showsthe feasibility of modcling the knowledgeinvolved in a complexmusical activity by integrating sub-symbolicand symbolicprocesses. Thisresearch focuses ...
Claudia V. Goldman, Dan Gang, Jeffrey S. Rosensche...
SIGCSE
2002
ACM
118views Education» more  SIGCSE 2002»
15 years 6 months ago
A proposed undergraduate bioinformatics curriculum for computer scientists
Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligen...
Travis E. Doom, Michael L. Raymer, Dan E. Krane, O...
KI
2010
Springer
15 years 5 months ago
Soft Evidential Update via Markov Chain Monte Carlo Inference
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
Dominik Jain, Michael Beetz