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
A uniform approach to logic programming semantics
A Unifying Probabilistic Perspective for Spectral Dimensionality Reduction: Insights and New Models
A Version of Geiringer-like Theorem for Decision Making in the Environments with Randomness and Incomplete Information
A Virtual Principal Investigator for on Board Space Science Data Analysis
A Visual Entity-Relationship Model for Constraint-Based University Timetabling
A Wiki for Business Rules in Open Vocabulary, Executable English
Abduction, ASP and Open Logic Programs
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation