Information Retrieval Lab (IRlab)

Protein structure refinement with a memetic algorithm

Temporal Word Embeddings for Early Detection of Psychological Disorders on Social Media

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

WATCHED: A Web AI Agent Tool for Combating Hate speech by Expanding Data

A systematic review of automated hyperpartisan news detection

How does depression talk on social media? Modeling depression language with relevance-based statistical language models

DepreSym: A Depression Symptom Annotated Corpus and the Role of Large Language Models as Assessors of Psychological Markers

Syntactic ASP forgetting with forks

Refinement of Protein Structures with a Memetic Algorithm. Examples with SARS-CoV-2 Proteins

Explainable depression symptom detection in social media

Business failure prediction models with high and stable predictive power over time using genetic programming

Comparison of Clustering Algorithms for Knowledge Discovery in Social Media Publications: A Case Study of Mental Health Analysis

Multiperiod Bankruptcy Prediction Models with Interpretable Single Models

Variable selection in the prediction of business failure using genetic programming

Protein structure prediction with energy minimization and deep learning approaches

Evolutionary feature selection approaches for insolvency business prediction with genetic programming

Relevance feedback for building pooled test collections

Predicting pharmaceutical inkjet printing outcomes using machine learning

Using Machine Learning Techniques to Predict Adolescents' Involvement in Family Conflict

Bio-inspired Computing Approaches for Problem Solving

Linear-Time Temporal Answer Set Programming

A polynomial reduction of forks into logic programs

Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles

Energy Minimization vs. Deep Learning Approaches for Protein Structure Prediction

Automatic depression score estimation with word embedding models

Automatic Selection of Financial Ratios by Means of Differential Evolution and for Predicting Business Insolvency.

Metric Temporal Answer Set Programming over Timed Traces

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

Accelerating 3D printing of pharmaceutical products using machine learning

Niching methods integrated with a differential evolution memetic algorithm for protein structure prediction

Evolving cellular automata schemes for protein folding modeling using the Rosetta atomic representation

A MaxSAT Solver Based on Differential Evolution (Preliminary Report)

Same text, same discourse? Empirical validation of a discourse analysis methodology for cultural heritage

Syntactic {ASP} Forgetting with Forks

Enriching linguistic descriptions of data: A framework for composite protoforms

Splitting Epistemic Logic Programs

Machine learning predicts 3D printing performance of over 900 drug delivery systems

Editor's Note

Building Cultural Heritage Reference Collections from Social Media through Pooling Strategies: The case of 2020's tensions over race and heritage

Bio-inspired Computing Approaches

Hybrid Intelligence Strategies for Identifying, Classifying and Analyzing Political Bots

Representing and Solving Spatial Problems (Dagstuhl Seminar 21492)

Temporal {ASP:} From Logical Foundations to Practical Use with telingo

Protein structure prediction in an atomic model with differential evolution integrated with the crowding niching method

Towards Metric Temporal Answer Set Programming

La programación genética en el ámbito del pronóstico del fracaso empresaria

Using score distributions to compare statistical significance test for information retrieval evaluation

Assessing ranking metrics in top-N recommendation

Software Support for Discourse-Based Textual Information Analysis: A Systematic Literature Review and Software Guidelines in Practice.

Statistical language models for query-by-example spoken document retrieval

Modular Answer Set Programming as a Formal Specification Language

Autoepistemic answer set programming

M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines

eclingo : A Solver for Epistemic Logic Programs

Collaborative Filtering Embeddings for Memory-Based Recommender Systems

Conceptualization and Non-Relational Implementation of Ontological and Epistemic Vagueness of Information in Digital Humanities

Automatically obtaining a cellular automaton scheme for modeling protein folding using the FCC model

Equilibrium Graphs

WHEN TO STOP MAKING RELEVANCE JUDGMENTS? A STUDY OF STOPPING METHODS FOR BUILDING INFORMATION RETRIEVAL

Crowding Differential Evolution for Protein Structure Prediction

Efficient query-by-example document retrieval combining phone multigram representation and dynamic time warping

Revisiting Explicit Negation in Answer Set Programming

Multi-context systems in dynamic environments

A Complete Planner for Temporal Answer Set Programming

Special Issue Editorial "Bio-inspired Computing Applications"

"Forgetting auxiliary atoms in forks"

Assisting Forensic Identification through Unsupervised Information Extraction of Free Text Autopsy Reports: The Disappearances Cases during the Brazilian Military Dictatorship

Gelfond-Zhang Aggregates as Propositional Formulas

Metainformation Scenarios in Digital Humanities: Characterization and Conceptual Modelling Strategies

Advances in the application and development of non-linear global optimization techniques in computational structural biology

A Rank Fusion Approach based on Score Distributions for Prioritizing Relevance Assessments in Information Retrieval Evaluation.

Assessing data analysis performance in research contexts: an experiment on accuracy, efficiency, productivity and researchers¿ satisfaction

Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates

Document-based and Term-based Linear Methods for Pseudo-Relevance Feedback

A MapReduce implementation of posterior probability clustering and relevance models for recommendation

ALBAYZIN 2016 Query-by-example Spoken Term Detection 2016 evaluation

Finding and Analysing Good Neighbourhoods to Improve Collaborative Filtering

Answer Set Programming from a Logical Point of View

Temporal Answer Set Programming on Finite Traces

Multi-Armed Bandits for Adjudicating Documents in Pooling-Based Evaluation of Information Retrieval Systems

A Modelling Language for Discourse: Analysis in Humanities: Definition, Design, Validation and First Experiences.

Inclusion of the fitness sharing technique in an evolutionary algorithm to analyze the fitness landscape of the genetic code adaptability

haspie - A Musical Harmonisation Tool based on ASP

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Temporal logic programs with variables

Protein folding modeling with neural cellular automata using the Face-Centered Cubic model

Reversible Speaker De-Identification Using Pre-Trained Transformation Functions

Enablers and Inhibitors in Causal Justifications of Logic Programs

Psychological Features for Automatic Text Summarization.

Evolved synaptic delay based neural controllers for walking patterns in hexapod robotic structures

Influence of Speaker De-Identification in Depression Detection

Ensemble Audio Segmentation for Radio and Television Programmes

A hybrid evolutionary algorithm for protein structure prediction using the Face-Centered Cubic lattice model

Temporal Equilibrium Logic with past operators

ALBAYZIN 2016 spoken term detection evaluation: an international open competitive evaluation in Spanish

Stable Reasoning

Verification for ASP denotational semantics: A case study using the PVS theorem prover

Axiomatic Analysis of Language Modelling of Recommender Systems

A Qualitative Spatial Representation of String Loops as Holes

Framing Holes within a Loop Hierarchy

Justifications for Programs with Disjunctive and Causal-choice Rules

SEA_AP: A Segmentation and Labelling Tool for Prosodic Analysis

Comparison of ALBAYZIN Query-by-example Spoken Term Detection 2012 and 2014 Evaluations

Item-based relevance modelling of recommendations for getting rid of long tail products

Finding Relevant Features for Zero-Resource Query-by-Example Search on Speech

A Distributed Recommendation Platform for Big Data

Explaining preferences and preferring explanations

A denotational semantics for equilibrium logic

An infinitary encoding of equilibrium logic

Albayzín-2014 evaluation: audio segmentation and classification in broadcast news domains

Assessing Speaker Independence on a Speech-Based Depression Level Estimation System

Information Retrieval and Recommender Systems

Treatment analysis in a cancer stem cell context using a tumor growth model based on cellular automata

Spoken Term Detection ALBAYZIN 2014 evaluation: overview, systems, results and discussion

Stable Models for Temporal Theories - Invited Talk

Emergent protein folding modeled with evolved neural cellular automata using the 3D HP model

A Complexity Assessment for Queries involving Sufficient and Necessary Causes

A Free Logic for Stable Models with Partial Intensional Functions

Finding a needle in the Blogosphere: an information fusion approach for blog distillation search

Studying the capability of different cancer hallmarks to initiate tumor growth using a cellular automaton simulation. Application in a cancer stem cell context

Causal Graph Justifications of Logic Programs

Combining Psycho-linguistic, Content-based and Chat-based Features to Detect Predation in Chatrooms

Analysis of behaviour transitions in tumour growth using a cellular automaton simulation

Score distributions for Pseudo Relevance Feedback

Relevance-based language modelling for recommender systems

Integrating Temporal Extensions of Answer Set Programming

Foreword

Temporal Equilibrium Logic: a survey

Multiobjective differential evolution in the optimization of topological active models

An experimental study of constrained clustering effectiveness in presence of erroneous constraints

Topological Active Volume 3D Segmentation Model Optimized with Genetic Approaches

Improving the Extraction of Text in PDFs by Simulating the Human Reading Order

Topological active models optimization with differential evolution

A learning-based approach for the identification of sexual predators in chat logs. CLEF 2012 Evaluation Labs. Vol. 1179 of CEUR-WS Proceedings

Biped locomotion control with evolved adaptive center-crossing continuous time recurrent neural networks

ECIR 2012: 34th European Conference on Information Retrieval Research (conference report)

Evolved artificial neural networks for controlling Topological Active Nets deformation and for medical image segmentation

A Cluster Based Pseudo Feedback Technique Which Exploits Good and Bad Clusters

Simulated evolution applied to study the genetic code optimality using a model of codon reassignments

Optimization of Topological Active Nets with Differential Evolution

Promoting Divergent Terms in the Estimation of Relevance Models

The Use of Latent Semantic Indexing to Mitigate OCR Effects of Related Document Images

Differential Evolution Optimization of 3D Topological Active Volumes

Crossover operators for permutations equivalence between position and order-based crossover

STeLP - a Tool for Temporal Answer Set Programming

A logical characterisation of ordered disjunction

Formalising the Fisherman's Folly puzzle

Automata-based Computation of Temporal Equilibrium Models

Functional answer set programming

Loop Formulas for Splitable Temporal Logic Programs

A Normal Form for Linear Temporal Equilibrium Logic

Evolutionary Multiobjective Optimization of Topological Active Nets

Lexisla: a legislative Information Retrieval System, PLN-E 2010, Workshop NLP in the Enterprise: Envisioning the Next 10 Years, SEPLN 2010, Valencia, September 7, 2010, CEUR Workshop Proceedings, vol-697.

Study of the Genetic Code Adaptability by Means of a Genetic Algorithm

Improving alternative text clustering quality in the avoiding bias task with spectral and flat partition algorithms

Probabilistic static pruning of inverted files

Genetic Approaches for the Automatic Division of Topological Active Volumes

Avoiding Bias in Text Clustering Using Constrained K-means and May-Not-Links

A Revised Concept of Safety for General Answer Set Programs

Using a rank fusion technique to improve shot boundary detection effectiveness

CIE-9-MC code classification with knn and SVM

Safety Preserving Transformations for General Answer Set Programs

Genetic Code Optimality Studied by Means of Simulated Evolution and Within the Coevolution Theory of the Canonical Code Organization

Evaluation of text clustering algorithms with n-gram-based document fingerprints

N-gram based models for retrieval in degraded large collections

Localisation of the Optic Disc by Means of GA-Optimised Topological Active Nets

Revisitin n-gram based models for retrieval in degraded large collections

Genetic Approaches for Topological Active Nets Optimization

Higher Epistasis in Genetic Algorithms

High order fucntions and Walsh coefficients revisited

The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology

Genetic algorithms in Coq: Generalization and formalization of the crossover operator

Partial Functions and Equality in Answer Set Programming

Optic Disc Segmentation by Means of GA-Optimized Topological Active Nets

Probabilistic documents length priors for language models

Strongly equivalent temporal logic programs

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

Certified Genetic Algorithms: Crossover Operators for Permutations

Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization

Temporal Equilibrium Logic: a first approach

Static Pruning of Terms in Inverted Files

Partial Equilibrium Logic

Minimal Logic Programs

Overall Comparison at the Standard Levels of Recall of Multiple Retrieval Methods with the Friedman Test

Propositional Theories are Strongly Equivalent to Logic Programs

NowOn Web: News Search and Summarization

Automatic Topological Active Net Division in a Genetic-Greedy Hybrid Approach

The 2-epistasis of fitness functions

The Information Retrieval Lab at the University of A Coruña BCS-IRSG Informer, Vol 25.

THE IRLAB AT THE UNIVESITY OF A CORUÑA

NowOn Web: a NewsIR System

The Coruña Corpus Tool

NowOnWeb: a NewsIR System

Topological Active Nets Optimization Using Genetic Algorithms

Negations and document length in logical retrieval

Sentence retrieval with LSI and topic identification

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

Generalized Walsh Transforms and Epistasis

Strings and holes: an exercise on spatial representation and reasoning

TSP and cluster-based solutions to the reassignment of document identifiers

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs

On the Logic and Computation of Partial Equilibrium Models

Complex Behaviours through modulation in Autonomous Robot Control

Computing epistasis of Template Functions through Walsh Transforms

Document Identifier Reassignment Through Dimensionality Reduction

A Software Architecture for Effective Document Identifier Reassignment

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

Neural Clustering Analysis of Macroevolutionary and Genetic Algorithms in the Evolution of Robot Controllers

Negations and document length in logical retrieval

Logic programs with functions and default values

Propositional logic representations for documents and queries: a large-scale evaluation

Embedding term similarity and inverse document frequency into a logical model of Information Retrieval

Modelling Temporal Series Through Synaptic Delay-based Neural Networks

Multimodule Artificial Neural Network Architectures for Autonomous Robot Control Through Behavior Modulation

Self Pruning Gaussian Synapse Networks for Behavior Based Robots.

A Rewriting Method for Well-Founded Semantics with Explicit Negation

Pit Units in Temporal Time Delay Based Networks Trained with Descrete Time Backpropagation

Chaotic Time Series Prediction with Discrete Time Backpropagation

A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision

Behavior Reuse and virtual Sensors in the Evolution of Complex Behavior Architectures

Multary Epistasis

Influence of Noise on Discrete Time Backpropagation Trained Networks

Considerations in the application of Evolution to the Generation of Robot Controllers

II-DTB, Discrete Time Backpropagation with Product Unist

Efficient Algorithms for Ranking Documents Represented as DNF Formulas

Using Temporal Information in ANNs for the Implementation of Autonomous Robot Controllers

Progressive Construction of Compound Behavior Controllers for Autonomous Robots Using Temporal Information

Discrete Time Backpropagation for Training Synaptic Delay Based Artificial Neural Networks

Epistasis and Unitation

Training Higher Order Gaussian Synapses

An alternative approach to involutive Brauer Groups

Introducing planning in discrete event systems

Knowledge refinement of an expert system using a symbolic connectionist approach

Parallelization of connecitonist models based on a symbolyc formalism

Automatic induction of DEVS Structures

Discrete event simulation in an environment for temporal expert systems

Synaptic modulation based artificial neural networks. From natural to artificial neural computation

NETTOOL: A hybrid connectionist-symbolic development environment. From natural to artificial neural computation

Relatively noetherian rings, localization and sheaves, part III: Functional behaviour

STIMS-MEDTOOL: Integration of Expert Systems Modelling and Simulation

A modular knowledge base for the follow-up of clinical protocols.

Design and integration of a graphic interface for an expert system in oncology

On the naturality of the iteration and recursive specifications

On Knowledge Based Systems in CCU's: Monitoring and Patients Follow-up,

Evaluation of Knowledge Based Systems from the User Perspective

On the Kleisli Funtors and Functional Completeness

Fuzzy Specification in Data Capture and Knowledge Representation for an Expert System in Oncology

Naturality of the conditional and the recurison

Towards a computational theory of systems: some cases study