3 Search Results for "Pinto, Carla"

Document
Invited Paper
DOI: 10.4230/OASIcs.RW.2024/2025.6
Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)

Authors: Patrick Koopmann

Published in: OASIcs, Volume 138, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025)

Abstract
The Web Ontology Language (OWL), grounded in description logics, enables reasoning systems to infer implicit knowledge in a transparent manner. However, the expressivity of description logics and the complexity of large ontologies often results in reasoning outcomes that are hard to understand without additional tool support. Explanations of these outcomes are essential for users to understand ontology content, communicate its structure and behavior effectively, and debug undesired or missing inferences. This chapter provides an overview of the central explanation techniques that have been developed for explaining reasoning with description logic ontologies. Here, we consider both explanations for positive entailments (explaining why something can be deduced), as well as negative entailments (why something cannot be deduced). More specifically, we discuss justifications, proofs and interpolation as a means to explain positive entailments, and abduction for explaining negative entailments, where we also have a closer look at practical algorithms as well as practical and theoretical challenges.
Cite as

Patrick Koopmann. Explaining Reasoning Results for Description Logic Ontologies (Invited Paper). In Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025). Open Access Series in Informatics (OASIcs), Volume 138, pp. 6:1-6:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{koopmann:OASIcs.RW.2024/2025.6,
  author =	{Koopmann, Patrick},
  title =	{{Explaining Reasoning Results for Description Logic Ontologies}},
  booktitle =	{Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 \& RW 2025)},
  pages =	{6:1--6:29},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-405-5},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{138},
  editor =	{Artale, Alessandro and Bienvenu, Meghyn and Garc{\'\i}a, Yazm{\'\i}n Ib\'{a}\~{n}ez and Murlak, Filip},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.RW.2024/2025.6},
  URN =		{urn:nbn:de:0030-drops-250514},
  doi =		{10.4230/OASIcs.RW.2024/2025.6},
  annote =	{Keywords: Explanations, Justifications, Proofs, Craig Interpolation, Contrastive Explanations}
}
Document
Short Paper
DOI: 10.4230/OASIcs.SLATE.2023.15
Integrating Gamified Educational Escape Rooms in Learning Management Systems (Short Paper)

Authors: Ricardo Queirós, Carla Pinto, Mário Cruz, and Daniela Mascarenhas

Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)

Abstract
Escape rooms offer an immersive and engaging learning experience that encourages critical thinking, problem solving and teamwork. Although they have shown promising results in promoting student engagement in the teaching-learning process, they continue to operate as independent systems that are not fully integrated into educational environments. This work aims to detail the integration of educational escape rooms, based on international standards, with the typical central component of an educational setting - the learning management system (LMS). In order to proof this concept, we present the integration of a math escape room with the Moodle LMS using the Learning Tools Interoperability (LTI) specification. Currently, this specification comprises a set of Web services that enable seamless integration between learning platforms and external tools and is not limited to any specific LMS which fosters learning interoperability. With this implementation, a single sign-on ecosystem is created, where teachers and students can interact in a simple and immersive way. The major contribution of this work is to serve as an integration guide for other applications and in different domains.
Cite as

Ricardo Queirós, Carla Pinto, Mário Cruz, and Daniela Mascarenhas. Integrating Gamified Educational Escape Rooms in Learning Management Systems (Short Paper). In 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 15:1-15:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{queiros_et_al:OASIcs.SLATE.2023.15,
  author =	{Queir\'{o}s, Ricardo and Pinto, Carla and Cruz, M\'{a}rio and Mascarenhas, Daniela},
  title =	{{Integrating Gamified Educational Escape Rooms in Learning Management Systems}},
  booktitle =	{12th Symposium on Languages, Applications and Technologies (SLATE 2023)},
  pages =	{15:1--15:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-291-4},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{113},
  editor =	{Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.15},
  URN =		{urn:nbn:de:0030-drops-185293},
  doi =		{10.4230/OASIcs.SLATE.2023.15},
  annote =	{Keywords: Escape Rooms, Interoperability, Learning Management Systems, Standardization}
}
Document
Short Paper
DOI: 10.4230/OASIcs.ICPEC.2023.6
A Gamified Educational Escape Rooms' Framework for Computer Programming Classes (Short Paper)

Authors: Ricardo Queirós, Carla Pinto, Mário Cruz, and Daniela Mascarenhas

Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)

Abstract
This paper presents a study on the use of gamified educational escape rooms to foster the teaching-learning process of computer programming, based on an user type taxonomy. The ultimate goal of this work is to identify and validate the most suitable gamification elements and mechanics for each user profile, providing case studies that illustrate their implementation. The main contribution of this work is to guide the design process of educational escape rooms in any domain, by considering the needs, preferences, and motivations of different user types.
Cite as

Ricardo Queirós, Carla Pinto, Mário Cruz, and Daniela Mascarenhas. A Gamified Educational Escape Rooms' Framework for Computer Programming Classes (Short Paper). In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 6:1-6:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{queiros_et_al:OASIcs.ICPEC.2023.6,
  author =	{Queir\'{o}s, Ricardo and Pinto, Carla and Cruz, M\'{a}rio and Mascarenhas, Daniela},
  title =	{{A Gamified Educational Escape Rooms' Framework for Computer Programming Classes}},
  booktitle =	{4th International Computer Programming Education Conference (ICPEC 2023)},
  pages =	{6:1--6:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-290-7},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{112},
  editor =	{Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.6},
  URN =		{urn:nbn:de:0030-drops-185021},
  doi =		{10.4230/OASIcs.ICPEC.2023.6},
  annote =	{Keywords: Escape Room, Gamification, Computer Programming, User Type Taxonomy}
}
  • Refine by Type
  • 3 Document/PDF
  • 1 Document/HTML

  • Refine by Publication Year
  • 1 2025
  • 2 2023

  • Refine by Author
  • 2 Cruz, Mário
  • 2 Mascarenhas, Daniela
  • 2 Pinto, Carla
  • 2 Queirós, Ricardo
  • 1 Koopmann, Patrick

  • Refine by Series/Journal
  • 3 OASIcs

  • Refine by Classification
  • 2 Social and professional topics → Computer science education
  • 1 Computing methodologies → Description logics

  • Refine by Keyword
  • 1 Computer Programming
  • 1 Contrastive Explanations
  • 1 Craig Interpolation
  • 1 Escape Room
  • 1 Escape Rooms
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact