Antonia Huertas

According to our database, Antonia Huertas authored at least 18 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Understanding the Axioms and Assumptions of Logical Mathematical Systems through Raster Images: Application to the Construction of a Likert Scale.

Queralt Viladevall, Salvador Linares-Mustarós, Maria Antonia Huertas, Joan Carles Ferrer-Comalat

Axioms, December, 2023

2022

Exorcising the phantom zone.

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas

Inf. Comput., 2022

2020

The logic of imaginary scenarios.

Joan Casas-Roma, Antonia Huertas, M. Elena Rodríguez

Log. J. IGPL, 2020

2019

Completeness in Equational Hybrid Propositional Type Theory.

María Manzano, Manuel A. Martins, Antonia Huertas

Stud Logica, 2019

A Common Frame for Formal Imagination.

Joan Casas-Roma, M. Elena Rodríguez, Antonia Huertas

Minds Mach., 2019

Rigid First-Order Hybrid Logic.

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

Solving MaxSAT with Natural Deduction.

Joan Casas-Roma, Antonia Huertas, Felip Manyà

Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

2015

Introducing a Formative E-Assessment System to Improve Online Learning Experience and Performance.

Enosha Hettiarachchi, Enric Mor, Maria Antonia Huertas, Ana-Elena Guerrero-Roldán

J. Univers. Comput. Sci., 2015

2014

Completeness in Hybrid Type Theory.

Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano

J. Philos. Log., 2014

Designing Learning Tools: The Case of a Competence Assessment Tool.

Enric Mor, Ana-Elena Guerrero-Roldán, Enosha Hettiarachchi, Maria Antonia Huertas

Proceedings of the Learning and Collaboration Technologies. Designing and Developing Novel Learning Experiences, 2014

A Technology Enhanced Assessment System for Skill and Knowledge Learning.

Enosha Hettiarachchi, Enric Mor, Maria Antonia Huertas, M. Elena Rodríguez

Proceedings of the CSEDU 2014, 2014

2012

An Architecture for Technology-Enhanced Assessment of High Level Skill Practice.

Enosha Hettiarachchi, Maria Antonia Huertas, Enric Mor Pera, Ana-Elena Guerrero-Roldán

Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, 2012

A Standard and Interoperable Technology-enhanced Assessment System for Skill and Knowledge Acquirement.

Enosha Hettiarachchi, Maria Antonia Huertas, Enric Mor Pera, Ana-Elena Guerrero-Roldán

Proceedings of the CSEDU 2012, 2012

2011

The SELL Project: A Learning Tool for E-Learning Logic.

Antonia Huertas, Josep M. Humet, Laura López, Enric Mor

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned.

Antonia Huertas

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2010

Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic.

Antonia Huertas, Enric Mor

Proceedings of the WEBIST 2010, 2010

2007

Teaching and Learning Logic in a Virtual Learning Environment.

Antonia Huertas

Log. J. IGPL, 2007

Repositorio abierto de locuciones de fórmulas matemáticas.

Maria Antonia Huertas, Mireia Pascual, César Córcoles, Laia Llorens, Roger Grises

Proceedings of the Post-Proceedings del IV Simposio Pluridisciplinar sobre Diseño, 2007