
Bayesian Conditional Gaussian Network Classifiers with Applications to Mass Spectra Classification
Classifiers based on probabilistic graphical models are very effective. ...
read it

The geometry of learning
We establish a correspondence between classical conditioning processes a...
read it

A method for the online construction of the set of states of a Markov Decision Process using Answer Set Programming
Nonstationary domains, that change in unpredicted ways, are a challenge...
read it

Answer Set Programming for NonStationary Markov Decision Processes
Nonstationary domains, where unforeseen changes happen, present a chall...
read it

A genetic algorithm to discover flexible motifs with support
Finding repeated patterns or motifs in a time series is an important uns...
read it

A Hybrid Evolutionary Algorithm Based on Solution Merging for the Longest ArcPreserving Common Subsequence Problem
The longest arcpreserving common subsequence problem is an NPhard comb...
read it

A semantic networkbased evolutionary algorithm for computational creativity
We introduce a novel evolutionary algorithm (EA) with a semantic network...
read it

Automated Generation of CrossDomain Analogies via Evolutionary Computation
Analogy plays an important role in creativity, and is extensively used i...
read it

Evolution of Ideas: A Novel Memetic Algorithm Based on Semantic Networks
This paper presents a new type of evolutionary algorithm (EA) based on t...
read it

Community Structure in Industrial SAT Instances
Modern SAT solvers have experienced a remarkable progress on solving ind...
read it

An Argumentbased Creative Assistant for Harmonic Blending
Conceptual blending is a powerful tool for computational creativity wher...
read it

Querying with Łukasiewicz logic
In this paper we present, by way of case studies, a proof of concept, ba...
read it

Sufficient and necessary conditions for Dynamic Programming in ValuationBased Systems
Valuation algebras abstract a large number of formalisms for automated r...
read it

Challenges ahead Electron Microscopy for Structural Biology from the Image Processing point of view
Since the introduction of Direct Electron Detectors (DEDs), the resoluti...
read it

Even more generic solution construction in ValuationBased Systems
Valuation algebras abstract a large number of formalisms for automated r...
read it

The Fractal Dimension of SAT Formulas
Modern SAT solvers have experienced a remarkable progress on solving ind...
read it

Logics of formal inconsistency arising from systems of fuzzy logic
This paper proposes the meeting of fuzzy logic with paraconsistency in a...
read it

A formalization of reidentification in terms of compatible probabilities
Reidentification algorithms are used in data privacy to measure disclos...
read it

CBR with Commonsense Reasoning and Structure Mapping: An Application to Mediation
Mediation is an important method in dispute resolution. We implement a c...
read it

On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz tnorm
Recently there have been some unexpected results concerning Fuzzy Descri...
read it

Analysing the behaviour of robot teams through relational sequential pattern mining
This report outlines the use of a relational representation in a MultiA...
read it

Invariant texture analysis through Local Binary Patterns
In many image processing applications, such as segmentation and classifi...
read it

Synthesising Evolutionarily Stable Normative Systems
Within the area of multiagent systems, normative systems are a widely u...
read it

Automating decision making to help establish normbased regulations
Norms have been extensively proposed as coordination mechanisms for both...
read it

Evolution of a Modular Software Network
"Evolution behaves like a tinkerer" (Francois Jacob, Science, 1977). Sof...
read it

Percolation and Phase Transition in SAT
Erdös and Rényi proved in 1960 that a drastic change occurs in a large r...
read it

A group law for PKC purposes
Let F be a field, let V=F^3, and let A V→ V a linear map. The polynomial...
read it

Generic CPSupported CMSA for Binary Integer Linear Programs
Construct, Merge, Solve and Adapt (CMSA) is a general hybrid metaheurist...
read it

Clause Vivification by Unit Propagation in CDCL SAT Solvers
Original and learnt clauses in ConflictDriven Clause Learning (CDCL) SA...
read it

Decentralized dynamic task allocation for UAVs with limited communication range
We present the Limitedrange Online Routing Problem (LORP), which involv...
read it

bigMap: Big Data Mapping with Parallelized tSNE
We introduce an improved unsupervised clustering protocol specially suit...
read it

Axiomatizing logics of fuzzy preferences using graded modalities
The aim of this paper is to propose a manyvalued modal framework to for...
read it

TAIP: an anytime algorithm for allocating student teams to internship programs
In scenarios that require teamwork, we usually have at hand a variety of...
read it

Shared value economics: an axiomatic approach
The concept of shared value was introduced by Porter and Kramer as a new...
read it

An Argumentationbased Approach for Identifying and Dealing with Incompatibilities among Procedural Goals
During the first step of practical reasoning, i.e. deliberation, an inte...
read it
CSIC
The CSIC State Agency is the largest public research agency in Spain and the third in Europe.