Buscar
Mostrando ítems 1-10 de 10
Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
(M D P I AG, 2019-07-31)
[Abstract] When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons. There are already a few ...
ALBAYZIN 2018 spoken term detection evaluation: a multi-domain international evaluation in Spanish
(SpringerOpen, 2019-09-02)
[Abstract] Search on speech (SoS) is a challenging area due to the huge amount of information stored in audio and video repositories. Spoken term detection (STD) is an SoS-related task aiming to retrieve data from a speech ...
Using score distributions to compare statistical significance tests for information retrieval evaluation
(Willey, 2019-01-11)
[Abstract] Statistical significance tests can provide evidence that the observed difference in performance between two methods is not due to chance. In Information Retrieval, some studies have examined the validity and ...
Search on speech from spoken queries: the Multi-domain International ALBAYZIN 2018 Query-by-Example Spoken Term Detection Evaluation
(SpringerOpen, 2019-07-19)
[Abstract] The huge amount of information stored in audio and video repositories makes search on speech (SoS) a priority area nowadays. Within SoS, Query-by-Example Spoken Term Detection (QbE STD) aims to retrieve data ...
Building High-Quality Datasets for Information Retrieval Evaluation at a Reduced Cost
(M D P I AG, 2019-08-01)
[Abstract] Information Retrieval is not any more exclusively about document ranking. Continuously new tasks are proposed on this and sibling fields. With this proliferation of tasks, it becomes crucial to have a cheap way ...
Priors for Diversity and Novelty on Neural Recommender Systems
(M D P I AG, 2019-07-31)
[Abstract] PRIN is a neural based recommendation method that allows the incorporation of item prior information into the recommendation process. In this work we study how the system behaves in terms of novelty and diversity ...
Revisiting Explicit Negation in Answer Set Programming
(Cambridge University Press, 2019-09)
[Abstract] A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in ...
Equilibrium graphs
(Springer, 2019)
[Abstract]: In this paper we present an extension of Peirce’s existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives ...
Forgetting Auxiliary Atoms in Forks
(Elsevier Ltd, 2019)
[Abstract]: In this work we tackle the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. ...
A rule-based system for explainable donor-patient matching in liver transplantation
(Open Publishing Association, 2019-09)
[Abstract]: In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. ...