| 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 |
