http://hdl.handle.net/10174/1107 2026-08-30T07:46:52Z http://hdl.handle.net/10174/42518 Title: Factorisation of the Classical Nonstandard Bounded Functional Interpretation Authors: Dinis, Bruno; Gaspar, Jaime Editors: Bezzeghoud, Mourad; Carapau, Fernando; Minhós, Feliz; Vaidya, Ashwin Abstract: Functional interpretations are maps of formulas from the language of one theory into the language of another theory, in such away that provability is preserved, proofs are (essentially) translated into proofs, and information about the proofs is gathered. Functional interpretations have many uses, such as: relative consistency results, conservation results and the extraction of computational content from proofs. We prove the factorisation Ust = Kst Bst of Jaime Gaspar and Fernando Ferreira’s classical nonstandard bounded functional interpretation Ust in terms of an extension of Jean-Louis Krivine’s negative translation Kst and Bruno Dinis and Jaime Gaspar’s intuitionistic nonstandard bounded functional interpretation Bst. We also give some applications of the factorisation. 2026-01-01T00:00:00Z http://hdl.handle.net/10174/39151 Title: Elements for Weighted Answer-Set Programming Authors: Dinis, Bruno; Coelho, Francisco; Abreu, Salvador; Seipel, Dietmar Editors: Baptista, Jorge; Barateiro, Jose Abstract: Logic programs, more specifically, answer-set programs, can be annotated with probabilities on facts to express uncertainty. We address the problem of propagating weight annotations on facts (e.g. probabilities) of an answer-set program to its stable models, and from there to events (defined as sets of atoms) in a dataset over the program’s domain. We propose a novel approach which is algebraic in the sense that it relies on an equivalence relation over the set of events. Uncertainty is then described as polynomial expressions over variables. We propagate the weight function in the space of models and events, rather than doing so within the syntax of the program. As evidence that our approach is sound, we show that certain facts behave as expected. Our approach allows us to investigate weight annotated programs and to determine how suitable a given one is for modeling a given dataset containing events. It’s core is illustrated by a running example and the encoding of a Bayesian network. 2025-01-01T00:00:00Z http://hdl.handle.net/10174/34773 Title: El desarrollo del nuevo currículo en Matemáticas para la Educación Básica en Portugal Authors: Canavarro, Ana Paula Editors: Blanco, TF; Núñez-García, C; Cañadas, MC; González-Calero, JA Abstract: Esta comunicação incide sobre o processo de desenvolvimento de um novo currículo de Matemática para o Ensino Básico em Portugal. Começa por explicar o contexto que fez surgir a necessidade de mudança. De seguida, revela o processo que foi desenvolvido por parte da equipa responsável pela elaboração das novas orientações curriculares. Apresenta depois as novas orientações propriamente ditas, discutindo os princípios que lhe conferem racionalidade e as consequências que estes têm nas opções curriculares com vista à coerência interna e relevância da proposta. Segue-se uma descrição das medidas em marcha com vista a apoiar a generalização das novas orientações curriculares em 2022/23. Termina-se com questões pertinentes em qualquer processo de desenvolvimento curricular e que são neste momento especialmente críticas. 2022-08-31T23:00:00Z http://hdl.handle.net/10174/33524 Title: Marketing Mix and New Product Diffusion Models Authors: Pinto, Luís G.; Cavique, Luís; Santos, Jorge Editors: Maria Manuela Cruz-Cunha, Nuno Mateus-Coelho Abstract: In this paper we analyze the relationship between the marketing mix and new product diffusion models. The goal is to obtain a gen eral new product diffusion model that incorporates the classic 4Ps model of the Marketing Mix: Product, Price, Place, Promotion. An empirical study was conducted using mobile broadband adoption data in Japan. 2022-01-01T00:00:00Z