Documentation for the machine-readable version of the Stellar Spectrophotometric Atlas, 3130 A lambda 10800 A of Gunn and Stryker (1983)

Documentation for the machine-readable version of the Survey of the Astrographic Catalogue From 1 to 31 Degrees of Northern Declination (Fresneau 1983)

Does intelligence imply contradiction?

Doing Better Than UCT: Rational Monte Carlo Sampling in Trees

Domain Filtering Consistencies

Domain-Dependent Knowledge in Answer Set Planning

Domain-specific Languages in a Finite Domain Constraint Programming System

Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms

Dominating Manipulations in Voting with Partial Information

Dominion -- A constraint solver generator

Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes

DSmT: A new paradigm shift for information fusion

Dual Modelling of Permutation and Injection Problems

Dyna-H: a heuristic planning reinforcement learning algorithm applied to role-playing-game strategy decision systems

Dynamic Adjustment of the Motivation Degree in an Action Selection Mechanism

Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process

Dynamic consistency and decision making under vacuous belief

Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results

Dynamic Knowledge Capitalization through Annotation among Economic Intelligence Actors in a Collaborative Environment

Dynamic Local Search for the Maximum Clique Problem