Diferencia entre revisiones de «Lecturas»
Línea 3: | Línea 3: | ||
# M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007) <br>''[[Solving challenging grid puzzles with answer set programming]]''. | # M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007) <br>''[[Solving challenging grid puzzles with answer set programming]]''. | ||
# J. Harrison (2007) <br>''[[A short survey of automated reasoning]]'' | # J. Harrison (2007) <br>''[[A short survey of automated reasoning]]'' | ||
+ | # M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer (2007) <br> ''[[Semantic Wikipedia]]''. | ||
# C.E. Veni Madhavan (2005) <br>''[[Mathematics and computer science: The interplay]]''. | # C.E. Veni Madhavan (2005) <br>''[[Mathematics and computer science: The interplay]]''. | ||
− | |||
[[Category:Lecturas]] | [[Category:Lecturas]] |
Revisión del 10:58 12 nov 2008
En esta sección se recogen los comentarios de los miembros del Grupo de algunas de las lecturas de publicaciones relacionadas con los temas de investigación del Grupo.
- K.R. Apt y M.G. Wallace (2007)
Constraint Logic Programming using Eclipse. - M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007)
Solving challenging grid puzzles with answer set programming. - J. Harrison (2007)
A short survey of automated reasoning - M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer (2007)
Semantic Wikipedia. - C.E. Veni Madhavan (2005)
Mathematics and computer science: The interplay.