TY  - GEN 
AU  - Maestro Prieto, Jose A.
AU  - Simón Hurtado, M. Aránzazu
AU  - De Paz, Juan F.
AU  - Villarrubia González, Gabriel
PY  - 2013
SN  - 978-3-319-00550-8 (Print) / 978-3-319-00551-5 (Online)
SN  - 2194-5357(Print)/ 2194-5365(Online)
UR  - http://hdl.handle.net/10366/135161
AB  - In this paper, an Intelligent Tutoring System (ITS) for teaching computational logic called SIAL is described. Several basic topics in computational logic are covered. The more complex part in SIAL is the module in charge of the diagnosis, which...
LA  - en
PB  - Springer Science + Business Media
KW  - Computer Science
TI  - A MAS for Teaching Computational Logic
ER  -