Towards Analyzing Crossover Operators in Evolutionary Search via General Markov Chain Switching Theorem

Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications

Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)

Towards Completely Lifted Search-based Probabilistic Inference

Towards Open-Text Semantic Parsing via Multi-Task Learning of Structured Embeddings

Towards OWL-based Knowledge Representation in Petrology

Towards quantitative measures in applied ontology

Towards the Design of Heuristics by Means of Self-Assembly

Towards the Development of a Simulator for Investigating the Impact of People Management Practices on Retail Performance

Towards Understanding and Harnessing the Potential of Clause Learning

Tracking object's type changes with fuzzy based fusion rule

Tractable Set Constraints

Tractable Strong Outlier Identification

Traffic Accident Analysis Using Decision Trees and Neural Networks

Transfer from Multiple MDPs

Transforming and Enriching Documents for the Semantic Web

Transforming Business Rules Into Natural Language Text

Transient Diversity in Multi-Agent Systems

Transition Systems for Model Generators - A Unifying Approach

Translating Answer-Set Programs into Bit-Vector Logic