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 |