Personal information

logic, knowledge representation, e-learning, math, women and IT
Spain

Biography

Dr. M. Antonia Huertas is Associate Professor (Agregada) in the Computer Science, Multimedia and Telecommunication Dept. at the Universitat Oberta de Catalunya (Barcelona, Spain).

She hold a PhD in Mathematics (University of Barcelona). Her research interests include logics, knowledge representation, technology enhanced learning and mathematical e-learning.

Activities

Employment (1)

Universitat Oberta de Catalunya: Barcelona, Catalunya, ES

2002-10-07 to present | Associate Professor (It, Multimedia and Telecommunications)
Employment
Source: Self-asserted source
M. Antonia Huertas

Education and qualifications (1)

Universitat de Barcelona: Barcelona, Catalunya, ES

1994-10-28 | PhD Matehmatics (Logic, Methodology and Philosophy of Science)
Education
Source: Self-asserted source
M. Antonia Huertas

Works (37)

HYBRID PARTIAL TYPE THEORY

The Journal of Symbolic Logic
2023-05-29 | Journal article
Contributors: MARÍA MANZANO; ANTONIA HUERTAS; PATRICK BLACKBURN; MANUEL MARTINS; VÍCTOR ARANDA
Source: check_circle
Crossref

Exorcising the phantom zone

Information and Computation
2021 | Journal article
EID:

2-s2.0-85107421405

Part of ISSN: 10902651 08905401
Contributors: Blackburn, P.; Martins, M.; Manzano, M.; Huertas, A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

The logic of imaginary scenarios

Logic Journal of the IGPL
2020-02-01 | Journal article
Part of ISSN: 1367-0751
Part of ISSN: 1368-9894
Source: Self-asserted source
M. Antonia Huertas
grade
Preferred source (of 2)‎

Completeness in Equational Hybrid Propositional Type Theory

Studia Logica
2019 | Journal article
EID:

2-s2.0-85055705893

Part of ISSN: 15728730 00393215
Contributors: Manzano, M.; Martins, M.; Huertas, A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Rigid First-Order Hybrid Logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85068597496

Part of ISSN: 16113349 03029743
Contributors: Blackburn, P.; Martins, M.; Manzano, M.; Huertas, A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

A Common Frame for Formal Imagination

Minds and Machines
2019-12 | Journal article
Part of ISSN: 0924-6495
Part of ISSN: 1572-8641
Source: Self-asserted source
M. Antonia Huertas
grade
Preferred source (of 2)‎

The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds

Erkenntnis
2019-06-18 | Journal article
Part of ISSN: 0165-0106
Part of ISSN: 1572-8420
Source: Self-asserted source
M. Antonia Huertas
grade
Preferred source (of 2)‎

Solving MaxSAT with natural deduction

Frontiers in Artificial Intelligence and Applications
2017 | Book
EID:

2-s2.0-85034256292

Contributors: Casas-Roma, J.; Huertas, A.; Manyà, F.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

e-Assessment for Skill Acquisition in Online Engineering Education: Challenges and Opportunities

Formative Assessment, Learning Data Analytics and Gamification: In ICT Education
2016 | Book
EID:

2-s2.0-84987927712

Contributors: Hettiarachchi, E.; Balasooriya, I.; Mor, E.; Huertas, M.A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

E-assessment system for skill and knowledge assessment in computer engineering education

International Journal of Engineering Education
2015 | Journal article
EID:

2-s2.0-84925011817

Contributors: Hettiarachchi, E.; Huertas, M.A.; Mor, E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Improving student performance in high cognitive level courses by using formative e-assessment

International Journal of Technology Enhanced Learning
2015 | Journal article
EID:

2-s2.0-84943373503

Contributors: Hettiarachchi, E.; Huertas, M.A.; Mor, E.; Guerrero-Roldán, A.-E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Introducing a formative e-assessment system to improve online learning experience and performance

Journal of Universal Computer Science
2015 | Journal article
EID:

2-s2.0-84940194374

Contributors: Hettiarachchi, E.; Mor, E.; Huertas, M.A.; Guerrero-Roldán, A.-E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

A semantics for equational hybrid propositional type theory

Bulletin of the Section of Logic
2014 | Journal article
EID:

2-s2.0-84922248400

Contributors: Manzano, M.; Martins, M.A.; Huertas, A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

A technology enhanced assessment system for skill and knowledge learning

CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education
2014 | Conference paper
EID:

2-s2.0-84902345873

Contributors: Hettiarachchi, E.; Mor, E.; Huertas, M.A.; Rodriguez, M.E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Completeness in Hybrid Type Theory

Journal of Philosophical Logic
2014 | Journal article
EID:

2-s2.0-84902658570

Contributors: Areces, C.; Blackburn, P.; Huertas, A.; Manzano, M.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Designing learning tools: The case of a competence assessment tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84903731221

Contributors: Mor, E.; Guerrero-Roldán, A.-E.; Hettiarachchi, E.; Huertas, M.A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Henkin and Hybrid Logic

Studies in Universal Logic
2014 | Book chapter
EID:

2-s2.0-85068113881

Part of ISSN: 22970290 22970282
Contributors: Blackburn, P.; Huertas, A.; Manzano, M.; Jørgensen, K.F.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

A standard and interoperable technology-enhanced assessment system for skill and knowledge acquirement

CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education
2012 | Conference paper
EID:

2-s2.0-84864884852

Contributors: Hettiarachchi, E.; Huertas, M.A.; Pera, E.M.; Roldan, A.E.G.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

An architecture for technology-enhanced assessment of high level skill practice

Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012
2012 | Conference paper
EID:

2-s2.0-84866981237

Contributors: Hettiarachchi, E.; Huertas, M.A.; Pera, E.M.; Guerrero-Roldan, A.-E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

<b>Hybrid Type Theory: A Quartet in Four Movements</b><br>DOI:10.5007/1808-1711.2011v15n2p225

2012-02-24 | Journal article
Source: Self-asserted source
M. Antonia Huertas

Monográfico: «Aprendizaje virtual de las matemáticas»

2012-01-15 | Journal article
Source: Self-asserted source
M. Antonia Huertas

Computer-supported statistics courses in online environments: adding e-repositories to the equation

2011 | Journal article
Source: Self-asserted source
M. Antonia Huertas

Preface

Teaching Mathematics Online: Emergent Technologies and Methodologies
2011 | Book
EID:

2-s2.0-84899163997

Contributors: Juan, A.A.; Huertas, M.A.; Trenholm, S.; Steegmann, C.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Teaching mathematics online in the European area of higher education: An instructor's point of view

International Journal of Mathematical Education in Science and Technology
2011 | Journal article
EID:

2-s2.0-79951756387

Contributors: Juan, A.A.; Steegmann, C.; Huertas, A.; Martinez, M.J.; Simosa, J.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
EID:

2-s2.0-79959238151

Contributors: Huertas, A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

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

2011 | Journal article
Source: Self-asserted source
M. Antonia Huertas

The SELL project: A learning tool for e-learning logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
EID:

2-s2.0-79959224195

Contributors: Huertas, A.; Humet, J.M.; López, L.; Mor, E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

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

2011 | Journal article
Source: Self-asserted source
M. Antonia Huertas

Teaching mathematics online in the European Area of Higher Education: an instructor's point of view

2011-03-15 | Journal article
Source: Self-asserted source
M. Antonia Huertas

Mathematical communication and representation in a virtual learning environment a case study

DML 2010 - Towards a Digital Mathematics Library, Proceedings
2010 | Conference paper
EID:

2-s2.0-84923260833

Contributors: Córcoles, C.; Huertas, A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Tool development to support learning, immediate feedback, and continuous assessment in logic

WEBIST 2010 - Proceedings of the 6th International Conference on Web Information Systems and Technology
2010 | Conference paper
EID:

2-s2.0-77956280342

Contributors: Huertas, A.; Mor, E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Automatic verbalization of mathematical formulae for web-based learning resources

Proceedings of the 7th European Conference on e-Learning, ECEL 2008
2008 | Conference paper
EID:

2-s2.0-84855866304

Contributors: Sancho-Vinuesa, T.; Córcoles, C.; Huertas, A.; Pérez-Navarro, A.; Marquès, D.; Villalonga, J.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Mathematical e-learning: State of the art and experiences at the Open University of Catalonia

International Journal of Mathematical Education in Science and Technology
2008 | Journal article
EID:

2-s2.0-45849147016

Contributors: Juan, A.; Huertas, A.; Steegmann, C.; Corcoles, C.; Serrat, C.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Open repository of mathematical formulae locutions,Repositorio abierto de locuciones de fórmulas matemáticas

CEUR Workshop Proceedings
2007 | Conference paper
EID:

2-s2.0-84885001149

Contributors: Huertas, M.A.; Pascual, M.; Córcoles, C.; Llorens, L.; Griset, R.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

Teaching and learning logic in a virtual learning environment

Logic Journal of the IGPL
2007 | Journal article
EID:

2-s2.0-34948822360

Contributors: Huertas, A.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

E-assessment in high-level cognitive courses: Improving student engagement and results

2014 14th International Conference on Advances in ICT for Emerging Regions, ICTer 2014 - Conference Proceedings
1997 | Conference paper
EID:

2-s2.0-84949924911

Contributors: Hettiarachchi, E.; Huertas, M.A.; Mor, E.
Source: Self-asserted source
M. Antonia Huertas via Scopus - Elsevier

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

Journal article
Source: Self-asserted source
M. Antonia Huertas