Constraint solvers: An empirical evaluation of design decisions

Constraint-based analysis of composite solvers

Constraint-Based Qualitative Simulation

Constructing Conditional Plans by a Theorem-Prover

Constructing Folksonomies from User-specified Relations on Flickr

Context Related Derivation of Word Senses

Continuity in Information Algebras

Contracting preference relations for database applications

Contradiction measures and specificity degrees of basic belief assignments

Contribution of Case Based Reasoning (CBR) in the Exploitation of Return of Experience. Application to Accident Scenarii in Railroad Transport

Control Neuronal por Modelo Inverso de un Servosistema Usando Algoritmos de Aprendizaje Levenberg-Marquardt y Bayesiano

Convergence of Bayesian Control Rule

Convergence of Expected Utilities with Algorithmic Probability Distributions

Convergence of Expected Utility for Universal AI

Cooperation between Top-Down and Bottom-Up Theorem Provers

Cooperative Automated Worm Response and Detection Immune Algorithm

Cooperative Game Theory within Multi-Agent Systems for Systems Scheduling

Cooperative interface of a swarm of UAVs

Coprocessor - a Standalone SAT Preprocessor

Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion