A conversion between utility and information
A Counter Example to Theorems of Cox and Fine
A Critical Assessment of Benchmark Comparison in Planning
A Data Mining Approach to the Diagnosis of Tuberculosis by Cascading Clustering and Classification
A Data-Parallel Version of Aleph
A decidable subclass of finitary programs
A Delayed Column Generation Strategy for Exact k-Bounded MAP Inference in Markov Logic Networks
A Description Logic Primer
A Directional Feature with Energy based Offline Signature Verification Network
A Distributed AI Aided 3D Domino Game
A Distributed Process Infrastructure for a Distributed Data Structure
A Dynamic Vulnerability Map to Assess the Risk of Road Network Traffic Utilization
A Dynamical Systems Approach for Static Evaluation in Go
A Fast Algorithm and Datalog Inexpressibility for Temporal Reasoning
A First Approach on Modelling Staff Proactiveness in Retail Simulation Models
A first-order Temporal Logic for Actions
A flexible framework for defeasible logics
A Formal Approach to Modeling the Memory of a Living Organism
A Formal Measure of Machine Intelligence
A formalism for causal explanations with an Answer Set Programming translation