Symbolic Dynamic Programming for Discrete and Continuous State MDPs
Symmetries of Symmetry Breaking Constraints
Symmetries of Symmetry Breaking Constraints
Symmetry Breaking Constraints: Recent Results
Symmetry Breaking for Maximum Satisfiability
Symmetry Breaking Using Value Precedence
Symmetry Breaking with Polynomial Delay
Symmetry within and between solutions
Symmetry within Solutions
Symmetry-Based Search Space Reduction For Grid Maps
SYNERGY: A Linear Planner Based on Genetic Programming
Syntactic Autonomy: Why There is no Autonomy without Symbols and How Self-Organization Might Evolve Them
Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems
Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search
Synthesising Graphical Theories
Synthesizing Robust Plans under Incomplete Domain Models
System Dynamics Modelling of the Processes Involving the Maintenance of the Naive T Cell Repertoire