Decision-Theoretic Planning with non-Markovian Rewards

Decision-Theoretic Planning: Structural Assumptions and Computational Leverage

Decisional Processes with Boolean Neural Network: the Emergence of Mental Schemes

Declarative Representation of Revision Strategies

Decomposition Based Search - A theoretical and experimental evaluation

Decomposition During Search for Propagation-Based Constraint Solvers

Decomposition of the NVALUE constraint

Decomposition of the NVALUE constraint

Decompositions of All Different, Global Cardinality and Related Constraints

Decompositions of Grammar Constraints

Deductive Algorithmic Knowledge

Deductive Inference for the Interiors and Exteriors of Horn Theories

Defaults and Normality in Causal Structures

Defeasible Logic Programming: An Argumentative Approach

Defeasible Reasoning in OSCAR

Definition and Complexity of Some Basic Metareasoning Problems

Definition of evidence fusion rules on the basis of Referee Functions

Demolishing Searle's Chinese Room

Dempster's Rule for Evidence Ordered in a Complete Directed Acyclic Graph

Dempster-Shafer clustering using Potts spin mean field theory