Uniform semantic treatment of default and autoepistemic logics

Unifying Class-Based Representation Formalisms

Unifying Computing and Cognition: The SP Theory and its Applications

Unit contradiction versus unit propagation

Universal Algorithmic Intelligence: A mathematical top->down approach

Universal Intelligence: A Definition of Machine Intelligence

Universal Sequential Decisions in Unknown Environments

Unsupervised Grammar Induction in a Framework of Information Compression by Multiple Alignment, Unification and Search

Unsupervised Learning in a Framework of Information Compression by Multiple Alignment, Unification and Search

Updating beliefs with incomplete observations

Updating Probabilities

Updating Sets of Probabilities

Use of Markov Chains to Design an Agent Bidding Strategy for Continuous Double Auctions

Use of Rapid Probabilistic Argumentation for Ranking on Large Complex Networks

Use of semantic technologies for the development of a dynamic trajectories generator in a Semantic Chemistry eLearning platform

Using Artificial Intelligence for Model Selection

Using artificial intelligence techniques to classify IRAS LRS spectra of evolved stars

Using ASP with recent extensions for causal explanations

Using ATL to define advanced and flexible constraint model transformations

Using Belief Theory to Diagnose Control Knowledge Quality. Application to cartographic generalisation