A |

aggregating semantics | Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals |

Artificial Neural Networks | Anemic Status Prediction using Multilayer Perceptron Neural Network Model Implementation of Incremental Learning in Artificial Neural Networks |

automata | A Genetic Algorithm for Truck Dispatching in Mining |

automated reasoning | Reasoning Inside The Box: Deduction in Herbrand Logics |

automated theorem proving | Automated Invention of Strategies and Term Orderings for Vampire |

B |

Bio-inspired | Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms |

blood transfusion | Anemic Status Prediction using Multilayer Perceptron Neural Network Model |

Branch and Bound | Improved Heuristic for Manipulation of Second-order Copeland Elections |

Bridge variables | Improving SAT Solver Performance with Structure-based Preferential Bumping |

C |

cardinality constraints | Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts |

CDCL | Improving SAT Solver Performance with Structure-based Preferential Bumping |

centrality | Improving SAT Solver Performance with Structure-based Preferential Bumping |

community structure | Improving SAT Solver Performance with Structure-based Preferential Bumping |

completeness | Reasoning Inside The Box: Deduction in Herbrand Logics |

complexity | Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts |

conditional preservation | Iterated contraction of propositions and conditionals under the principle of conditional preservation |

consistency | Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems |

constraint satisfaction | Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems |

Copeland Election | Improved Heuristic for Manipulation of Second-order Copeland Elections |

Covariance Matrix Adaptation Evolutionary Strategy | Optimizing Kick Trajectory: A Comparative Study |

D |

Deep Reinforcement Learning | Object-sensitive Deep Reinforcement Learning |

Description Logics | Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts |

dynamic kick | Optimizing Kick Trajectory: A Comparative Study |

E |

Evaluation and Analysis | Enhanced Simplified Memory-bounded A Star (SMA*+) |

explainable model | Object-sensitive Deep Reinforcement Learning |

F |

first-order logic | Automated Invention of Strategies and Term Orderings for Vampire |

G |

generalization | Properties of Constrained Generalization Algorithms |

Genetic Algorithms | A Genetic Algorithm for Truck Dispatching in Mining |

H |

Herbrand structures | Reasoning Inside The Box: Deduction in Herbrand Logics |

heuristic search | Enhanced Simplified Memory-bounded A Star (SMA*+) |

hierarchical abstraction | A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments |

I |

incremental learning algorithm | Implementation of Incremental Learning in Artificial Neural Networks |

independence results | Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals |

Industrial Formulas | Improving SAT Solver Performance with Structure-based Preferential Bumping |

Iterated Belief Change | Iterated contraction of propositions and conditionals under the principle of conditional preservation |

Iterated contraction | Iterated contraction of propositions and conditionals under the principle of conditional preservation |

K |

kick trajectory | Optimizing Kick Trajectory: A Comparative Study |

knowledge bases | Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases |

L |

local to global inference | Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems |

M |

machine learning | Automated Invention of Strategies and Term Orderings for Vampire Anemic Status Prediction using Multilayer Perceptron Neural Network Model |

Memory Efficient Search | Enhanced Simplified Memory-bounded A Star (SMA*+) |

Memory-bounded Search | Enhanced Simplified Memory-bounded A Star (SMA*+) |

Multilayer Perceptron | Anemic Status Prediction using Multilayer Perceptron Neural Network Model Implementation of Incremental Learning in Artificial Neural Networks |

O |

object recognition | Object-sensitive Deep Reinforcement Learning |

Ontologies | Abduction for Learning Smart City Rules |

P |

Parameters Learning | Automated Invention of Strategies and Term Orderings for Vampire |

prediction | Anemic Status Prediction using Multilayer Perceptron Neural Network Model |

principle of maximum entropy | Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals |

Probabilistic Description Logic | Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases |

problem solving | A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments |

proving strategy | Automated Invention of Strategies and Term Orderings for Vampire |

Q |

query answering | Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases |

R |

randomised heuristic | Improved Heuristic for Manipulation of Second-order Copeland Elections |

ranking functions | Iterated contraction of propositions and conditionals under the principle of conditional preservation |

relational probabilistic conditionals | Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals |

robot kick | Optimizing Kick Trajectory: A Comparative Study |

robot navigation | A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments |

S |

saliency map | Object-sensitive Deep Reinforcement Learning |

Scheduling | A Genetic Algorithm for Truck Dispatching in Mining |

second-order constraints | Properties of Constrained Generalization Algorithms |

Secrecy-Preserving Reasoning | Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases |

sequent-based proof systems | Reasoning Inside The Box: Deduction in Herbrand Logics |

Smart Cities | Abduction for Learning Smart City Rules |

SMT | Abduction for Learning Smart City Rules |

strategy invention | Automated Invention of Strategies and Term Orderings for Vampire |

Substitutability | Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems |

Support Vector Machine | Implementation of Incremental Learning in Artificial Neural Networks |

Swarm Intelligence | Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms |

swarm robotics | Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms |

T |

typed lambda calculus | Properties of Constrained Generalization Algorithms |

V |

VSIDS | Improving SAT Solver Performance with Structure-based Preferential Bumping |