Belief change with noisy sensing in the situation calculus

Belief Conditioning Rules (BCRs)

Belief decision support and reject for textured images characterization

Belief Propagation by Message Passing in Junction Trees: Computing Each Message Faster Using GPU Parallelization

Belief Revision and Rational Inference

Belief Revision: A Critique

Beslutstödssystemet Dezzy - en översikt

Beyond Turing Machines

Bijective Faithful Translations among Default Logics

Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems

Bin Packing Under Multiple Objectives - a Heuristic Approximation Approach

Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results

Biological Inspiration for Artificial Immune Systems

Biomimetic use of genetic algorithms

Bisimulations for fuzzy transition systems

Boolean Equi-propagation for Optimized SAT Encoding

Boolean network robotics: a proof of concept

BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae

Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices

Bound Propagation