A Splitting Set Theorem for Epistemic Specifications
A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information
A Study for the Feature Core of Dynamic Reduct
A study of structural properties on profiles HMMs
A Study on the Global Convergence Time Complexity of Estimation of Distribution Algorithms
A study on the relation between linguistics-oriented and domain-specific semantics
A Suffix Tree Approach to Email Filtering
A survey on independence-based Markov networks learning
A Systematic Approach to Artificial Agents
A TCSP-like decidable constraint language generalising existing cardinal direction relations
A technique for automatic classification of meteor trails and other propagation mechanisms for the Air Force high latitude meteor burst test bed
A Temporal Description Logic for Reasoning about Actions and Plans
A Temporal Neuro-Fuzzy Monitoring System to Manufacturing Systems
A temporally abstracted Viterbi algorithm
A ternary Relation Algebra of directed lines
A theory of experiment
A Theory of Universal Artificial Intelligence based on Algorithmic Complexity
A two-step fusion process for multi-criteria decision applied to natural hazards in mountains
A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems
A unified view of Automata-based algorithms for Frequent Episode Discovery