2025-04-102025-04-102023Ramos González, V., Borrego Díaz, J. y Sancho Caparrini, F. (2023). Prototyping Logic-Based AI Services with LogicUS. En AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Volum. 37 núm. 13 (16473-16475), AAAI-23.9781577358800https://hdl.handle.net/11441/171654for AI and Computer Science. The availability of software tools to support the realization of such studies (both as powerful and versatile prototyping tools and as teaching tools) has become a necessity. Intending to contribute to this field, we present a tool that allows the unification of different logic tasks, focused on Computer Logic but adaptable to the treatment in several subfields, contexts, and abstraction levels (LogicUS-LIB, LogicUS-NB, LogicUS-GUI). The tool provides a sound framework for two activity fields. On the one hand, in the topic of logic-based systems research, prototyping is facilitated in a relatively fast, simple, and highly adaptable way. On the other hand, in Education, by allowing the student abstract from low-level execution of algorithms whilst preserving the conceptual structures and procedural methodologies underlying the logical foundations.application/pdf3 p.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccess10.1609/aaai.v37i13.27083